Sects

From MaRDI portal
Publication:2193199



Abstract: By explicitly describing a cellular decomposition we determine the Borel invariant cycles that generate the Chow groups of the quotient of a reductive group by a Levi subgroup. For illustrations we consider the variety of polarizations mbfSLn/mbfS(mbfGLpimesmbfGLq), and we introduce the notion of a sect for describing its cellular decomposition. In particular, for p=q, we show that the Bruhat order on the sect corresponding to the dense cell is isomorphic, as a poset, to the rook monoid with the Bruhat-Chevalley-Renner order.


For \(p+q=n\) let \(\mathbf{L}_{p,q}\subset\mathbf{SL}_n=\mathbf{SL}_n(\mathbb C)\) be the subgroup of block-diagonal matrices \(\begin{pmatrix}A&0\\ 0&B\end{pmatrix}\) with \(A\in\mathbf{GL}_p\), \(B\in\mathbf{GL}_q\), \(\det(A)\det(B)=1\). The quotient space \(\mathbf{E}_{p,q} =\mathbf{SL}_n/\mathbf{L}_{p,q}\) fibers over the Grassmannian \(\mathbf{Gr}(p,n)\) with the fibers isomorphic to the affine space consisting of \(p\times q\) matrices. The integral cohomology and the Chow ring of the space \(\mathbf{E}_{p,q}\) are isomorphic to those of the Grassmannian. The basis is given by classes of the inverse images of the Schubert varieties. On the other hand the decomposition of \(\mathbf{E}_{p,q}\) into orbits of the Borel subgroup \(\mathbf{B}_n\subset\mathbf{SL}_n\) is more complicated. The set of orbits is ordered by the straight forward generalization of the Bruhat order given by the inclusion of closures. The combinatorics of the orbits is governed by \emph{signed involutions} or alternatively by \((p,q)\)-\emph{clans}. The inverse images of a Schubert cell is a union of \(\mathbf{B}_n\)-orbits. The orbits projecting to the same Schubert cell is called a sect. The \emph{big sect} corresponding to the open Schubert cell is a maximal upper order ideal in the Bruhat poset. For \(p=q\) there is a poset isomorphism between the big sect and the rook monoid parameterizing \(\mathbf{B}_p\times\mathbf{B}_p\) orbits in the space of \(p\times p\) matrices. Some results are stated in a greater generality, for a semisimple group instead of \(\mathbf{SL}_n\).



Cites work









This page was built for publication: Sects

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2193199)