GKM theory for \(p\)-compact groups (Q2259167)

From MaRDI portal
scientific article
Language Label Description Also known as
English
GKM theory for \(p\)-compact groups
scientific article

    Statements

    GKM theory for \(p\)-compact groups (English)
    0 references
    27 February 2015
    0 references
    We know that \(p\)-compact groups are objects defined solely in homotopy theoretic terms that resemble compact Lie groups in many ways. For instance, \(p\)-compact groups have Weyl groups that classify them and encode plenty of information about them just as in the Lie group case. They also have maximal tori, with which one can build \(p\)-compact flag varieties. The main object in this study is precisely the \(p\)-compact flag variety, which, in contrast to the compact Lie group case, is not necessarily a manifold or variety: the structure of \(p\)-compact flag varieties is purely homotopical. In this work the author shows how the torus-equivariant cohomology of \(p\)-compact flag varieties is described in terms of the Weyl group. The Weyl groups of \(p\)-compact groups are \({\mathbb Z}_p\)-reflection groups, which can be thought of as \(\mathbb C\)-reflection groups \(G(r, 1, n)\). Moreover, finite reflection groups can be classified as Weyl groups of \(p\)-compact groups. Also we know that Schubert calculus is the study of the cohomology of flag varieties. Inside Schubert calculus, GKM theory deals with the torus-equivariant cohomology of flag varieties making use of moment (or Bruhat) graphs. In this paper the author intersects GKM theory with the theory of \(p\)-compact groups to study the torus-equivariant cohomology of \(p\)-compact flag varieties within the more general framework of equivariant homotopy theory. Let \(X\) be a \(p\)-compact group with maximal torus \(T\). The flag variety of \(X\) is the homotopy fiber of the map \(BT\rightarrow BX\). It is denoted by \(X/T\). Define \(BT \times_{BX} BT\) as the fiber (topological) product of the fiber bundle \(X/T \rightarrow BT\rightarrow BX\) with itself. Then the equivariant cohomology \({H_T}^* (X/T; R)\) of \(X/T\) with coefficient in a ring \(R\) is defined as \[ {H_T}^* (X/T; R) = H^* (BT \times_{BX} BT; R). \] First the author gives the Borel (or polynomial) and Schubert presentations of this cohomology using Eilenberg-Moore spectral sequence. And then he constructs an explicit additive basis for the equivariant cohomology in type \(G(r, 1, n)\), both in the moment graph and polynomial presentations. Finally he gives the GKM presentation of \(p\)-compact flag varieties corresponding to the complex reflection groups \(G(r, 1, n)\). All calculations are explicitely done. The organization of the paper is well.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    GKM theory
    0 references
    \(p\)-compact groups
    0 references
    homotopy Lie groups
    0 references
    flag varieties
    0 references
    Schubert calculus
    0 references
    equivariant cohomology
    0 references
    Eilenberg-Moore spectral sequence
    0 references
    field of \(p\)-adic numbers.
    0 references
    0 references
    0 references
    0 references