K-theory Schubert calculus of the affine Grassmannian

Abstract

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 NilHecke ring of Kostant and Kumar. This is the K-theoretic analogue of a construction of Peterson in equivariant homology. For the case G = 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 Lam. In addition, we give a Pieri rule in K-homology. Many of our constructions have geometric interpretations using Kashiwara's thick affine flag manifold.

38 pages

Cited by in corpus (13)

• K-theoretic analogues of factorial Schur P- and Q-functions
• Back stable Schubert calculus
• Path description of type B q-characters
• Loop structure on equivariant $K$-theory of semi-infinite flag manifolds
• The shape of a random affine Weyl group element and random core partitions
• Skew hook formula for $d$-complete posets
• Construction of double Grothendieck polynomials of classical types using IdCoxeter algebras
• Crystal structures for symmetric Grothendieck polynomials
• Yang-Baxter basis of Hecke algebra and Casselman's problem (extended abstract)
• Excursions into Algebra and Combinatorics at $q=0$
• Closed $k$-Schur Katalan functions as $K$-homology Schubert representatives of the affine Grassmannian
• A generalization of the Murnaghan-Nakayama rule for $K$-$k$-Schur and $k$-Schur functions
• Diagrams of affine permutations, balanced labellings, and symmetric functions