Let $V$ be a finite dimensional vector space over some field (say, $\mathbb C$). Consider the set $\operatorname{GLI}(V)$ of all linear isomorphisms between subspaces of $V$. This is a monoid under natural multiplication (in fact an inverse monoid). Its elements can be represented by triples: two elements of the Grassmannian of $V$ of degree $k\le n$ representing the domain and the range, and a non-singular $k\times k$-matrix representing the map. I am interested in developing a theory of representations of finite inverse monoids (pseudogroups) in $\operatorname{GLI}(V)$. What is the structure of $\operatorname{GLI}(V)$ from the algebraic geometry or geometric topology point of view?

*Edit:* It looks like the question is not completely clear. For comparison, if somebody gives me a group and asks what can I say about it, I would try to decide whether the group is finite or infinite, solvable or not, hyperbolic or not, what is the derived subgroup and the lower central series, is it residually finite and what is the profinite completion, etc. I want a similar analysis of $\operatorname{GLI}$ (but from the algebraic geometry point of view). One of the goals is to study representation varieties of groupoids (=pseudogroups, inverse semigroups). These varieties are complicated even for easy finite groupoids. The starting point would be to understand $\operatorname{GLI}$ itself.

1more comment