Semi-infinite schubert varieties and quantum k-theory of flag manifolds

Alexander Braverman, Michael Finkelberg

Research output: Contribution to journalArticlepeer-review

21 Citations (Scopus)


Let g be a semi-simple Lie algebra over c and let Bg be its flag variety. In this paper we study the spaces Zag of based quasi-maps P1→Bg (introduced by Finkelberg and Mirković in 1999) as well as their affine versions (corresponding to 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 Zagis normal and when g is simply laced, Zag 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 Zag. When 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 g=S[(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 Bg in terms of the Langlands dual quantum group Uq(ǧ) (for non-simply laced g certain modification of that conjecture is necessary). Similar analysis (modulo certain assumptions) is performed for affine g, extending the results of Braverman and Finkelberg.

Original languageEnglish
Pages (from-to)1147-1168
Number of pages22
JournalJournal of the American Mathematical Society
Issue number4
Publication statusPublished - 1 Oct 2014
Externally publishedYes


Dive into the research topics of 'Semi-infinite schubert varieties and quantum k-theory of flag manifolds'. Together they form a unique fingerprint.

Cite this