×

Pursuing the double affine Grassmannian. I: Transversal slices via instantons on \(A_k\)-singularities. (English) Zbl 1200.14083

Let \(G\) be a reductive group and \(G^{\vee}\) be its Langlands dual. The geometric Satake isomorphism is an identification of the category of finite dimensional representations of \(G^{\vee}\) with the category of equivariant perverse sheaves on the affine Grassmannian of \(G\). Under this isomorphism, simple \(G^{\vee}\)-modules can be identified with certain intersection cohomology groups of varieties that are obtained from orbits of the affine Grassmannian. This relationship allows one to compute certain intersection cohomology groups via the representation theory of \(G^{\vee}\). The goal of this paper is to begin to develop a comparable theory for affine Kac-Moody groups which will be continued in forthcoming work.
For \(G\) semisimple and simply connected, let \(G_{\text{aff}}\) denote the corresponding (untwisted) affine Kac-Moody group and \(G_{\text{aff}}^{\vee}\) denotes its dual. The idea presented in the paper is that the integrable representations of \(G_{\text{aff}}^{\vee}\) should be related to the geometry of certain moduli spaces of \(G\)-bundles on affine two-space. The authors nicely describe the intuition behind the program and then introduce precisely the varieties and \(G\)-bundles of interest. They make a number of conjectures about how things should behave, with the main conjecture involving intersection cohomology. The conjectures are verified for representations of level \(k\) where \(k\) is sufficiently large. Slightly weaker results are obtained for level one representations for arbitrary \(G\) and for arbitrary levels when \(G\) is the special linear group.

MSC:

14J60 Vector bundles on surfaces and higher-dimensional varieties, and their moduli
14D21 Applications of vector bundles and moduli spaces in mathematical physics (twistor theory, instantons, quantum field theory)
14F43 Other algebro-geometric (co)homologies (e.g., intersection, equivariant, Lawson, Deligne (co)homologies)
14M15 Grassmannians, Schubert varieties, flag manifolds
17B67 Kac-Moody (super)algebras; extended affine Lie algebras; toroidal Lie algebras
20G44 Kac-Moody groups
22E57 Geometric Langlands program: representation-theoretic aspects
PDFBibTeX XMLCite
Full Text: DOI arXiv

References:

[1] A. Beilinson and V. Drinfeld, Quantization of Hitchin’s Hamiltonians and Hecke eigen-sheaves , preprint, available at http://www.math.uchicago.edu/\(\widetilde{\hphantom{m}}\)mitya/ langlands.html. · Zbl 0864.14007
[2] A. Bialynicki-Birula, Some theorems on actions of algebraic groups , Ann. of Math. (2) 98 (1973), 480–497. JSTOR: · Zbl 0275.14007
[3] A. Braverman and M. Finkelberg, Pursuing the double affine Grassmannian II: Convolution , · Zbl 1242.14047
[4] A. Braverman, M. Finkelberg, and D. Gaitsgory, “Uhlenbeck spaces via affine Lie algebras” in The Unity of Mathematics , Progr. Math. 244 , Birkhäuser, Boston, 2006, 17–135. · Zbl 1105.14013
[5] A. Braverman, M. Finkelberg, D. Gaitsgory, and I. Mirković, Intersection cohomology of Drinfeld’s compactifications , Selecta Math. (N.S.) 8 (2002), 381–418. · Zbl 1031.14019
[6] A. Braverman and D. Gaitsgory, Crystals via the affine Grassmannian , Duke Math. J. 107 (2001), 561–575. · Zbl 1015.20030
[7] A. Braverman and D. Kazhdan, The spherical Hecke algebra for affine Kac-Moody groups I , · Zbl 1235.22027
[8] R. K. Brylinski, Limits of weight spaces, Lusztig’s \(q\)-analogs, and fiberings of adjoint orbits , J. Amer. Math. Soc. 2 (1989), 517–533. JSTOR: · Zbl 0729.17005
[9] W. Crawley-Boevey, Geometry of the moment map for representations of quivers , Compositio Math. 126 (2001), 257–293. · Zbl 1037.16007
[10] G. Faltings, Algebraic loop groups and moduli spaces of bundles , J. Eur. Math. Soc. (JEMS) 5 (2003), 41–68. · Zbl 1020.14002
[11] S. Fishel, I. Grojnowski, and C. Teleman, The strong Macdonald conjecture and Hodge theory on the loop Grassmannian , Ann. of Math. (2) 168 (2008), 175–220. · Zbl 1186.17010
[12] I. B. Frenkel, “Representations of affine Lie algebras, Hecke modular forms and Korteweg-de Vries type equations” in Lie Algebras and Related Topics (New Brunswick, N.J., 1981) , Lecture Notes in Math. 933 , Springer, Berlin, 1982, 71–110. · Zbl 0505.17008
[13] V. Ginzburg, Perverse sheaves on a loop group and Langlands’ duality , preprint,\arxivalg-geom/9511007v4
[14] K. Hasegawa, Spin module versions of Weyl’s reciprocity theorem for classical Kac-Moody Lie algebras –.-an application to branching rule duality , Publ. Res. Inst. Math. Sci. 25 (1989), 741–828. · Zbl 0699.17020
[15] A. Joseph, G. Letzter, and S. Zelikson, On the Brylinski-Kostant filtration , J. Amer. Math. Soc. 13 (2000), 945–970. JSTOR: · Zbl 0991.17006
[16] M. Kashiwara and T. Tanisaki, Kazhdan-Lusztig conjecture for affine Lie algebras with negative level , Duke Math. J. 77 (1995), 21–62. · Zbl 0829.17020
[17] S. Kato, Spherical functions and a \(q\)-analogue of Kostant’s weight multiplicity formula , Invent. Math. 66 (1982), 461–468. · Zbl 0498.17005
[18] S. Kumar, Kac-Moody Groups, Their Flag Varieties and Representation Theory , Progr. Math. 204 , Birkhäuser, Boston, 2002. · Zbl 1026.17030
[19] J. Lepowsky, Calculus of twisted vertex operators , Proc. Nat. Acad. Sci. U.S.A. 82 (1985), 8295–8299. JSTOR: · Zbl 0579.17010
[20] A. Licata, Framed rank \(r\) torsion-free sheaves on \(\CC{P}^2\) and representations of the affine Lie algebra \(\widehat{gl(r)}\) , · Zbl 1135.22302
[21] G. Lusztig, “Singularities, character formulas, and a \(q\)-analog of weight multiplicities” in Analysis and Topology on Singular Spaces, II, III (Luminy, France, 1981) , Astérisque 101 –. 102 , Soc. Math. France, Montrouge, 1983, 208–229. · Zbl 0561.22013
[22] I. Mirković and K. Vilonen, Geometric Langlands duality and representations of algebraic groups over commutative rings , Ann. of Math. (2) 166 (2007), 95–143. · Zbl 1138.22013
[23] I. Mirković and M. Vybornov, On quiver varieties and affine Grassmannians of type A , C. R. Math. Acad. Sci. Paris 336 (2003), 207–212. · Zbl 1068.14056
[24] H. Nakajima, “Geometric construction of representations of affine algebras” in Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002) , Higher Ed. Press, Beijing, 2002, 423–438. · Zbl 1049.17014
[25] -, Quiver varieties and branching , SIGMA Symmetry Integrability Geom. Methods Appl. 5 (2009), paper 003. · Zbl 1241.17028
[26] S. Viswanath, Kostka-Foulkes polynomials for symmetrizable Kac-Moody algebras , Sém. Lothar. Combin. 58 (2007/08), Art. B58f. · Zbl 1179.33029
[27] E. Witten, “Conformal field theory in four and six dimensions” in Topology, Geometry and Quantum Field Theory , London Math. Soc. Lecture Note Ser. 308 , Cambridge Univ. Press, Cambridge, 2004, 405–419. · Zbl 1101.81096
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.