Fock-Goncharov conjecture and polyhedral cones for U⊂SLn and base affine space SLn/U
I prove several conjectures of \cite{GHKK} on the cluster structure of SLn, which in particular imply the full Fock-Goncharov conjecture for the open double Bruhat cell A⊂SLn/U, for U⊂SLn a maximal unipotent subgroup. This endows the mirror cluster variety X with a canonical potential function W, and determines a canonical cone WT≥0⊂X(RT) of the mirror tropical space, whose integer points parametrize a basis of H0(SLn/U,OSLn/U), canonically determined by the open subset A⊂SLn/U. Each choice of seed identifies X(RT) with a real vector space, and WT≥0 with a system of linear equations with integer coefficients, cutting out a polyhedral cone. We obtain in this way (generally) infinitely many parameterizations of the canonical basis as integer points of a polyhedral cone. For the usual initial seed of the double Bruhat cell, we recover the parametrizations of Berenstein-Kazhdan\cite{BKaz,BKaz2} and Berenstein-Zelevinsky\cite{BZ96} by integer points of the Gelfand-Tsetlin cone.