Remote Access Journal of the American Mathematical Society
Green Open Access

Journal of the American Mathematical Society

ISSN 1088-6834(online) ISSN 0894-0347(print)



Semi-infinite Schubert varieties and quantum $ K$-theory of flag manifolds

Authors: Alexander Braverman and Michael Finkelberg
Journal: J. Amer. Math. Soc. 27 (2014), 1147-1168
MSC (2010): Primary 17B37; Secondary 14N35, 19L47, 37J35
Published electronically: June 6, 2014
MathSciNet review: 3230820
Full-text PDF

Abstract | References | Similar Articles | Additional Information

Abstract: Let $ \mathfrak{g}$ be a semi-simple Lie algebra over $ \mathbb{C}$ and let $ \mathcal {B}_{\mathfrak{g}}$ be its flag variety. In this paper we study the spaces $ Z^{\alpha }_{\mathfrak{g}}$ of based quasi-maps $ \mathbb{P}^1\to \mathcal {B}_{\mathfrak{g}}$ (introduced by Finkelberg and Mirković in 1999) as well as their affine versions (corresponding to $ \mathfrak{g}$ being untwisted affine algebra) introduced by Braverman et al. in 2006. The purpose of this paper is two-fold. First we study the singularities of the above spaces (as was explained by Finkelberg and Mirković in 1999 and Braverman in 2006 they are supposed to model singularities of the not rigorously defined ``semi-infinite Schubert varieties''). We show that $ Z^{\alpha }_{\mathfrak{g}}$ is normal and when $ \mathfrak{g}$ is simply laced, $ Z^{\alpha }_{\mathfrak{g}}$ is Gorenstein and has rational singularities; some weaker results are proved also in the affine case.

The second purpose is to study the character of the ring of functions on $ Z^{\alpha }_{\mathfrak{g}}$. When $ \mathfrak{g}$ is finite-dimensional and simply laced we show that the generating function of these characters satisfies the ``fermionic formula'' version of quantum difference Toda equation, thus extending the results for $ \mathfrak{g}=\mathfrak{sl}(N)$ from Givental and Lee in 2003 and Braverman and Finkelberg in 2005; in view of the first part this also proves a conjecture from Givental and Lee in 2003 describing the quantum $ K$-theory of $ \mathcal {B}_{\mathfrak{g}}$ in terms of the Langlands dual quantum group $ U_q(\mathfrak{\check {g}})$ (for non-simply laced $ \mathfrak{g}$ certain modification of that conjecture is necessary). Similar analysis (modulo certain assumptions) is performed for affine $ \mathfrak{g}$, extending the results of Braverman and Finkelberg.

References [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Journal of the American Mathematical Society with MSC (2010): 17B37, 14N35, 19L47, 37J35

Retrieve articles in all journals with MSC (2010): 17B37, 14N35, 19L47, 37J35

Additional Information

Alexander Braverman
Affiliation: Department of Mathematics, Brown University, 151 Thayer Street, Providence, Rhode Island 02912

Michael Finkelberg
Affiliation: IMU, IITP, and National Research University Higher School of Economics Department of Mathematics, 20 Myasnitskaya st, Moscow 101000, Russia

Received by editor(s): December 6, 2011
Received by editor(s) in revised form: June 16, 2013, and September 6, 2013
Published electronically: June 6, 2014
Article copyright: © Copyright 2014 American Mathematical Society

American Mathematical Society