Schubert cells and representation theory (Q1298085)

From MaRDI portal





scientific article; zbMATH DE number 1336938
Language Label Description Also known as
default for all languages
No label defined
    English
    Schubert cells and representation theory
    scientific article; zbMATH DE number 1336938

      Statements

      Schubert cells and representation theory (English)
      0 references
      0 references
      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

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references