Equivariant Schubert calculus of Coxeter groups
type: Item
instance of: scholarly article
title: Equivariant Schubert calculus of Coxeter groups
zbMATH Open document ID: 1317.14121
DOI: 10.1134/S0081543811080177
author: Shizuo Kaji
published in: Proceedings of the Steklov Institute of Mathematics
publication date: 2014-09-10T00:00:00Z
review text: The cohomology ring of the flag variety \(G/B\) is isomorphic to the coinvariant ring of the associated Weyl group \(W\). The equivariant cohomology ring of \(G/B\) with respect to the action of the maximal torus \(T\subset B\) is isomorphic to the double coinvariant ring of \(W\). On the other hand, GKM theory [\textit{M. Goresky} et al., Invent. Math. 131, No. 1, 25--83 (1998; Zbl 0897.22009)] gives another description of the equivariant cohomology ring \(H_T(G/B)\) as the image of the localization map \(\bigoplus_{w\in W}\iota^*_w: H_T(G/B)\rightarrow\bigoplus_{w\in W} H_T(wB/B)\cong\bigoplus_{w\in W}\text{Sym}(\mathfrak{t}^*)\). Based on this description, one can show that for each \(w\in W\), and each Schubert subvariety \(X_w\subset G/B\), there is a unique homogeneous equivariant cohomology class \(Z_w\in H_T(G/B)\) of degree \(2\ell(w)\) characterized by the following properties: (1) \(\iota_v^*\left(Z_w\right)=0\) for all \(\ell(v)\leq \ell(w)\) with \(v\neq w\), and (2) \(\iota_w^*\left(Z_w\right)=\prod_{\beta\in\Pi^+}\beta\), where \(\Pi^+\subset\mathfrak{t}^*\) is the set of positive roots in the root system corresponding to \(G\), \(B\), and \(T\). The main result in the paper under review is the definition of the double Schubert polynomials \(\mathfrak{S}_w(t,x)\) (\(w\in W\)) in the double coinvariant ring of an arbitrary finite Coxeter group, which, in the Weyl group case, represent the equivariant classes \(Z_w\) (\(w\in W\)) in the equivariant cohomology ring \(H_T(G/B)\). The author also proves an equivariant version of Chevalley's rule for his double Schubert polynomials. Along the way the author shows that the double coinvariant ring of a finite Coxeter group \(W\) is isomorphic to the GKM ring of \(W\)--an algebraic analogue of GKM description of \(H_T(G/B)\) above. While this result itself is certainly not new, it is hard to find a proof explicitly written down anywhere in the literature (coincidentally, another proof of this result was given …
reviewed by: Chris McDaniel
Mathematics Subject Classification ID: 14N15
Mathematics Subject Classification ID: 20F55
Mathematics Subject Classification ID: 55N91
Mathematics Subject Classification ID: 14M15
zbMATH DE Number: 6342481
zbMATH Keywords: Coxeter groups
zbMATH Keywords: equivariant cohomology
zbMATH Keywords: Schubert calculus
MaRDI profile type: Publication
cites work: Q5563439
cites work: Kostant polynomials and the cohomology ring for \(G/B\)
cites work: Q3999894
cites work: Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts
cites work: Q3941610
cites work: Invariants symétriques entiers des groupes de Weyl et torsion
cites work: Equivariant cohomology, Koszul duality, and the localization theorem
cites work: Q3942064
cites work: Double Schubert polynomials and degeneracy loci for the classical groups.
cites work: Kac-Moody groups, their flag varieties and representation theory
cites work: Q3958580
description: scientific article; zbMATH DE number 6342481