\(K\)-theory Schubert calculus of the affine Grassmannian.

*(English)*Zbl 1256.14056Summary: We construct the Schubert basis of the torus-equivariant \(K\)-homology of the affine Grassmannian of a simple algebraic group \(G\), using the \(K\)-theoretic nil Hecke ring of B. Kostant and S. Kumar [J. Differ. Geom. 32, No. 2, 549–603 (1990; Zbl 0731.55005)]. This is the \(K\)-theoretic analogue of a construction of D. Peterson in equivariant homology. For the case where \(G=\text{SL}_n\), the \(K\)-homology of the affine Grassmannian is identified with a sub-Hopf algebra of the ring of symmetric functions. The Schubert basis is represented by inhomogeneous symmetric functions, called \(K\)-\(k\)-Schur functions, whose highest-degree term is a \(k\)-Schur function. The dual basis in \(K\)-cohomology is given by the affine stable Grothendieck polynomials, verifying a conjecture of T. Lam [J. Am. Math. Soc. 21, No. 1, 259–281 (2008; Zbl 1149.05045)]. In addition, we give a Pieri rule in \(K\)-homology. Many of our constructions have geometric interpretations by means of Kashiwara’s thick affine flag manifold.

##### MSC:

14N15 | Classical problems, Schubert calculus |

05E05 | Symmetric functions and generalizations |

19E08 | \(K\)-theory of schemes |

##### Software:

SageMath
PDF
BibTeX
XML
Cite

\textit{T. Lam} et al., Compos. Math. 146, No. 4, 811--852 (2010; Zbl 1256.14056)

**OpenURL**

##### References:

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.