Schubert polynomials for the affine Grassmannian

Abstract

Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="k"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding="application/x-tex">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -Schur functions in homology and affine Schur functions in cohomology. The results are obtained by connecting earlier combinatorial work of ours to certain subalgebras of Kostant and Kumar’s nilHecke ring and to work of Peterson on the homology of based loops on a compact group. As combinatorial corollaries, we settle a number of positivity conjectures concerning <inline-formula content-type="math/mathml"> <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" alttext="k"> <mml:semantics> <mml:mi>k</mml:mi> <mml:annotation encoding="application/x-tex">k</mml:annotation> </mml:semantics> </mml:math> </inline-formula> -Schur functions, affine Stanley symmetric functions and cylindric Schur functions.