Chevalley formula for anti-dominant weights in the equivariant $K$-theory of semi-infinite flag manifolds

Abstract

We prove a Pieri-Chevalley formula for anti-dominant weights and also a Monk formula in the torus-equivariant $K$-group of the formal power series model of semi-infinite flag manifolds, both of which are described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or, equivalently, quantum Lakshmibai-Seshadri paths). In view of recent results of Kato, these formulas give an explicit description of the structure constants for the Pontryagin product in the torus-equivariant $K$-group of affine Grassmannians and that for the quantum multiplication of the torus-equivariant (small) quantum $K$-group of finite-dimensional flag manifolds. Our proof of these formulas is based on standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, which is established in our previous work, and also uses a string property of Demazure-like subsets of the crystal basis of a level-zero extremal weight module over a quantum affine algebra.

References in corpus (6)

• A uniform model for Kirillov-Reshetikhin crystals I: Lifting the parabolic quantum Bruhat graph
• A uniform model for Kirillov-Reshetikhin crystals II. Alcove model, path model, and P=X
• Loop structure on equivariant $K$-theory of semi-infinite flag manifolds
• Demazure submodules of level-zero extremal weight modules and specializations of Macdonald polynomials
• Tensor product decomposition theorem for quantum Lakshmibai-Seshadri paths and standard monomial theory for semi-infinite Lakshmibai-Seshadri paths
• Level-zero van der Kallen modules and specialization of nonsymmetric Macdonald polynomials at $t=\infty$

Cited by in corpus (5)

• Loop structure on equivariant $K$-theory of semi-infinite flag manifolds
• A Chevalley formula for semi-infinite flag manifolds and quantum K-theory (Extended abstract)
• Darboux coordinates on the BFM spaces
• Level-zero van der Kallen modules and specialization of nonsymmetric Macdonald polynomials at $t=\infty$
• Inverse $K$-Chevalley formulas for semi-infinite flag manifolds, I: minuscule weights in ADE type