arXiv++ Combinatorics

We establish formulae for point counts of cluster varieties of cluster algebras of marked surfaces, possibly with punctures. We then establish formulae for the number of non-deep points in these cluster varieties over $\mathbb{F}_2$, which gives us the number of algebraic tori necessary to cover the cluster manifold over $\mathbb{F}_2$. We also show that these formulae satisfy certain recurrence relations.

We relate multiplication formulas for regular modules in coefficient-free acyclic affine cluster algebras with skew-symmetric exchange matrices to the imaginary exchange relations of Reading-Stella. Introducing a parameter $z$ into the construction of Zhou-Zhu, we define a weighted cluster character on cluster tubes that satisfies generalized exchange relations of type $C_{n-1}$ and yields a bijection between indecomposable rigid objects and cluster variables. Using the multiplication formulas and difference property of Ding-Xiao-Xu, we show that non-homogeneous tube embeddings induce injective homomorphisms into ordinary affine cluster algebras under $z\mapsto X_δ$. Comparison with Reading-Stella's relations identifies $X_δ$ with the corresponding theta function, giving a representation-theoretic interpretation of the generalized exchange parameter.

There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and Jørgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all positive rational friezes, with entries encoded by lambda lengths or weight data of triangulated polygons. The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al. that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.

Laurent phenomenon algebras generalise cluster algebras by allowing irreducible exchange polynomials in place of binomials. Lam and Pylyavskyy proved finite type for those arising from graphs and conjectured that the same holds for every Laurent phenomenon algebra admitting a linear seed. We prove this conjecture over an arbitrary unique factorisation domain. Our proof constructs a nonzero element of the upper algebra divisible by every cluster variable. Comparing noninitial cluster variables with the prime factors of this element in the initial Laurent ring bounds the number of cluster variable classes and yields a finite normalised mutation pattern.

We study the quantized $K$-theoretic Coulomb branches of framed star-shaped quivers with central gauge dimension $n\geq2$, $r-1$ one-dimensional outer gauge vertices, and a one-dimensional framing at the central vertex. For $n=2$ and arbitrary $r\geq1$, and for every $n\geq2$ with $1\leq r\leq5$, we prove that the loop-graded Koszul-perverse heart is a monoidal categorification of the associated quantum cluster algebra over $\mathbb{Z}[v^{\pm1}]$. This quantum cluster algebra coincides with its upper quantum cluster algebra. For all $n\geq2$ and $r\geq1$, we construct an explicit initial seed and identify the associated upper quantum cluster algebra with the Grothendieck ring of this heart. Every mutation is realized by a short exact sequence, and every quantum cluster monomial is represented by a simple object.

Laurent phenomenon algebras were introduced by Lam and Pylyavskyy as a generalisation of cluster algebras. For a family associated with directed graphs, they showed that every cluster variable is a Laurent polynomial in the variables of any cluster and conjectured that these expansions have nonnegative coefficients. We prove this conjecture for all directed graphs without loops or multiple edges with respect to an arbitrary seed cluster.

The theory of cluster algebras is closely connected to the theory of total positivity; indeed, the desire to better understand total positivity was one of the main motivations for Fomin and Zelevinsky's introduction of cluster algebras [arXiv:math/0104151]. In particular, any cluster variety whose coordinate ring has a cluster structure has a natural notion of positive part: the subset of the variety where all cluster variables are positive. In this paper, we explain that there are other signed cells contained in cluster varieties that are equally natural from a cluster-theoretic point of view. These come from signed seeds, which can be thought of as a $\mathbb{Z}/2\mathbb{Z}$-grading on cluster variables, and which were introduced in [arXiv:2310.17727] in the context of the amplituhedron. More generally, given any abelian group $G$, we introduce the notion of a $G$-graded seed for a cluster algebra, which is a way of assigning elements of $G$ to each cluster variable which is compatible with the cluster structure. When $G$ is the multiplicative group $\{-1, 1\}$, this recovers the above notion of signed seed; when $G = \mathbb{C}^*$, this recovers the notion of cluster automorphism group [GSV10] or cluster dilation group [arXiv:2603.17890]; and when $G = \mathbb{Z}^d$, this recovers the notion of graded cluster algebra studied by Grabowski-Launois [arXiv:1301.2133], Grabowski [arXiv:1309.6170] and Gekhtman-Shapiro-Vainshtein [GSV10, Section 5.2] (which had previously appeared in special cases in work of Fomin-Zelevinsky [arXiv:math/0602259]). The examples we study include the space of square matrices, symmetric matrices, skew-symmetric matrices, positroid varieties, and amplituhedron tiles. We also connect this notion to tropical mutation when $G = \mathbb{R}$ or $\mathbb{Z}$.

We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $ς$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to non-crossing $ς$-orbits $[γ]$ of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $ς$-invariant triangulations. We establish a formula expressing some cluster variables of $\mathcal{A}$ in terms of those of a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to $\mathcal{A}$, such that non-initial cluster variables correspond to some orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.

Homogeneous coordinate rings of Grassmannians are among the most fundamental instances of cluster algebras arising in ``nature.'' Despite their importance, however, the cluster variables of these cluster algebras are not well-understood, except in special cases. For the Grassmannian of 3-planes in n-space, Fomin and Pylyavskyy conjectured [FP16] that the cluster and frozen variables are exactly the indecomposable, non-elliptic web invariants which are arborizable. They proved that in particular, if an SL3 tensor diagram is a planar tree, its web invariant is a cluster or frozen variable. In this article, we give a new proof of their result for Gr(3, n) planar tree webs, and we generalize the result to Gr(4, n): if an SL4 tensor diagram for Gr(4, n) is a planar tree web, its web invariant is a cluster or frozen variable. Our proof uses some of the cluster quasihomomorphisms from [EZLP+23] and [EZPT+25] (namely, upper promotion and spurion promotion), as well as a new 6-leg pattern map.

We determine the number of positive integral points on $n$-dimensional affine varieties associated to arbitrary $n \times n$ generalized Cartan matrices. An application to the theory of cluster algebras and combinatorics is the resolution of the Fontaine-Plamondon conjecture, which says that there are exactly $4400$ and $26952$ positive integral friezes of type $E_7$ and $E_8$ respectively. An application to number theory is a refinement and generalization of theorems of Mordell, Mohanty, and Schinzel to positive integers and higher dimensions by exhibiting examples of log K3 surfaces $xyz = G(x, y)$ and affine threefolds $xyzw = G(x, y, z)$ of every degree greater than $3$ with infinitely many positive integral solutions.

We prove Laurent positivity for skew-symmetrizable quantum cluster algebras of rank three, with arbitrary integral compatible quantizations and invertible frozen variables. The proof uses mutation-acyclic positivity from a companion manuscript.

In a cluster algebra, a subset of initial cluster variables can be specialised in such a way that all elements of the resulting algebra become polynomial in the remaining variables. This allows obtaining any tame integral frieze pattern of type $A_n$ by specialisation of initial cluster variables, including specialisation to zero.

We introduce posets of type $\mathbb{D}$, a family of posets described by an admissible Dynkin quiver of type $D_n$ together with a compatible set of extra arrows (alien arrows), and show that their socle-projective representation category is of finite representation type. Continuing, in the same spirit, a program initiated for posets of type $\mathbb{A}$ [R. Schiffler, R-J. Serna, A geometric realization of socle-projective categories for posets of type $\mathbb{A}$, J. Pure Appl. Algebra 224 (2020), no. 12, 106436], we build on an existing geometric model for cluster-tilted algebras of type $D_n$, whose geometric combinatorics is more intricate than that of type $\mathbb{A}$. Our main result establishes a $\Bbbk$-linear categorical equivalence $Θ$ between a full subcategory $(\mathcal C/T)_F$ of the arc category of a punctured $(n+3)$-gon, whose objects are certain $sp$-arcs, and the category of finitely generated socle-projective $\Bbbk\mathscr{P}$-modules, for $\mathscr{P}$ a poset of type $\mathbb{D}$. As a consequence, when the set of alien arrows is empty, we conclude that the cluster subalgebra generated by the $sp$-arcs coincides with the full cluster algebra.

The $F$-invariant in cluster algebras is a combinatorial invariant that unifies the $E$-invariant from additive categorification and the $\mathfrak{d}$-invariant from monoidal categorification. In this paper, we study its refinement, the partial $F$-invariant, and establish its mutation formula under changes of the initial seed. As an application, we prove a conjecture of Reading, which asserts that the non-compatible cluster variables can be separated by sign-coherence of $g$-vectors upon varying the initial seed. We further show that, for cluster monomials, the partial $F$-invariants coincide with both the partial $E$-invariants for reachable decorated representations of quivers with potentials and the pole orders of normalized $R$-matrices (or partial $\mathfrak{d}$-invariants) for finite-dimensional reachable simple modules over quantum affine algebras. As consequences, we obtain a combinatorial formula for the pole orders for reachable simple modules in terms of $q$-characters; we verify the conjectural explicit formula for the pole orders between Kirillov--Reshetikhin modules.

We introduce the class of star cluster algebras and classify their singularities. Then we focus on the combinatorial structure of the desingularization by determining the number of irreducible centers that are blown up.

In this article, we construct noncommutative cluster varieties, $\mathcal{A}_{R,S}$, for each reduced root system $R$ and marked surface $S$ simultaneously generalizing the cluster varieties of Fock-Goncharov, Li, Goncharov-Shen, Berenstein-Retakh, Goncharov-Kontsevich, and our previously introduced polygonal cluster algebras. Additionally, we define a large class of algebraic groups, we call Jordan split groups. Given a reduced root system $R$ and a family of Jordan algebras, the Lie algebra for $G$ is constructed by unifying the Tits-Kantor-Koecher construction for a single Jordan algebra with the construction of a split Lie algebra. The notion of Jordan split groups is closely related to a grading of its Lie algebra by the root system $R$. We show that these gradings are usually induced by a choice of standard parabolic subalgebra $\mathfrak{p}_Θ$ and we classify $R$-graded pairs $(G,Θ)$ via a condition depending only on the subset $Θ\subset Δ$ of the set of simple roots. Next, we define Jordan algebra points of $\mathcal{A}_{R,S}$ which parameterize $G$-local systems on $S$ with boundary decoration related to cosets $G/U_Θ$ when $G$ is Jordan split of type $R$. When $S$ is a disk, points of $\mathcal{A}_{R,S}$ parameterize configurations of decorated flags. We use this to give noncommutative cluster structures on the double $R$-Bruhat cells of $G$, generalizing the cluster algebras of Berenstein-Fomin-Zelevinsky. When each Jordan algebra is formally real, we say that $G$ has a positive structure with respect to $Θ$. This defines a positive semigroup in $G$. For real algebraic groups, the pairs $(G,Θ)$ which have positive structures are exactly those which admit a positive structure as defined by Guichard-Wienhard and we give algebraic proofs of many of the properties of positive configurations of flags and of positive representations.

Cluster varieties contain the union of cluster tori and the points not in this union are called $\textit{deep points}$, and the locus of these points is called the $\textit{deep locus}$. In arXiv:2402.16970, a description of this locus is conjectured for locally acyclic cluster algebras, in particular, stating that this should be the stabilizer locus of the cluster automorphism group. We resolve this conjecture for the case of cluster algebras arising from surfaces, introduced in arXiv:math/0608367, and the remaining finite type cases as categorized in arXiv:math/0208229. In particular, we show locally acyclic surface type cluster varieties have no deep points not contained in the stabilizer locus, and finite type cluster algebras also have no deep points not contained in the stabilizer locus, validating the mysterious points conjecture in these cases.

Let $\Bbbk$ be an algebraically closed field of characteristic zero, let $V=\Bbbk^\ell$ and $W=\Bbbk^m$, and set \[ \mathcal R_{\ell,m}=\operatorname{Sym}(\operatorname{Sym}^2V\otimes W)^{U_V}. \] We construct an explicit skew-symmetrizable seed $Σ_{\ell,m}$ by restricting and folding the determinantal seed for the flagged $m$-arrow Kronecker quiver. For every $\ell,m\ge2$, we have \[ \mathcal R_{\ell,m}=\mathcal U(Σ_{\ell,m}), \] with polynomial frozen coefficients, and $Σ_{\ell,m}$ admits a reddening sequence. The theta basis extends across the frozen boundary exactly for parameters in a rational polyhedral cone $\mathscr C_{\ell,m}$. Its weight fibers count the multigraded highest-weight multiplicities of $\mathcal R_{\ell,m}$, and the Jacobi--Trudi identity expresses symmetric-square plethysm coefficients as finite alternating sums of these counts. Optimized frozens give an explicit finite system of inequalities for $\mathscr C_{\ell,m}$.

Neighboring seeds in a cluster algebra of affine type are seeds that are as close as possible to the boundary of the g-vector fan. This short note highlights the characterization of neighboring seeds given in a recent paper of Reading, Rupel, and Stella and applies that characterization in two ways. We prove a conjecture on the construction of universal geometric cluster algebras of affine type. We also characterize extended exchange matrices of affine type that are mutation-finite.

We study the triple-invariant algebra \[ \Bbbk[\Bbbk^3\otimes\Bbbk^2\otimes\Bbbk^2]^{U_3\times U_2\times U_2}. \] A quotient slice and the induced logarithmic top form determine a signed Markov chart, realized as the fiber $ζ=-1$ of an ordinary cluster family. We prove \[ \mathscr U_{\mathrm{gen}}=\mathcal M_u[u_Δ], \] where $\mathcal M_u$ is a specialized middle cluster algebra and $u_Δ$ is the discriminant of weight $(220;22;22)$. Its theta cone has a sixteen-element Hilbert basis. Pairing its positive- and negative-degree generators reduces each triple-weight space to a single discriminant level determined by the weight. Counting the resulting two-dimensional slice gives an explicit nonnegative finite-sum formula. Determinant reduction extends the formula to all $n\times2\times2$ Kronecker coefficients.