Affine Mirković-Vilonen polytopes

Baumann, Pierre; Kamnitzer, Joel; Tingley, Peter

Publications Mathématiques de l'IHÉS, Tome 120 (2014), pp. 113-205.

Each integrable lowest weight representation of a symmetrizable Kac-Moody Lie algebra $𝔤$ has a crystal in the sense of Kashiwara, which describes its combinatorial properties. For a given $𝔤$, there is a limit crystal, usually denoted by B(−∞), which contains all the other crystals. When $𝔤$ is finite dimensional, a convex polytope, called the Mirković-Vilonen polytope, can be associated to each element in B(−∞). This polytope sits in the dual space of a Cartan subalgebra of $𝔤$, and its edges are parallel to the roots of $𝔤$. In this paper, we generalize this construction to the case where $𝔤$ is a symmetric affine Kac-Moody algebra. The datum of the polytope must however be complemented by partitions attached to the edges parallel to the imaginary root δ. We prove that these decorated polytopes are characterized by conditions on their normal fans and on their 2-faces. In addition, we discuss how our polytopes provide an analog of the notion of Lusztig datum for affine Kac-Moody algebras. Our main tool is an algebro-geometric model for B(−∞) constructed by Lusztig and by Kashiwara and Saito, based on representations of the completed preprojective algebra Λ of the same type as $𝔤$. The underlying polytopes in our construction are described with the help of Buan, Iyama, Reiten and Scott’s tilting theory for the category $\Lambda \text{-}\mathrm{mod}$. The partitions we need come from studying the category of semistable Λ-modules of dimension-vector a multiple of δ.

Mots clés : Irreducible Component, Simple Object, Torsion Pair, Convex Order, Jordan Type

[1.] Amiot, C.; Iyama, O.; Reiten, I.; Todorov, G. Preprojective algebras and c-sortable words, Proc. Lond. Math. Soc. (3), Volume 104 (2012), pp. 513-539 | DOI | MR | Zbl

[2.] Anderson, J. E. A polytope calculus for semisimple groups, Duke Math. J., Volume 116 (2003), pp. 567-588 | DOI | MR | Zbl

[3.] Assem, I. et al. Tilting theory – an introduction, Topics in Algebra, Part 1 (1990), pp. 127-180 | MR | Zbl

[4.] Baumann, P.; Kamnitzer, J. Preprojective algebras and MV polytopes, Represent. Theory, Volume 16 (2012), pp. 152-188 | DOI | MR | Zbl

[5.] P. Baumann, T. Dunlap, J. Kamnitzer and P. Tingley, Rank 2 affine MV polytopes, Represent. Theory, to appear. | MR | Zbl

[6.] Beck, J. Convex bases of PBW type for quantum affine algebras, Commun. Math. Phys., Volume 165 (1994), pp. 193-199 | DOI | MR | Zbl

[7.] Beck, J.; Nakajima, H. Crystal bases and two-sided cells of quantum affine algebras, Duke Math. J., Volume 123 (2004), pp. 335-402 | MR | Zbl

[8.] Beck, J.; Chari, V.; Pressley, A. An algebraic characterization of the affine canonical basis, Duke Math. J., Volume 99 (1999), pp. 455-487 | DOI | MR | Zbl

[9.] Berenstein, A.; Zelevinsky, A. Tensor product multiplicities, canonical bases and totally positive varieties, Invent. Math., Volume 143 (2001), pp. 77-128 | DOI | MR | Zbl

[10.] Bourbaki, N. Groupes et Algèbres de Lie (1968)

[11.] Braverman, A.; Gaitsgory, D. Crystals via the affine Grassmannian, Duke Math. J., Volume 107 (2001), pp. 561-575 | DOI | MR | Zbl

[12.] Braverman, A.; Finkelberg, M.; Gaitsgory, D. Uhlenbeck Spaces Via Affine Lie Algebra. The Unity of Mathematics (2006), pp. 17-135 | MR | Zbl

[13.] Bridgeland, T. et al. Spaces of stability conditions, Algebraic Geometry (2009), pp. 1-21 | MR | Zbl

[14.] Buan, A. B.; Iyama, O.; Reiten, I.; Scott, J. Cluster structures for 2-Calabi-Yau categories and unipotent groups, Compos. Math., Volume 145 (2009), pp. 1035-1079 | DOI | MR | Zbl

[15.] Cellini, P.; Papi, P. The structure of total reflection orders in affine root systems, J. Algebra, Volume 205 (1998), pp. 207-226 | DOI | MR | Zbl

[16.] W. Crawley-Boevey, Lectures on Representations of Quivers, Lecture Notes for a Course Given in Oxford in Spring 1992, available at http://www.amsta.leeds.ac.uk/~pmtwc/.

[17.] Crawley-Boevey, W. On the exceptional fibres of Kleinian singularities, Am. J. Math., Volume 122 (2000), pp. 1027-1037 | DOI | MR | Zbl

[18.] Crawley-Boevey, W.; Schröer, J. Irreducible components of varieties of modules, J. Reine Angew. Math., Volume 553 (2002), pp. 201-220 | MR | Zbl

[19.] T. Dunlap, Combinatorial Representation Theory of Affine${\mathrm{𝔰𝔩}}_2$via Polytope Calculus, PhD thesis, Northwestern University, 2010. | MR

[20.] Frenkel, I.; Malkin, A.; Vybornov, M. Affine Lie algebras and tame quivers, Sel. Math. New Ser., Volume 7 (2001), pp. 1-56 | DOI | MR | Zbl

[21.] Frenkel, I.; Savage, A. Bases of representations of type A affine Lie algebras via quiver varieties and statistical mechanics, Int. Math. Res. Not., Volume 2003 (2003), pp. 1521-1547 | DOI | MR | Zbl

[22.] Gabriel, P.; Roiter, A. V. Representations of finite-dimensional algebras, Algebra VIII (1992) | MR

[23.] Gaussent, S.; Littelmann, P. LS galleries, the path model, and MV cycles, Duke Math. J., Volume 127 (2005), pp. 35-88 | DOI | MR | Zbl

[24.] Gelfand, I. M.; Goresky, R. M.; MacPherson, R. D.; Serganova, V. V. Combinatorial geometries, convex polyhedra, and Schubert cells, Adv. Math., Volume 63 (1987), pp. 301-316 | DOI | MR | Zbl

[25.] Geiß, C.; Leclerc, B.; Schröer, J. Rigid modules over preprojective algebras, Invent. Math., Volume 165 (2006), pp. 589-632 | DOI | MR | Zbl

[26.] Geiß, C.; Leclerc, B.; Schröer, J. Semicanonical basis and preprojective algebras. II: A multiplication formula, Compos. Math., Volume 143 (2007), pp. 1313-1334 | MR | Zbl

[27.] Geiß, C.; Leclerc, B.; Schröer, J. Kac-Moody groups and cluster algebras, Adv. Math., Volume 228 (2011), pp. 329-433 | DOI | MR | Zbl

[28.] Ito, K. The classification of convex orders on affine root systems, Commun. Algebra, Volume 29 (2001), pp. 5605-5630 | DOI | MR | Zbl

[29.] Ito, K. Parametrizations of infinite biconvex sets in affine root systems, Hiroshima Math. J., Volume 35 (2005), pp. 425-451 | MR | Zbl

[30.] Ito, K. A new description of convex bases of PBW type for untwisted quantum affine algebras, Hiroshima Math. J., Volume 40 (2010), pp. 133-183 | MR | Zbl

[31.] Iyama, O.; Reiten, I. Fomin-Zelevinsky mutation and tilting modules over Calabi-Yau algebras, Am. J. Math., Volume 130 (2008), pp. 1087-1149 | DOI | MR | Zbl

[32.] Iyama, O.; Reiten, I. 2-Auslander algebras associated with reduced words in Coxeter groups, Int. Math. Res. Not., Volume 2011 (2011), pp. 1782-1803 | MR | Zbl

[33.] Y. Jiang, Parametrizations of canonical bases and irreducible components of nilpotent varieties, Int. Math. Res. Not., to appear. | MR

[34.] Kac, V. G. Infinite Dimensional Lie Algebras (1990) | MR | Zbl

[35.] Kamnitzer, J. The crystal structure on the set of Mirković-Vilonen polytopes, Adv. Math., Volume 215 (2007), pp. 66-93 | DOI | MR | Zbl

[36.] Kamnitzer, J. Mirković-Vilonen cycles and polytopes, Ann. Math., Volume 171 (2010), pp. 245-294 | DOI | MR | Zbl

[37.] Kashiwara, M. On crystal bases, Representations of Groups (1995), pp. 155-197 | MR | Zbl

[38.] Kashiwara, M.; Saito, Y. Geometric construction of crystal bases, Duke Math. J., Volume 89 (1997), pp. 9-36 | DOI | MR | Zbl

[39.] Y. Kimura, Affine Quivers and Crystal Bases, Master thesis, University of Kyoto, Japan, 2007.

[40.] King, A. Moduli of representations of finite dimensional algebras, Q. J. Math. Oxf. (2), Volume 45 (1994), pp. 515-530 | DOI | MR | Zbl

[41.] Lusztig, G. Canonical bases arising from quantized enveloping algebras, J. Am. Math. Soc., Volume 3 (1990), pp. 447-498 | DOI | MR | Zbl

[42.] Lusztig, G. Canonical bases arising from quantized enveloping algebras II, Prog. Theor. Phys. Suppl., Volume 102 (1990), pp. 175-201 | DOI | MR | Zbl

[43.] Lusztig, G. Quivers, perverse sheaves, and quantized enveloping algebras, J. Am. Math. Soc., Volume 4 (1991), pp. 365-421 | DOI | MR | Zbl

[44.] Lusztig, G. Affine quivers and canonical bases, Publ. Math. Inst. Hautes Études Sci., Volume 76 (1992), pp. 111-163 | DOI | Numdam | MR | Zbl

[45.] Lusztig, G. Braid group action and canonical bases, Adv. Math., Volume 122 (1996), pp. 237-261 | DOI | MR | Zbl

[46.] Mirković, I.; Vilonen, K. Geometric Langlands duality and representations of algebraic groups over commutative rings, Ann. Math., Volume 166 (2007), pp. 95-143 | DOI | MR | Zbl

[47.] Mumford, D. The Red Book of Varieties and Schemes (1999) | MR | Zbl

[48.] Muthiah, D. Double MV cycles and the Naito-Sagaki-Saito crystal, Adv. Math. (2013) | MR | Zbl

[49.] Muthiah, D.; Tingley, P. Affine PBW bases and MV polytopes in rank 2, Sel. Math. (2012) | MR | Zbl

[50.] Naito, S.; Sagaki, D.; Saito, Y. et al. Toward Berenstein-Zelevinsky data in affine type A, parts I and II, Representation Theory of Algebraic Groups and Quantum Groups ’10 (2012), pp. 143-216 | MR

[51.] Naito, S.; Sagaki, D.; Saito, Y. et al. Toward Berenstein-Zelevinsky data in affine type A. Part III. Symmetries, integrable systems and representations, Springer Proceedings in Mathematics and Statistics (2013), pp. 361-402 | MR

[52.] Reineke, M. The Harder-Narasimhan system in quantum groups and cohomology of quiver moduli, Invent. Math., Volume 152 (2003), pp. 349-368 | DOI | MR | Zbl

[53.] Ringel, C. M. The preprojective algebra of a quiver, Algebras and Modules II, Eighth International Conference on Representations of Algebras (1998), pp. 467-480 | MR | Zbl

[54.] Ringel, C. M. et al. The preprojective algebra of a tame quiver: the irreducible components of the module varieties, Trends in the Representation Theory of Finite Dimensional Algebras (1998), pp. 293-306 | MR | Zbl

[55.] Rudakov, A. Stability for an Abelian category, J. Algebra, Volume 197 (1997), pp. 231-245 | DOI | MR | Zbl

[56.] Saito, Y. PBW basis of quantized universal enveloping algebras, Publ. Res. Inst. Math. Sci., Volume 30 (1994), pp. 209-232 | DOI | MR | Zbl

[57.] Sekiya, Y.; Yamaura, K. Tilting theoretical approach to moduli spaces over preprojective algebras, Algebr. Represent. Theory (2012) | MR | Zbl

[58.] Shatz, S. The decomposition and specialization of algebraic families of vector bundles, Compos. Math., Volume 35 (1977), pp. 163-187 | Numdam | MR | Zbl