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

We prove a Chevalley formula for anti-dominant weights in the torus-equivariant K-group of semi-infinite flag manifolds, which is described explicitly in terms of semi-infinite Lakshmibai-Seshadri paths (or equivalently, quantum Lakshmibai-Seshadri paths); in contrast to the Chevalley formula for dominant weights in our previous paper [17] , the formula for anti-dominant weights has a significant finiteness property. Based on geometric results established in [17] , our proof is representation-theoretic, and the Chevalley formula for anti-dominant weights follows from a certain identity for the graded characters of Demazure submodules of a level-zero extremal weight module over a quantum affine algebra; in the proof of this identity, we make use of the (combinatorial) standard monomial theory for semi-infinite Lakshmibai-Seshadri paths, and also a string property of Demazure-like subsets of the set of semi-infinite Lakshmibai-Seshadri paths of a fixed shape, which gives an explicit realization of the crystal basis of a level-zero extremal weight module.