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

DOI10.1215/00127094-2020-0015MaRDI QIDQ2217883zbMATH OpenOpenAlexFDO

Authors Syu Kato, Satoshi Naito, Daisuke Sagaki

Publication date 12 January 2021

Published in Duke Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1702.02408, https://projecteuclid.org/euclid.dmj/1598947224

\(K\)-theory normality Pieri-Chevalley formula semi-infinite flag manifold semi-infinite Lakshmibai-Seshadri path standard monomial theory

Mathematics Subject Classification ID

Classical problems, Schubert calculus (14N15) Quantum groups (quantized enveloping algebras) and related deformations (17B37) Basic orthogonal polynomials and functions associated with root systems (Macdonald polynomials, etc.) (33D52) Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, (W)-algebras and other current algebras and their representations (81R10)

Abstract: We propose a definition of equivariant (with respect to an Iwahori subgroup)

K

-theory of the formal power series model

m a t h b f Q_{G}

of semi-infinite flag manifold and prove the Pieri-Chevalley formula, which describes the product, in the

K

-theory of

m a t h b f Q_{G}

, of the structure sheaf of a semi-infinite Schubert variety with a line bundle (associated to a dominant integral weight) over

m a t h b f Q_{G}

. In order to achieve this, we provide a number of fundamental results on

m a t h b f Q_{G}

and its Schubert subvarieties including the Borel-Weil-Bott theory, whose special case is conjectured in [A. Braverman and M. Finkelberg, Weyl modules and

q

-Whittaker functions, Math. Ann. 359 (2014), 45--59]. One more ingredient of this paper besides the geometric results above is (a combinatorial version of) standard monomial theory for level-zero extremal weight modules over quantum affine algebras, which is described in terms of semi-infinite Lakshmibai-Seshadri paths. In fact, in our Pieri-Chevalley formula, the positivity of structure coefficients is proved by giving an explicit representation-theoretic meaning through semi-infinite Lakshmibai-Seshadri paths.

Recommendations

Cites work

Cited in

(33)

This page was built for publication: Equivariant \(K\)-theory of semi-infinite flag manifolds and the Pieri-Chevalley formula

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2217883)