arXiv++ Combinatorics

In previous work, 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 tropicalisations 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. 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 the ring of functions on Y extending to a basis for functions on 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 SL_r, parameterized by a set which each choice of seed identifies with 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.

Given a closed subvariety of an algebraic torus, the associated tropical variety is a polyhedral fan in the space of 1-parameter subgroups of the torus which describes the behaviour of the subvariety at infinity. We show that the link of the origin has only top rational homology if a genericity condition is satisfied. Our result is obtained using work of Tevelev and Deligne's theory of mixed Hodge structures.

The minimal model program suggests a compactification of the moduli space of hyperplane arrangements which is a moduli space of stable pairs. Here, a stable pair consists of a scheme X which is a degeneration of projective space and a divisor D=D_1+..+D_n on X which is a limit of hyperplane arrangements. For example, in the 1-dimensional case, the stable pairs are stable curves of genus 0 with n marked points. Kapranov has defined an alternative compactification using his Chow quotient construction, which may be described fairly explicitly. We prove that these two compactifications coincide. We deduce a description of all stable pairs.