Quiver varieties and cluster algebras
Hiraku Nakajima
Source: Kyoto J. Math. Volume 51, Number 1
(2011), 71-126.
Abstract
Motivated by a recent conjecture by Hernandez and Leclerc, we embed a Fomin-Zelevinsky cluster algebra into the Grothendieck ring $\mathbf{R}$ of the category of representations of quantum loop algebras ${\mathbf{U}}_{q}({\mathbf{L}}\mathfrak{g})$ of a symmetric Kac-Moody Lie algebra, studied earlier by the author via perverse sheaves on graded quiver varieties. Graded quiver varieties controlling the image can be identified with varieties which Lusztig used to define the canonical base. The cluster monomials form a subset of the base given by the classes of simple modules in $\mathbf{R}$, or Lusztig’s dual canonical base. The conjectures that cluster monomials are positive and linearly independent (and probably many other conjectures) of Fomin and Zelevinsky follow as consequences when there is a seed with a bipartite quiver. Simple modules corresponding to cluster monomials factorize into tensor products of “prime” simple ones according to the cluster expansion.
First Page:
Show
Hide
Full-text: Access denied (no subscription
detected)
We're sorry, but we are unable to provide
you with the full text of this article because we are not able to identify
you as a subscriber.
If you have a personal subscription to
this journal, then please login. If you are already logged in, then you
may need to update your profile to register your subscription. Read more about accessing full-text
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.kjm/1298669426
Digital Object Identifier: doi:10.1215/0023608X-2010-021
Zentralblatt MATH identifier: 05880786
Mathematical Reviews number (MathSciNet): MR2784748
References
[1] I. Assem, D. Simson, and A. Skowroński, Elements of the Representation Theory of Associative Algebras, Vol. 1: Techniques of Representation Theory, London Math. Soc. Stud. Texts 65, Cambridge Univ. Press, Cambridge, 2006.
Mathematical Reviews (MathSciNet): MR2197389
Zentralblatt MATH: 1092.16001
[2] A. A. Beĭlinson, J. Bernstein, and P. Deligne, “Faisceaux pervers” in Analysis and Topology on Singular Spaces, I (Luminy, France, 1981), Astérisque 100, Soc. Math. France, Montrouge, 1982, 5–171.
Mathematical Reviews (MathSciNet): MR751966
[3] A. Berenstein, S. Fomin, and A. Zelevinsky, Cluster algebras, III: Upper bounds and double Bruhat cells, Duke Math. J. 126 (2005), 1–52.
Mathematical Reviews (MathSciNet): MR2110627
Zentralblatt MATH: 1135.16013
Digital Object Identifier: doi:10.1215/S0012-7094-04-12611-9
Project Euclid: euclid.dmj/1103136474
[4] A. Berenstein and A. Zelevinsky, Quantum cluster algebras, Adv. Math. 195 (2005), 405–455.
Mathematical Reviews (MathSciNet): MR2146350
Zentralblatt MATH: 1124.20028
Digital Object Identifier: doi:10.1016/j.aim.2004.08.003
[5] I. N. Bernšteĭn, I. M. Gelfand [Gel'fand], and V. A. Ponomarev, Coxeter functors, and Gabriel’s theorem (in Russian), Uspehi Mat. Nauk 28 (1973), no. 2 (170), 19–33.
[6] A. B. Buan, R. Marsh, M. Reineke, I. Reiten, and G. Todorov, Tilting theory and cluster combinatorics, Adv. Math. 204 (2006), 572–618.
Mathematical Reviews (MathSciNet): MR2249625
Zentralblatt MATH: 1127.16011
Digital Object Identifier: doi:10.1016/j.aim.2005.06.003
[7] P. Caldero and F. Chapoton, Cluster algebras as Hall algebras of quiver representations, Comment. Math. Helv. 81 (2006), 595–616.
Mathematical Reviews (MathSciNet): MR2250855
Digital Object Identifier: doi:10.4171/CMH/65
[8] P. Caldero and B. Keller, From triangulated categories to cluster algebras, II, Ann. Sci. École Norm. Sup. (4) 39 (2006), 983–1009.
Mathematical Reviews (MathSciNet): MR2316979
Zentralblatt MATH: 1115.18301
Digital Object Identifier: doi:10.1016/j.ansens.2006.09.003
[9] P. Caldero and M. Reineke, On the quiver Grassmannian in the acyclic case, J. Pure Appl. Algebra 212 (2008), 2369–2380.
Mathematical Reviews (MathSciNet): MR2440252
Zentralblatt MATH: 1153.14032
Digital Object Identifier: doi:10.1016/j.jpaa.2008.03.025
[10] P. Caldero and A. Zelevinsky, Laurent expansions in cluster algebras via quiver representations, Mosc. Math. J. 6 (2006), 411–429.
Mathematical Reviews (MathSciNet): MR2274858
Zentralblatt MATH: 1133.16012
[11] V. Chari and D. Hernandez, “Beyond Kirillov-Reshetikhin modules” in Quantum Affine Algebras, Extended Affine Lie Algebras, and Their Applications, Contemp. Math. 506, Amer. Math. Soc., Providence, 2010, 49–81.
Mathematical Reviews (MathSciNet): MR2642561
[12] N. Chriss and V. Ginzburg, Representation Theory and Complex Geometry, Birkhäuser, Boston, 1997.
Mathematical Reviews (MathSciNet): MR1433132
[13] J. H. Conway and H. S. M. Coxeter, Triangulated polygons and frieze patterns, Math. Gaz. 57 (1973), 87–94.
Mathematical Reviews (MathSciNet): MR461270
Digital Object Identifier: doi:10.2307/3615561
JSTOR: links.jstor.org
[14] W. Crawley-Boevey, Normality of Marsden-Weinstein reductions for representations of quivers, Math. Ann. 325 (2003), 55–79.
Mathematical Reviews (MathSciNet): MR1957264
Zentralblatt MATH: 1063.16016
Digital Object Identifier: doi:10.1007/s00208-002-0367-8
[15] V. I. Danilov and A. G. Khovanskiĭ, Newton polyhedra and an algorithm for calculating Hodge-Deligne numbers (in Russian), Izv. Akad. Nauk SSSR Ser. Mat. 50 (1986), 925–945.
Mathematical Reviews (MathSciNet): MR873655
[16] P. Deligne, Théorie de Hodge, III, Inst. Hautes Études Sci. Publ. Math. 44 (1974), 5–77.
Mathematical Reviews (MathSciNet): MR498552
Digital Object Identifier: doi:10.1007/BF02685881
[17] H. Derksen, J. Weyman, and A. Zelevinsky, Quivers with potentials and their representations, II: Applications to cluster algebras, J. Amer. Math. Soc. 23 (2010), 749–790.
Mathematical Reviews (MathSciNet): MR2629987
Zentralblatt MATH: 05775684
Digital Object Identifier: doi:10.1090/S0894-0347-10-00662-4
[18] P. Di Francesco and R. Kedem, Q-systems, heaps, paths and cluster positivity, Comm. Math. Phys. 293 (2010), 727–802.
Mathematical Reviews (MathSciNet): MR2566162
Zentralblatt MATH: 1194.05165
Digital Object Identifier: doi:10.1007/s00220-009-0947-5
[19] M. Ding, J. Xiao, and F. Xu, Integral bases of cluster algebras and representations of tame quivers, preprint, arXiv:0901.1937v2 [math.RT]
[20] G. Dupont, Generic variables in acyclic cluster algebras and bases in affine cluster algebras, preprint, arXiv:0811.2909.
[21] S. Fomin and A. Zelevinsky, Cluster algebras, I: Foundations, J. Amer. Math. Soc. 15 (2002), 497–529.
Mathematical Reviews (MathSciNet): MR1887642
Zentralblatt MATH: 1021.16017
Digital Object Identifier: doi:10.1090/S0894-0347-01-00385-X
JSTOR: links.jstor.org
[22] S. Fomin and A. Zelevinsky, Cluster algebras, II: Finite type classification, Invent. Math. 154 (2003), 63–121.
Mathematical Reviews (MathSciNet): MR2004457
Zentralblatt MATH: 1054.17024
Digital Object Identifier: doi:10.1007/s00222-003-0302-y
[23] S. Fomin and A. Zelevinsky, Cluster algebras, IV: Coefficients, Compos. Math. 143 (2007), 112–164.
Mathematical Reviews (MathSciNet): MR2295199
Zentralblatt MATH: 1127.16023
Digital Object Identifier: doi:10.1112/S0010437X06002521
[24] E. Frenkel and N. Reshetikhin, “The q-characters of representations of quantum affine algebras and deformations of $\mathscr{W}$-algebras” in Recent Developments in Quantum Affine Algebras and Related Topics (Raleigh, N.C., 1998), Contemp. Math. 248, Amer. Math. Soc., Providence, 1999, 163–205.
Mathematical Reviews (MathSciNet): MR1745260
Zentralblatt MATH: 0973.17015
[25] C. Geiss, B. Leclerc, and J. Schröer, Rigid modules over preprojective algebras, Invent. Math. 165 (2006), 589–632.
Mathematical Reviews (MathSciNet): MR2242628
Zentralblatt MATH: 1167.16009
Digital Object Identifier: doi:10.1007/s00222-006-0507-y
[26] C. Geiss, B. Leclerc, and J. Schröer, Cluster algebra structures and semicanonical bases for unipotent groups, preprint, arXiv:math/0703039v4 [math.RT]
Mathematical Reviews (MathSciNet): MR2484728
Zentralblatt MATH: 1203.16014
Digital Object Identifier: doi:10.4171/062-1/6
[27] S. I. Gelfand and Y. I. Manin, Methods of Homological Algebra, 2nd ed., Springer Monogr. Math., Springer, Berlin, 2003.
Mathematical Reviews (MathSciNet): MR1950475
[28] D. Happel and L. Unger, Almost complete tilting modules, Proc. Amer. Math. Soc. 107 (1989), 603–610.
Mathematical Reviews (MathSciNet): MR984791
Zentralblatt MATH: 0675.16012
Digital Object Identifier: doi:10.1090/S0002-9939-1989-0984791-2
[29] D. Hernandez, The Kirillov-Reshetikhin conjecture and solutions of T-systems, J. Reine Angew. Math. 596 (2006), 63–87.
Mathematical Reviews (MathSciNet): MR2254805
[30] D. Hernandez, Smallness problem for quantum affine algebras and quiver varieties, Ann. Sci. École Norm. Supér. (4) 41 (2008), 271–306.
Mathematical Reviews (MathSciNet): MR2468483
Zentralblatt MATH: 1189.17014
[31] D. Hernandez and B. Leclerc, Cluster algebras and quantum affine algebras, Duke Math. J. 154 (2010), 265–341.
Mathematical Reviews (MathSciNet): MR2682185
Zentralblatt MATH: 05788166
Digital Object Identifier: doi:10.1215/00127094-2010-040
Project Euclid: euclid.dmj/1281963651
[32] A. Hubery, Acyclic cluster algebras via Ringel-Hall algebras, preprint.
[33] R. Inoue, O. Iyama, A. Kuniba, T. Nakanishi, and J. Suzuki, Periodicities of T-systems and Y-systems, preprint, arXiv:0812.0667v3 [math.QA]
Mathematical Reviews (MathSciNet): MR2649278
Zentralblatt MATH: 05704436
Project Euclid: euclid.nmj/1268749076
[34] V. G. Kac, Infinite root systems, representations of graphs and invariant theory, Invent. Math. 56 (1980), 57–92.
Mathematical Reviews (MathSciNet): MR557581
Zentralblatt MATH: 0427.17001
Digital Object Identifier: doi:10.1007/BF01403155
[35] V. G. Kac, Infinite root systems, representations of graphs and invariant theory, II, J. Algebra 78 (1982), 141–162.
Mathematical Reviews (MathSciNet): MR677715
Zentralblatt MATH: 0497.17007
Digital Object Identifier: doi:10.1016/0021-8693(82)90105-3
[36] M. Kashiwara and P. Schapira, Sheaves on Manifolds, with a chapter in French by Christian Houzel, Grundlehren Math. Wiss. 292, Springer, Berlin, 1990.
Mathematical Reviews (MathSciNet): MR1074006
[37] B. Keller, Cluster algebras, quiver representations and triangulated categories, preprint, arXiv:0807.1960v11 [math.RT]
[38] H. Knight, Spectra of tensor products of finite-dimensional representations of Yangians, J. Algebra 174 (1995), 187–196.
Mathematical Reviews (MathSciNet): MR1332866
Zentralblatt MATH: 0868.17009
Digital Object Identifier: doi:10.1006/jabr.1995.1123
[39] G. Laumon, Transformation de Fourier, constantes d’équations fonctionnelles et conjecture de Weil, Inst. Hautes Études Sci. Publ. Math. 65 (1987), 131–210.
Mathematical Reviews (MathSciNet): MR908218
Digital Object Identifier: doi:10.1007/BF02698937
[40] B. Leclerc, Algèbres affine quantiques et algèbres amassées, talk at Institut Henri Poincaré, Paris, 2008.
[41] B. Leclerc, Canonical and semicanonical bases, talk at Reims.
[42] G. Lusztig, Affine quivers and canonical bases, Inst. Hautes Études Sci. Publ. Math. 76 (1992), 111–163.
Mathematical Reviews (MathSciNet): MR1215594
Digital Object Identifier: doi:10.1007/BF02699432
[43] G. Lusztig, Introduction to Quantum Groups, Progr. Math. 110, Birkhäuser, Boston, 1993.
Mathematical Reviews (MathSciNet): MR1227098
[44] G. Lusztig, On quiver varieties, Adv. Math. 136 (1998), 141–182.
Mathematical Reviews (MathSciNet): MR1623674
Zentralblatt MATH: 0915.17008
Digital Object Identifier: doi:10.1006/aima.1998.1729
[45] G. Lusztig, Semicanonical bases arising from enveloping algebras, Adv. Math. 151 (2000), 129–139.
Mathematical Reviews (MathSciNet): MR1758244
Zentralblatt MATH: 0983.17009
Digital Object Identifier: doi:10.1006/aima.1999.1873
[46] R. Marsh, M. Reineke, and A. Zelevinsky, Generalized associahedra via quiver representations, Trans. Amer. Math. Soc. 355 (2003), 4171–4186.
Mathematical Reviews (MathSciNet): MR1990581
Zentralblatt MATH: 1042.52007
Digital Object Identifier: doi:10.1090/S0002-9947-03-03320-8
JSTOR: links.jstor.org
[47] H. Nakajima, Instantons on ALE spaces, quiver varieties, and Kac-Moody algebras, Duke Math. J. 76 (1994), 365–416.
Mathematical Reviews (MathSciNet): MR1302318
Zentralblatt MATH: 0826.17026
Digital Object Identifier: doi:10.1215/S0012-7094-94-07613-8
Project Euclid: euclid.dmj/1077286968
[48] H. Nakajima, Quiver varieties and Kac-Moody algebras, Duke Math. J. 91 (1998), 515–560.
Mathematical Reviews (MathSciNet): MR1604167
Digital Object Identifier: doi:10.1215/S0012-7094-98-09120-7
Project Euclid: euclid.dmj/1077232257
[49] H. Nakajima, Quiver varieties and finite-dimensional representations of quantum affine algebras, J. Amer. Math. Soc. 14 (2001), 145–238.
Mathematical Reviews (MathSciNet): MR1808477
Zentralblatt MATH: 0981.17016
Digital Object Identifier: doi:10.1090/S0894-0347-00-00353-2
JSTOR: links.jstor.org
[50] H. Nakajima, Quiver varieties and tensor products, Invent. Math. 146 (2001), 399–449.
Mathematical Reviews (MathSciNet): MR1865400
Zentralblatt MATH: 1023.17008
Digital Object Identifier: doi:10.1007/PL00005810
[51] H. Nakajima, “T-analogue of the q-characters of finite dimensional representations of quantum affine algebras” in Physics and combinatorics, 2000 (Nagoya, Japan), World Sci., River Edge, N.J., 2001, 196–219.
Mathematical Reviews (MathSciNet): MR1872257
Zentralblatt MATH: 1011.17013
Digital Object Identifier: doi:10.1142/9789812810007_0009
[52] H. Nakajima, “Geometric construction of representations of affine algebras” in Proceedings of the International Congress of Mathematicians, Vol. I (Beijing, 2002), Higher Ed., Beijing, 2002, 423–438.
Mathematical Reviews (MathSciNet): MR1989196
Zentralblatt MATH: 1049.17014
[53] H. Nakajima, t-analogs of q-characters of Kirillov-Reshetikhin modules of quantum affine algebras, Represent. Theory 7 (2003), 259–274.
Mathematical Reviews (MathSciNet): MR1993360
Digital Object Identifier: doi:10.1090/S1088-4165-03-00164-X
[54] H. Nakajima, Quiver varieties and t-analogs of q-characters of quantum affine algebras, Ann. of Math. (2) 160 (2004), 1057–1097.
Mathematical Reviews (MathSciNet): MR2144973
Zentralblatt MATH: 1140.17015
Digital Object Identifier: doi:10.4007/annals.2004.160.1057
JSTOR: links.jstor.org
[55] H. Nakajima, “t-analogs of q-characters of quantum affine algebras of type E6, E7, E8,” in Representation Theory of Algebraic Groups and Quantum Groups, Prog. in Math. 284, Birkhäuser, Boston, 2010, 257–272.
Mathematical Reviews (MathSciNet): MR2722968
[56] F. Qin, Quantum cluster variables via Serre polynomials, preprint, arXiv:1004.4171v2 [math.QA]
[57] A. Schofield, General representations of quivers, Proc. London Math. Soc. (3) 65 (1992), 46–64.
Mathematical Reviews (MathSciNet): MR1162487
Zentralblatt MATH: 0795.16008
Digital Object Identifier: doi:10.1112/plms/s3-65.1.46
[58] P. Sherman and A. Zelevinsky, Positivity and canonical bases in rank 2 cluster algebras of finite and affine types, Mosc. Math. J. 4 (2004), no. 4, 947–974.
Mathematical Reviews (MathSciNet): MR2124174
Zentralblatt MATH: 1103.16018
[59] M. Varagnolo and E. Vasserot, “Perverse sheaves and quantum Grothendieck rings” in Studies in Memory of Issai Schur (Chevaleret/Rehovot, Israel, 2000), Progr. Math. 210, Birkhäuser, Boston, 2003, 345–365.
Mathematical Reviews (MathSciNet): MR1985732
Zentralblatt MATH: 1162.17307
Kyoto Journal of Mathematics
