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

Satoshi Naito, Daniel Orr, Daisuke Sagaki

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 manif…