arXiv++ Combinatorics

Affine cluster varieties are covered up to codimension 2 by open algebraic tori. We put forth a general conjecture (based on earlier conversation between Vivek Shende and the last author) characterizing their deep locus, i.e. the complement of all cluster charts, as the locus of points with non-trivial stabilizer under the action of cluster automorphisms. We use the diagrammatics of Demazure weaves to verify the conjecture for skew-symmetric cluster varieties of finite cluster type with arbitrary choice of frozens and for the top open positroid strata of Grassmannians $\mathrm{Gr}(2,n)$ and $\mathrm{Gr}(3,n)$. We illustrate how this already has applications in symplectic topology and mirror symmetry, by proving that the Fukaya category of Grassmannians $\mathrm{Gr}(2,2n+1)$ is split-generated by finitely many Lagrangian tori, and homological mirror symmetry holds with a Landau--Ginzburg model proposed by Rietsch. Finally, we study the geometry of the deep locus, and find that it can be singular and have several irreducible components of different dimensions, but they all are again cluster varieties in our examples in really full rank cases.

The amplituhedron is a mathematical object which was introduced to provide a geometric origin of scattering amplitudes in $\mathcal{N}=4$ super Yang Mills theory. It generalizes \emph{cyclic polytopes} and the \emph{positive Grassmannian}, and has a very rich combinatorics with connections to cluster algebras. In this article we provide a series of results about tiles and tilings of the $m=4$ amplituhedron. Firstly, we provide a full characterization of facets of BCFW tiles in terms of cluster variables for $\mbox{Gr}_{4,n}$. Secondly, we exhibit a tiling of the $m=4$ amplituhedron which involves a tile which does not come from the BCFW recurrence -- the \emph{spurion} tile, which also satisfies all cluster properties. Finally, strengthening the connection with cluster algebras, we show that each standard BCFW tile is the positive part of a cluster variety, which allows us to compute the canonical form of each such tile explicitly in terms of cluster variables for $\mbox{Gr}_{4,n}$. This paper is a companion to our previous paper ``Cluster algebras and tilings for the $m=4$ amplituhedron''.

We describe the upper seminormal crystal structure for the $μ$-supported $δ$-vectors for any quiver with potential with reachable frozen vertices, or equivalently for the tropical points of the corresponding cluster $\mc{X}$-variety. We show that the crystal structure can be algebraically lifted to the generic basis of the upper cluster algebra. This can be viewed as an additive categorification of the crystal structure arising from cluster algebras. We introduce the biperfect bases in the cluster algebra setting and give a description of all biperfect bases, which are parametrized by lattice points in a product of polyhedral sets. We illustrate this theory from classical examples and new examples.

We show that braid varieties for any complex simple algebraic group $G$ are cluster varieties. This includes open Richardson varieties inside the flag variety $G/B$.

We interpret the Landau-Ginzburg potentials associated to Gross-Hacking-Keel-Kontsevich's partial compactifications of cluster varieties as F-polynomials of projective representations of Jacobian algebras. Along the way, we show that both the projective and the injective representations of Jacobi-finite quivers with potential are well-behaved under Derksen-Weyman-Zelevinsky's mutations of representations.

We introduce a cluster algebraic generalization of Thurston's earthquake map for the cluster algebras of finite type, which we call the \emph{cluster earthquake map}. It is defined by gluing exponential maps, which is modeled after the earthquakes along ideal arcs. We prove an analogue of the earthquake theorem, which states that the cluster earthquake map gives a homeomorphism between the spaces of $\mathbb{R}^\mathrm{trop}$- and $\mathbb{R}_{>0}$-valued points of the cluster $\mathcal{X}$-variety. For those of type $A_n$ and $D_n$, the cluster earthquake map indeed recovers the earthquake maps for marked disks and once-punctured marked disks, respectively. Moreover, we investigate certain asymptotic behaviors of the cluster earthquake map, which give rise to "continuous deformations" of the Fock--Goncharov fan.

In previous work, we initiated the study of the cohomology of locally acyclic cluster varieties. In the present work, we show that the mixed Hodge structure and point counts of acyclic cluster varieties are essentially determined by the combinatorics of the independent sets of the quiver. We use this to show that the mixed Hodge numbers of acyclic cluster varieties of really full rank satisfy a strong vanishing condition.

We construct special Lagrangian fibrations for log Calabi-Yau surfaces, and scattering diagrams from Lagrangian Floer theory of the fibres. Then we prove that the scattering diagrams recover the scattering diagrams of Gross-Pandharipande-Siebert and the canonical scattering diagrams of Gross-Hacking-Keel. With an additional assumption on the non-negativity of boundary divisors, we compute the disc potentials of the Lagrangian torus fibres via a holomorphic/tropical correspondence. As an application, we provide a version of mirror symmetry for rank two cluster varieties.

We give a construction of generalized cluster varieties and generalized cluster scattering diagrams for reciprocal generalized cluster algebras, the latter of which were defined by Chekhov and Shapiro. These constructions are analogous to the structures given for ordinary cluster algebras in the work of Gross, Hacking, Keel, and Kontsevich. As a consequence of these constructions, we are also able to construct theta functions for generalized cluster algebras, again in the reciprocal case, and demonstrate a number of their structural properties.

We study defining inequalities of string cones via a potential function on a reduced double Bruhat cell. We give a necessary criterion for the potential function to provide a minimal set of inequalities via tropicalization and conjecture an equivalence.

We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every root of unity upper quantum cluster algebra is a maximal order and obtain an explicit formula for its reduced trace. Under mild assumptions, inside each such algebra we construct a canonical central subalgebra isomorphic to the underlying upper cluster algebra, such that the pair is a Cayley-Hamilton algebra; its fully Azumaya locus is shown to contain a copy of the underlying cluster $\mathcal{A}$-variety. Both results are proved in the wider generality of intersections of mixed quantum tori over subcollections of seeds. Furthermore, we prove that all monomial subalgebras of root of unity quantum tori are Cayley-Hamilton algebras and classify those ones that are maximal orders. Arbitrary intersections of those over subsets of seeds are also proved to be Cayley-Hamilton algebras. Previous approaches to constructing maximal orders relied on filtration and homological methods. We use new methods based on cluster algebras.

We relate the mixed Hodge structure on the cohomology of open positroid varieties (in particular, their Betti numbers over $\mathbb{C}$ and point counts over $\mathbb{F}_q$) to Khovanov--Rozansky homology of associated links. We deduce that the mixed Hodge polynomials of top-dimensional open positroid varieties are given by rational $q,t$-Catalan numbers. Via the curious Lefschetz property of cluster varieties, this implies the $q,t$-symmetry and unimodality properties of rational $q,t$-Catalan numbers. We show that the $q,t$-symmetry phenomenon is a manifestation of Koszul duality for category $\mathcal{O}$, and discuss relations with open Richardson varieties and extension groups of Verma modules.

We give a cluster algebraic description of the reduction procedure of mapping classes along a multicurve. Based on this description, we characterize pseudo-Anosov mapping classes on a general marked surface in terms of a weaker version of the uniform sign stability, generalizing the main result in the previous paper [IK20]. Moreover we axiomatize a general reduction procedure of mutation loops parametrized by a rational polyhedral cone in the tropical cluster $\mathcal{X}$-variety, which includes both the reduction along a multicurve and the cluster reduction introduced in [Ish19].

Fock and Goncharov described a quantization of cluster $\mathcal{X}$-varieties (also known as cluster Poisson varieties) in [FG09]. Meanwhile, families of deformations of cluster $\mathcal{X}$-varieties were introduced in [BFMNC18]. In this paper we show that the two constructions are compatible -- we extend the Fock-Goncharov quantization of $\mathcal{X}$-varieties to the families of [BFMNC18]. As a corollary, we obtain that these families and each of their fibers have Poisson structures. We relate this construction to the Berenstein-Zelevinsky quantization of $\mathcal{A}$-varieties ([BZ05]). Finally, inspired by the counter-example to quantum positivity of the quantum greedy basis in [LLRZ14], we compute a counter-example to quantum positivity of the quantum theta basis.

We give an explicit subword complex description of the generators of the type cone of the g-vector fan of a finite type cluster algebra with acyclic initial seed. This yields in particular a description of the Newton polytopes of the F-polynomials in terms of subword complexes as conjectured by S. Brodsky and the third author. We then show that the cluster complex is combinatorially isomorphic to the totally positive part of the tropicalization of the cluster variety as conjectured by D. Speyer and L. Williams.

In [GHKK18], Gross-Hacking-Keel-Kontsevich discuss compactifications of cluster varieties from "positive subsets" in the real tropicalization of the mirror. To be more precise, let $\mathfrak{D}$ be the scattering diagram of a cluster variety $V$ (of either type -- $\mathcal{A}$ or $\mathcal{X}$), and let $S$ be a closed subset of $\left(V^\vee\right)^{\text{trop}}(\mathbb{R})$ -- the ambient space of $\mathfrak{D}$. The set $S$ is positive if the theta functions corresponding to the integral points of $S$ and its $\mathbb{N}$-dilations define an $\mathbb{N}$-graded subalgebra of $Γ(V, \mathcal{O}_V)[x]$. In particular, a positive set $S$ defines a compactification of $V$ through a Proj construction applied to the corresponding $\mathbb{N}$-graded algebra. In this paper we give a natural convexity notion for subsets of $\mathfrak{D}$, called "broken line convexity", and show that a set is positive if and only if it is broken line convex. The combinatorial criterion of broken line convexity provides a tractable way to construct positive subsets of $\mathfrak{D}$, or to check positivity of a given subset.

We introduce the notion of a $Y$-pattern with coefficients and its geometric counterpart: a cluster $\mathcal{X}$-variety with coefficients. We use these constructions to build a flat degeneration of every skew-symmetrizable specially completed cluster $\mathcal{X}$-variety $\widehat{\mathcal{X}}$ to the toric variety associated to its $\mathbf{g}$-fan. Moreover, we show that the fibers of this family are stratified in a natural way, with strata the specially completed $\mathcal{X}$-varieties encoded by $\mathrm{Star}(τ)$ for each cone $τ$ of the $\mathbf{g}$-fan. These strata degenerate to the associated toric strata of the central fiber. We further show that the family is cluster dual to $\mathcal{A}_{\mathrm{prin}}$ of Gross-Hacking-Keel-Kontsevich, and the fibers cluster dual to $\mathcal{A}_t$. Finally, we give two applications. First, we use our construction to identify the Rietsch-Williams toric degeneration of Grassmannians with the Gross-Hacking-Keel-Kontsevich degeneration in the case of $\mathrm{Gr}_2(\mathbb{C}^5)$. Next, we use it to link cluster duality to Batyrev-Borisov duality of Gorenstein toric Fanos in the context of mirror symmetry.

We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{X} = Gr_k((\mathbb C^n)^*)$, and the superpotential W_q has a simple expression in terms of Plücker coordinates. Grassmannians simultaneously have the structure of an $\mathcal{A}$-cluster variety and an $\mathcal{X}$-cluster variety. Given a cluster seed G, we consider two associated coordinate systems: a $\mathcal X$-cluster chart $Φ_G:(\mathbb C^*)^{k(n-k)}\to X^{\circ}$ and a $\mathcal A$-cluster chart $Φ_G^{\vee}:(\mathbb C^*)^{k(n-k)}\to \check{X}^\circ$. To each $\mathcal X$-cluster chart $Φ_G$ and ample `boundary divisor' $D$ in $X\setminus X^{\circ}$, we associate a Newton-Okounkov body $Δ_G(D)$ in $\mathbb R^{k(n-k)}$, which is defined as the convex hull of rational points. On the other hand using the $\mathcal A$-cluster chart $Φ_G^{\vee}$ on the mirror side, we obtain a set of rational polytopes, described by inequalities, by writing the superpotential $W_q$ in the $\mathcal A$-cluster coordinates, and then "tropicalising". Our main result is that the Newton-Okounkov bodies $Δ_G(D)$ and the polytopes obtained by tropicalisation coincide. As an application, we construct degenerations of the Grassmannian to toric varieties corresponding to these Newton-Okounkov bodies. Additionally, when $G$ corresponds to a plabic graph, we give a formula for the lattice points of the Newton-Okounkov bodies, which has an interpretation in terms of quantum Schubert calculus.

I prove that the full Fock-Goncharov conjecture holds for $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$-- the configuration space of triples of decorated flags in generic position. As a key ingredient of this proof, I exhibit a maximal green sequence for the quiver of the initial seed. I compute the Landau-Ginzburg potential $W$ on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee$ associated to the partial minimal model $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell}) \subset \mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$. The integral points of the associated "cone" ${Ξ:=\left\{W^T \geq 0\right\} \subset \mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})^\vee\left({\mathbb{R}^T}\right)}$ parametrize a basis for $\mathcal{O}\left(\mathrm{Conf}_3(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})\right) = \bigoplus \left(V_α\otimes V_β\otimes V_γ\right)^G$ and encode the Littlewood-Richardson coefficients $c^γ_{αβ}$. In the initial seed, the inequalities defining $Ξ$ are exactly Zelevinsky's tail positivity conditions. I exhibit a unimodular $p^*$ map that identifies $W$ with the potential of Goncharov-Shen on $\mathrm{Conf}_3^\times(\widetilde{\mathcal{F}\hspace{-1.6pt}\ell})$ and $Ξ$ with the Knutson-Tao hive cone.

We study the combinatorics of pseudoline arrangements and their relation to the geometry of flag and Schubert varieties. We associate to each pseudoline arrangement two polyhedral cones, defined in a dual manner. We prove that one of them is the weighted string cone by Littelmann and Berenstein-Zelevinsky. For the other we show how it arises in the framework of cluster varieties and mirror symmetry by Gross-Hacking-Keel-Kontsevich: for the flag variety the cone is the tropicalization of their superpotential while for Schubert varieties a restriction of the superpotential is necessary. We prove that the two cones are unimodularly equivalent. As a corollary of our combinatorial result we realize Caldero's toric degenerations of Schubert varieties as GHKK-degeneration using cluster theory.