Equivariant Pieri rule for the homology of the affine Grassmannian (Q1762448): Difference between revisions

Consider a semi-simple algebraic group \(G\) over \(\mathbb{C}\), \(B\) a Borel subgroup, and \(T\) the corresponding maximal torus. The affine Grassmannian of \(G\) is \(\mathrm{Gr}_G = G(\mathbb{C}((t))) / G(\mathbb{C}[[t]])\). A \(T\)-equivariant Schubert basis, indexed by the affine Weyl group \(W_{\text{af}}^0\), has been constructed by Peterson and appears in his 1997 M.I.T. lecture notes. The associated Schubert homology structure constants are precisely the Schubert structure constants for the \(T\)-equivariant cohomology of the flag variety \(G/B\), as proved by Peterson and \textit{T. Lam} and \textit{M. Shimozono} [Acta Math. 204, 49--90 (2010; Zbl 1216.14052)]. This sparked interest in the study of the homology of the affine Grassmannian. Let \(\{ \xi_w \mid w \in W_{\text{af}}^0 \}\) be the Schubert basis of \(H_T(\mathrm{Gr}_G)\). The equivariant Schubert homology structure constants \(d_{u v}^w\) are defined by \(\xi_u \xi_v = \sum_w d_{u v}^w \xi_w\), where \(u,v \in W_{\text{af}}^0\). They are always non-negative, as proved in [\textit{L. Mihalcea}, Am. J. Math. 128, No. 3, 787--803 (2006; Zbl 1099.14047)]. In the paper under review, the authors prove an ``equivariant homology Chevalley formula'', that is, an explicit rule for the product of a Schubert class with a degree two class in \(H_T(\mathrm{Gr}_G)\). Moreover, they define generating classes for \(H_T(\mathrm{Gr}_G)\) (which they call ``special Schubert classes'' by analogy with the case of usual Grassmannians) in the case where \(G\) is \({SL}_n\), \({SO}_{2n+1}\), or \({Sp}_{2n}\). When \(G={SL}_n\), they prove a positive ``equivariant homology Pieri formula'' for the product of a Schubert class with a special Schubert class. In the last two cases, they give a conjecture for a (not manifestly positive) equivariant homology Pieri formula.