Canonical bases for cluster algebras

Gross, Mark; Hacking, Paul; Keel, Sean; Kontsevich, Maxim

doi:10.1090/jams/890

Canonical bases for cluster algebras
HTML articles powered by AMS MathViewer

by Mark Gross, Paul Hacking, Sean Keel and Maxim Kontsevich

J. Amer. Math. Soc. 31 (2018), 497-608

DOI: https://doi.org/10.1090/jams/890

Published electronically: November 16, 2017

HTML | PDF | Request permission

Abstract:

In an earlier work (Publ. Inst. Hautes Études Sci., 122 (2015), 65–168) the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi–Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combinatorial objects, morally the tropicalizations of holomorphic discs).

Here we prove the conjecture in the case of cluster varieties, where the statement is a more precise form of the Fock–Goncharov dual basis conjecture (Publ. Inst. Hautes Études Sci., 103 (2006), 1–211). In particular, under suitable hypotheses, for each $Y$ the partial compactification of an affine cluster variety $U$ given by allowing some frozen variables to vanish, we obtain canonical bases for $H^0(Y,\mathcal {O}_Y)$ extending to a basis of $H^0(U,\mathcal {O}_U)$. Each choice of seed canonically identifies the parameterizing sets of these bases with integral points in a polyhedral cone. These results specialize to basis results of combinatorial representation theory. For example, by considering the open double Bruhat cell $U$ in the basic affine space $Y,$ we obtain a canonical basis of each irreducible representation of $\operatorname {SL}_r$, parameterized by a set which each choice of seed identifies with the integral points of a lattice polytope. These bases and polytopes are all constructed essentially without representation-theoretic considerations.

Along the way, our methods prove a number of conjectures in cluster theory, including positivity of the Laurent phenomenon for cluster algebras of geometric type.

References

Valery Alexeev and Michel Brion, Toric degenerations of spherical varieties, Selecta Math. (N.S.) 10 (2004), no. 4, 453–478. MR 2134452, DOI 10.1007/s00029-005-0396-8
Denis Auroux, Mirror symmetry and $T$-duality in the complement of an anticanonical divisor, J. Gökova Geom. Topol. GGT 1 (2007), 51–91. MR 2386535
Arkady Berenstein and David Kazhdan, Geometric and unipotent crystals, Geom. Funct. Anal. Special Volume (2000), 188–236. GAFA 2000 (Tel Aviv, 1999). MR 1826254, DOI 10.1007/978-3-0346-0422-2_{8}
Arkady Berenstein and David Kazhdan, Geometric and unipotent crystals. II. From unipotent bicrystals to crystal bases, Quantum groups, Contemp. Math., vol. 433, Amer. Math. Soc., Providence, RI, 2007, pp. 13–88. MR 2349617, DOI 10.1090/conm/433/08321
Arkady Berenstein and Andrei Zelevinsky, Tensor product multiplicities, canonical bases and totally positive varieties, Invent. Math. 143 (2001), no. 1, 77–128. MR 1802793, DOI 10.1007/s002220000102
Arkady Berenstein, Sergey Fomin, and Andrei Zelevinsky, Cluster algebras. III. Upper bounds and double Bruhat cells, Duke Math. J. 126 (2005), no. 1, 1–52. MR 2110627, DOI 10.1215/S0012-7094-04-12611-9
I. N. Bernšteĭn, I. M. Gel′fand, and V. A. Ponomarev, Coxeter functors, and Gabriel’s theorem, Uspehi Mat. Nauk 28 (1973), no. 2(170), 19–33 (Russian). MR 0393065
A. I. Bondal, Helices, representations of quivers and Koszul algebras, Helices and vector bundles, London Math. Soc. Lecture Note Ser., vol. 148, Cambridge Univ. Press, Cambridge, 1990, pp. 75–95. MR 1074784, DOI 10.1017/CBO9780511721526.008
T. Bridgeland, Scattering diagrams, Hall algebras and stability conditions, preprint, 2016.
Thomas Brüstle, Grégoire Dupont, and Matthieu Pérotin, On maximal green sequences, Int. Math. Res. Not. IMRN 16 (2014), 4547–4586. MR 3250044, DOI 10.1093/imrn/rnt075
Philippe Caldero, Toric degenerations of Schubert varieties, Transform. Groups 7 (2002), no. 1, 51–60. MR 1888475, DOI 10.1007/s00031-002-0003-4
Ilke Canakci, Kyungyong Lee, and Ralf Schiffler, On cluster algebras from unpunctured surfaces with one marked point, Proc. Amer. Math. Soc. Ser. B 2 (2015), 35–49. MR 3422667, DOI 10.1090/bproc/21
M. Carl, M. Pumperla, and B. Siebert, A tropical view of Landau-Ginzburg models, available at http://www.math.uni-hamburg.de/home/siebert/preprints/LGtrop.pdf
Giovanni Cerulli Irelli, Bernhard Keller, Daniel Labardini-Fragoso, and Pierre-Guy Plamondon, Linear independence of cluster monomials for skew-symmetric cluster algebras, Compos. Math. 149 (2013), no. 10, 1753–1764. MR 3123308, DOI 10.1112/S0010437X1300732X
Man Wai Cheung, Mark Gross, Greg Muller, Gregg Musiker, Dylan Rupel, Salvatore Stella, and Harold Williams, The greedy basis equals the theta basis: a rank two haiku, J. Combin. Theory Ser. A 145 (2017), 150–171. MR 3551649, DOI 10.1016/j.jcta.2016.08.004
Cheol-Hyun Cho and Yong-Geun Oh, Floer cohomology and disc instantons of Lagrangian torus fibers in Fano toric manifolds, Asian J. Math. 10 (2006), no. 4, 773–814. MR 2282365, DOI 10.4310/AJM.2006.v10.n4.a10
Vladimir Fock and Alexander Goncharov, Moduli spaces of local systems and higher Teichmüller theory, Publ. Math. Inst. Hautes Études Sci. 103 (2006), 1–211. MR 2233852, DOI 10.1007/s10240-006-0039-4
Vladimir V. Fock and Alexander B. Goncharov, Cluster ensembles, quantization and the dilogarithm, Ann. Sci. Éc. Norm. Supér. (4) 42 (2009), no. 6, 865–930 (English, with English and French summaries). MR 2567745, DOI 10.24033/asens.2112
V. Fock and A. Goncharov, Cluster $X$-varieties at infinity, preprint, 2011.
Sergey Fomin, Michael Shapiro, and Dylan Thurston, Cluster algebras and triangulated surfaces. I. Cluster complexes, Acta Math. 201 (2008), no. 1, 83–146. MR 2448067, DOI 10.1007/s11511-008-0030-7
Sergey Fomin and Andrei Zelevinsky, Double Bruhat cells and total positivity, J. Amer. Math. Soc. 12 (1999), no. 2, 335–380. MR 1652878, DOI 10.1090/S0894-0347-99-00295-7
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. I. Foundations, J. Amer. Math. Soc. 15 (2002), no. 2, 497–529. MR 1887642, DOI 10.1090/S0894-0347-01-00385-X
Sergey Fomin and Andrei Zelevinsky, The Laurent phenomenon, Adv. in Appl. Math. 28 (2002), no. 2, 119–144. MR 1888840, DOI 10.1006/aama.2001.0770
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. II. Finite type classification, Invent. Math. 154 (2003), no. 1, 63–121. MR 2004457, DOI 10.1007/s00222-003-0302-y
Sergey Fomin and Andrei Zelevinsky, Cluster algebras. IV. Coefficients, Compos. Math. 143 (2007), no. 1, 112–164. MR 2295199, DOI 10.1112/S0010437X06002521
Christof Geiss, Bernard Leclerc, and Jan Schröer, Partial flag varieties and preprojective algebras, Ann. Inst. Fourier (Grenoble) 58 (2008), no. 3, 825–876 (English, with English and French summaries). MR 2427512, DOI 10.5802/aif.2371
Michael Gekhtman, Michael Shapiro, and Alek Vainshtein, Cluster algebras and Poisson geometry, Mathematical Surveys and Monographs, vol. 167, American Mathematical Society, Providence, RI, 2010. MR 2683456, DOI 10.1090/surv/167
Alexander Goncharov and Linhui Shen, Geometry of canonical bases and mirror symmetry, Invent. Math. 202 (2015), no. 2, 487–633. MR 3418241, DOI 10.1007/s00222-014-0568-2
A. Goncharov and L. Shen, Donaldson-Thomas transformations of moduli spaces of $G$-local systems, preprint 2016, arXiv:1602.06479
Kenneth R. Goodearl and Milen T. Yakimov, Quantum cluster algebras and quantum nilpotent algebras, Proc. Natl. Acad. Sci. USA 111 (2014), no. 27, 9696–9703. MR 3263301, DOI 10.1073/pnas.1313071111
Mark Gross, Mirror symmetry for $\Bbb P^2$ and tropical geometry, Adv. Math. 224 (2010), no. 1, 169–245. MR 2600995, DOI 10.1016/j.aim.2009.11.007
Mark Gross, Tropical geometry and mirror symmetry, CBMS Regional Conference Series in Mathematics, vol. 114, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2011. MR 2722115, DOI 10.1090/cbms/114
Mark Gross, Paul Hacking, and Sean Keel, Mirror symmetry for log Calabi-Yau surfaces I, Publ. Math. Inst. Hautes Études Sci. 122 (2015), 65–168. MR 3415066, DOI 10.1007/s10240-015-0073-1
Mark Gross, Paul Hacking, and Sean Keel, Moduli of surfaces with an anti-canonical cycle, Compos. Math. 151 (2015), no. 2, 265–291. MR 3314827, DOI 10.1112/S0010437X14007611
Mark Gross, Paul Hacking, and Sean Keel, Birational geometry of cluster algebras, Algebr. Geom. 2 (2015), no. 2, 137–175. MR 3350154, DOI 10.14231/AG-2015-007
M. Gross, P. Hacking and S. Keel, Mirror symmetry for log Calabi-Yau surfaces II, in preparation.
M. Gross, P. Hacking, S. Keel, and B. Siebert, Theta functions on varieties with effective anti-canonical class, preprint, 2016.
Mark Gross and Rahul Pandharipande, Quivers, curves, and the tropical vertex, Port. Math. 67 (2010), no. 2, 211–259. MR 2662867, DOI 10.4171/PM/1865
Mark Gross, Rahul Pandharipande, and Bernd Siebert, The tropical vertex, Duke Math. J. 153 (2010), no. 2, 297–362. MR 2667135, DOI 10.1215/00127094-2010-025
Mark Gross and Bernd Siebert, From real affine geometry to complex geometry, Ann. of Math. (2) 174 (2011), no. 3, 1301–1428. MR 2846484, DOI 10.4007/annals.2011.174.3.1
Mark Gross and Bernd Siebert, Theta functions and mirror symmetry, Surveys in differential geometry 2016. Advances in geometry and mathematical physics, Surv. Differ. Geom., vol. 21, Int. Press, Somerville, MA, 2016, pp. 95–138. MR 3525095
Michi-aki Inaba, Katsunori Iwasaki, and Masa-Hiko Saito, Moduli of stable parabolic connections, Riemann-Hilbert correspondence and geometry of Painlevé equation of type VI. I, Publ. Res. Inst. Math. Sci. 42 (2006), no. 4, 987–1089. MR 2289083, DOI 10.2977/prims/1166642194
V. G. Kac, Infinite root systems, representations of graphs and invariant theory, Invent. Math. 56 (1980), no. 1, 57–92. MR 557581, DOI 10.1007/BF01403155
V. G. Kac, Infinite root systems, representations of graphs and invariant theory. II, J. Algebra 78 (1982), no. 1, 141–162. MR 677715, DOI 10.1016/0021-8693(82)90105-3
A. D. King, Moduli of representations of finite-dimensional algebras, Quart. J. Math. Oxford Ser. (2) 45 (1994), no. 180, 515–530. MR 1315461, DOI 10.1093/qmath/45.4.515
Allen Knutson and Terence Tao, The honeycomb model of $\textrm {GL}_n(\textbf {C})$ tensor products. I. Proof of the saturation conjecture, J. Amer. Math. Soc. 12 (1999), no. 4, 1055–1090. MR 1671451, DOI 10.1090/S0894-0347-99-00299-4
Mikhail Kogan and Ezra Miller, Toric degeneration of Schubert varieties and Gelfand-Tsetlin polytopes, Adv. Math. 193 (2005), no. 1, 1–17. MR 2132758, DOI 10.1016/j.aim.2004.03.017
János Kollár, Singularities of the minimal model program, Cambridge Tracts in Mathematics, vol. 200, Cambridge University Press, Cambridge, 2013. With a collaboration of Sándor Kovács. MR 3057950, DOI 10.1017/CBO9781139547895
Maxim Kontsevich and Yan Soibelman, Affine structures and non-Archimedean analytic spaces, The unity of mathematics, Progr. Math., vol. 244, Birkhäuser Boston, Boston, MA, 2006, pp. 321–385. MR 2181810, DOI 10.1007/0-8176-4467-9_{9}
Maxim Kontsevich and Yan Soibelman, Wall-crossing structures in Donaldson-Thomas invariants, integrable systems and mirror symmetry, Homological mirror symmetry and tropical geometry, Lect. Notes Unione Mat. Ital., vol. 15, Springer, Cham, 2014, pp. 197–308. MR 3330788, DOI 10.1007/978-3-319-06514-4_{6}
Kyungyong Lee and Ralf Schiffler, Positivity for cluster algebras, Ann. of Math. (2) 182 (2015), no. 1, 73–125. MR 3374957, DOI 10.4007/annals.2015.182.1.2
Kyungyong Lee, Li Li, and Andrei Zelevinsky, Greedy elements in rank 2 cluster algebras, Selecta Math. (N.S.) 20 (2014), no. 1, 57–82. MR 3147413, DOI 10.1007/s00029-012-0115-1
T. Mandel, Tropical theta functions and cluster varieties, Ph.D. thesis, UT Austin, 2014.
T. Magee, Fock–Goncharov conjecture and polyhedral cones for $U\subset SL_n$ and base affine space $SL_n/U$, preprint, 2015.
T. Magee, GHK mirror symmetry, the Knutson-Tao hive cone, and Littlewood–Richardson coefficients, preprint, 2017.
Jacob P. Matherne and Greg Muller, Computing upper cluster algebras, Int. Math. Res. Not. IMRN 11 (2015), 3121–3149. MR 3373046, DOI 10.1093/imrn/rnu027
Hideyuki Matsumura, Commutative ring theory, 2nd ed., Cambridge Studies in Advanced Mathematics, vol. 8, Cambridge University Press, Cambridge, 1989. Translated from the Japanese by M. Reid. MR 1011461
Greg Muller, The existence of a maximal green sequence is not invariant under quiver mutation, Electron. J. Combin. 23 (2016), no. 2, Paper 2.47, 23. MR 3512669, DOI 10.37236/5412
Tomoki Nakanishi and Andrei Zelevinsky, On tropical dualities in cluster algebras, Algebraic groups and quantum groups, Contemp. Math., vol. 565, Amer. Math. Soc., Providence, RI, 2012, pp. 217–226. MR 2932428, DOI 10.1090/conm/565/11159
Markus Reineke, Poisson automorphisms and quiver moduli, J. Inst. Math. Jussieu 9 (2010), no. 3, 653–667. MR 2650811, DOI 10.1017/S1474748009000176
Markus Reineke, Cohomology of quiver moduli, functional equations, and integrality of Donaldson-Thomas type invariants, Compos. Math. 147 (2011), no. 3, 943–964. MR 2801406, DOI 10.1112/S0010437X1000521X
M. Reineke, Personal communcation, 2014.
Aidan Schofield, General representations of quivers, Proc. London Math. Soc. (3) 65 (1992), no. 1, 46–64. MR 1162487, DOI 10.1112/plms/s3-65.1.46