Remote Access Journal of the American Mathematical Society
Green Open Access

Journal of the American Mathematical Society

ISSN 1088-6834(online) ISSN 0894-0347(print)



Canonical bases for cluster algebras

Authors: Mark Gross, Paul Hacking, Sean Keel and Maxim Kontsevich
Journal: J. Amer. Math. Soc. 31 (2018), 497-608
MSC (2010): Primary 13F60; Secondary 14J33
Published electronically: November 16, 2017
Full-text PDF
View in AMS MathViewer New

Abstract | References | Similar Articles | Additional Information

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 [Enhancements On Off] (What's this?)

Similar Articles

Retrieve articles in Journal of the American Mathematical Society with MSC (2010): 13F60, 14J33

Retrieve articles in all journals with MSC (2010): 13F60, 14J33

Additional Information

Mark Gross
Affiliation: DPMMS, Centre for Mathematical Sciences, Wilberforce Road, Cambridge, CB3 0WB, United Kingdom

Paul Hacking
Affiliation: Department of Mathematics and Statistics, Lederle Graduate Research Tower, University of Massachusetts, Amherst, Massachusetts 01003-9305

Sean Keel
Affiliation: Department of Mathematics, 1 University Station C1200, Austin, Texas 78712-0257

Maxim Kontsevich
Affiliation: IHÉS, Le Bois-Marie 35, route de Chartres, 91440 Bures-sur-Yvette, France

Received by editor(s): November 7, 2014
Received by editor(s) in revised form: October 28, 2016, and September 4, 2017
Published electronically: November 16, 2017
Additional Notes: The first author was partially supported by NSF grant DMS-1262531 and a Royal Society Wolfson Research Merit Award, the second by NSF grants DMS-1201439 and DMS-1601065, and the third by NSF grant DMS-0854747. Some of the research was conducted when the first and third authors visited the fourth at I.H.E.S. during the summers of 2012 and 2013.
Article copyright: © Copyright 2017 American Mathematical Society

American Mathematical Society