Schubert cells and representation theory (Q1298085)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Schubert cells and representation theory |
scientific article |
Statements
Schubert cells and representation theory (English)
0 references
30 January 2001
0 references
Let \(G\) be a connected real reductive group and \(P\) its parabolic subgroup. The goal of the paper is to give procedures for calculating the integer homology and cohomology groups of the real flag manifold \(G/P\) in terms of its Schubert cells. Let \(W_G\) and \(W_P\) denote the Weyl groups of the complexifications of \(G\) and of the Levi subgroup of \(P\) and let \(\widetilde W^P\) be the set of the minimal length representatives of left cosets of \(W_G\) modulo \(W_P\). The Bruhat decomposition of \(G\) gives rise to the decomposition of \(G/P\) into the Schubert cells \(C_w\) parametrized by \(w\in\widetilde W^P\), such that \(\dim C_w = l(w)\). Chain and cochain complexes for calculating \(H_*(G/P,\mathbf Z)\) and \(H^*(G/P,\mathbf Z)\) are constructed. E.g., to calculate \(H^*(G/P,\mathbf Z)\), one may use the complex \(S^*\) with \[ S^k = \bigoplus_{\substack{ w\in\widetilde W^P\\ l(w)=k}}\mathbf Z_w, \] whose coboundary operators are given by matrices with entries in \(\{0,\pm 2\}\) expressed in terms of the Weyl groups. Topologically, these entries contain information concerning non-orientability of certain submanifolds of \(G/P\). The simplest case is when \(G\) possesses the following property: for every real root \(\alpha\) of \(G\) with respect to its maximally split Cartan subgroup \(H\), the element \(\Phi_{\alpha}(-I)\) is contained in the identity component of \(H\), where \(\Phi_{\alpha}: SL(2,\mathbf R)\to G\) is the homomorphism associated with \(\alpha\). Then, for all parabolic subgroups \(P\subset G\), all the coboundaries are 0, and hence \(H^k(G/P,\mathbf Z)\simeq\mathbf Z^{s_k}\), where \(s_k\) is the number of elements of \(\widetilde W^P\) of length \(k\). Another result is a necessary and sufficient condition for a Schubert cell \(C_w\) to be a cycle; in this case, it always determines a non-zero element of \(H_{l(w)}(G/P,\mathbf Z)\). The proofs exploit perverse sheaves and principal series representations.
0 references
real reductive group
0 references
parabolic subgroup
0 references
real flag manifold
0 references
integral cohomology
0 references
Schubert cell
0 references
perverse sheaf
0 references
Harish-Chandra module
0 references