Equivariant $K$-theory of semi-infinite flag manifolds and Pieri-Chevalley formula

Syu Kato, Satoshi Naito, Daisuke Sagaki

We propose a definition of equivariant (with respect to an Iwahori subgroup) $K$-theory of the formal power series model ${\mathbf{Q}}_G$ of semi-infinite flag manifold and prove t…