arXiv++ Combinatorics

We consider the mutation invariants of cluster algebras of rank 2. We characterize the mutation invariants of finite type. Two examples are provided for the affine type and we prove the non-existence of Laurent mutation invariants of non-affine type. As an application, a class of Diophantine equations encoded with cluster algebras are studied.

Paquette and Yıldırım recently introduced triangulated categories of arcs in completed infinity-gons, which are discs with an infinite closed set of marked points on their boundary. These categories have many features in common with the cluster categories associated to discs with different sets of marked points. In particular, they have (weak) cluster-tilting subcategories, which Paquette and Yıldırım show are in bijection with very special triangulations of the disc. This is in contrast to Igusa and Todorov's earlier work in the uncompleted case, in which every triangulation corresponds to a weak cluster-tilting subcategory. In this paper, we replace the triangulated structure of Paquette and Yıldırım's category by an extriangulated substructure and prove that, with this structure, the weak cluster-tilting subcategories are once again in bijection with triangulations. We further show that functorial finiteness of a weak cluster-tilting subcategory is equivalent to a very mild condition on the triangulation, which also appears in Çanakçı and Felikson's study of infinite rank cluster algebras from Teichmüller theory. By comparison with the combinatorics of triangulations, we are also able to characterise when weak cluster-tilting subcategories can be mutated in this new extriangulated category.

Based on the construction of polytope functions and several results about them in [LP], we take a deep look on their mutation behaviors to find a link between a face of a polytope and a sub-cluster algebra of the corresponding cluster algebra. This find provides a way to induce a mutation sequence in a sub-cluster algebra from that in the cluster algebra in totally sign-skew-symmetric case analogous to that achieved via cluster scattering diagram in skew-symmetrizable case by [GHKK] and [M]. With this, we are able to generalize compatibility degree in [CL] and then obtain an equivalent condition of compatibility which does not rely on clusters and thus can be generalized for all polytope functions. Therefore, we could regard compatibility as an intrinsic property of variables, which explains the unistructurality of cluster algebras. According to such cluster structure of polytope functions, we construct a fan $\mathcal{C}$ containing all cones in the $g$-fan. On the other hand, we also find a realization of $G$-matrices and $C$-matrices in polytopes by the mutation behaviors of polytopes, which helps to generalize the dualities between $G$-matrices and $C$-matrices introduced in [NZ] and leads to another polytope explanation of cluster structures. This allows us to construct another fan $\mathcal{N}$ which also contains all cones in the $g$-fan.

Frieze patterns have attracted significant attention recently, motivated by their relationship with cluster algebras. A longstanding open problem has been to provide a combinatorial model for frieze patterns over the ring of integers modulo $n$ akin to Conway and Coxeter's celebrated model for positive integer frieze patterns. Here we solve this problem using the Farey complex of the ring of integers modulo $n$; in fact, using more general Farey complexes we provide combinatorial models for frieze patterns over any rings whatsoever. Our strategy generalises that of the first author and of Morier-Genoud et al. for integers and that of Felikson et al. for Eisenstein integers. We also generalise results of Singerman and Strudwick on diameters of Farey graphs, we recover a theorem of Morier-Genoud on enumerating friezes over finite fields, and we classify those frieze patterns modulo $n$ that lift to frieze patterns over the integers in terms of the topology of the corresponding Farey complexes.

Graph LP algebras are a generalization of cluster algebras introduced by Lam and Pylyavskyy. We provide a combinatorial proof of positivity for certain cluster variables in these algebras. This proof uses a hypergraph generalization of snake graphs, a class of planar graphs which were used by Musiker, Schiffler, and Williams to prove positivity for cluster algebras from surfaces. These results extend those given in our previous paper, where we used a related combinatorial object known as a $T$-path.

We give a short and elementary proof that every Dynkin diagram admits finitely many (positive integral) friezes. This was originally proven by Gunawan-Muller using the geometry of cluster algebras. The proof here provides an explicit (albeit inefficient) bound on values.

We study cluster algebra of affine type $A_1^{(1)}$ by using two methods including counting the numbers of perfect matchings on snake graphs and compatible pairs on maximal Dyck paths. We find that the sum of coefficients of the terms in the Laurent polynomials of these cluster variables are odd-indexed Fibonacci numbers. In addition, we prove that the numbers of non-decreasing Dyck paths of even lengths are also odd-indexed Fibonacci numbers. As a consequence, we define explicit bijective correspondences among three combinatorial models, including perfect matchings on the snake graph, compatible pairs on the maximal Dyck path, and non-decreasing Dyck paths of even lengths.

We prove a simple formula for arbitrary cluster variables in the marked surfaces model. As part of the formula, we associate a labeled poset to each tagged arc, such that the associated $F$-polynomial is a weighted sum of order ideals. Each element of the poset has a weight, and the weight of an ideal is the product of the weights of the elements of the ideal. In the unpunctured case, the weight on each element is a single $\hat{y}_i$, in the usual sense of principal coefficients. In the presence of punctures, some elements may have weights of the form $\hat{y}_i/\hat{y}_j$. Our search for such a formula was inspired by the Fundamental Theorem of Finite Distributive Lattices combined with work of Gregg Musiker, Ralf Schiffler, and Lauren Williams that, in some cases, organized the terms of the $F$-polynomial into a distributive lattice. The proof consists of a simple and poset-theoretically natural argument in a special case, followed by a hyperbolic geometry argument using a cover of the surface to prove the general case.

Motivated by cluster ensembles, we introduce a new variant of frieze patterns associated to acyclic cluster algebras, which we call ${\bf Y}\textit{-frieze patterns}$. Using the mutation rules for ${\bf Y}$-variables, we define a large class of ${\bf Y}$-frieze patterns called $\textit{unitary }{\bf Y}\textit{-frieze patterns}$, and show that the ensemble map induces a map from (unitary) frieze patterns to (unitary) ${\bf Y}$-frieze patterns. In rank 2, we show that ${\bf Y}$-frieze patterns are (associated to) friezes of generalised cluster algebras. In finite type (not necessarily rank 2), we show that ${\bf Y}$-frieze patterns share the same symmetries as frieze patterns, and prove that their number is finite.

The amplituhedron $A_{n,k,m}(Z)$ is the image of the positive Grassmannian $Gr_{k,n}^{\geq 0}$ under the map ${Z}: Gr_{k,n}^{\geq 0} \to Gr_{k,k+m}$ induced by a positive linear map $Z:\mathbb{R}^n \to \mathbb{R}^{k+m}$. Motivated by a question of Hodges, Arkani-Hamed and Trnka introduced the amplituhedron as a geometric object whose tilings conjecturally encode the BCFW recursion for computing scattering amplitudes. More specifically, the expectation was that one can compute scattering amplitudes in ${N}=4$ SYM by tiling the $m=4$ amplituhedron $A_{n,k,4}(Z)$ - that is, decomposing the amplituhedron into `tiles' (closures of images of $4k$-dimensional cells of $Gr_{k,n}^{\geq 0}$ on which ${Z}$ is injective) - and summing the `volumes' of the tiles. In this article we prove two major conjectures about the $m=4$ amplituhedron: $i)$ the BCFW tiling conjecture, which says that any way of iterating the BCFW recurrence gives rise to a tiling of the amplituhedron $A_{n,k,4}(Z)$; $ii)$ the cluster adjacency conjecture for BCFW tiles, which says that facets of tiles are cut out by collections of compatible cluster variables for $Gr_{4,n}$. Moreover, we show that each BCFW tile is the subset of $Gr_{k, k+4}$ where certain cluster variables have particular signs. Along the way, we construct many explicit seeds for $Gr_{4,n}$ comprised of high-degree cluster variables, which may be of independent interest in the study of cluster algebras.

Generalized cluster algebras from orbifolds were defined by Chekhov and Shapiro to give a combinatorial description of their Teichmüller spaces. One can also assign a gentle algebra to a triangulated orbifold, as in the work of Labardini-Fragoso and Mou. In this work, we show that the Caldero-Chapoton map and the snake graph expansion map agree for arcs in triangulated orbifolds and arc modules, and similarly for closed curves and certain band modules. As a consequence, we have a bijection between some indecomposable modules over a gentle algebra and cluster variables in a generalized cluster algebra where both algebras arise from the same triangulated orbifold.

In this exposition, we compute the hilbert series of the coordinate ring of some highest weight varieties. We also explain why Narayana numbers (and their generalizations) appear naturally in the numerator of the hilbert series of the coordinate ring of complex grassmanian Gr(d,n+d+1) and of the minimal nilpotent adjoint orbit in sl_n(C). These calculations might be related to some cluster algebra structures.

We show that the partial sums of the long Plücker relations for pairs of weakly separated Plücker coordinates oscillate around $0$ on the totally nonnegative part of the Grassmannian. Our result generalizes the classical oscillating inequalities by Gantmacher--Krein (1941) and recent results on totally nonnegative matrix inequalities by Fallat--Vishwakarma (2023). In fact we obtain a characterization of weak separability, by showing that no other pair of Plücker coordinates satisfies this property. Weakly separated sets were initially introduced by Leclerc and Zelevinsky and are closely connected with the cluster algebra of the Grassmannian. Moreover, our work connects several fundamental objects such as weak separability, Temperley--Lieb immanants, and Plücker relations, and provides a very general and natural class of additive determinantal inequalities on the totally nonnegative part of the Grassmannian.

We prove that for any possibly-punctured surface with non-empty boundary $\mathbfΣ=(Σ, \mathbb{M}, \mathbb{P})$, and any tagged triangulation $T$ of $\mathbfΣ$ in the sense of Fomin--Shapiro--Thurston, the coefficient-free bangle functions of Musiker--Schiffler--Williams coincide with the coefficient-free generic Caldero--Chapoton functions arising from the Jacobian algebra of the quiver with potential $(Q(T), W(T))$ associated to $T$ by Cerulli Irelli and the second author. When the set of boundary marked points $\mathbb{M}$ has at least two elements, Schröer and the first two authors have shown, relying heavily on results of Mills, Muller and Qin, that the generic coefficient-free Caldero-Chapoton functions form a basis of the coefficient-free (upper) cluster algebra $\mathcal{A}(\mathbfΣ)=\mathcal{U}(\mathbfΣ)$. So, the set of bangle functions proposed by Musiker--Schiffler--Williams over ten years ago is indeed a basis.

A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.

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.

This is a survey article on some connections between cluster algebras and link invariants, written for the Notices of the AMS.

By work of a number of authors, beginning with Scott and culminating with Galashin and Lam, the coordinate rings of positroid varieties in the Grassmannian carry cluster algebra structures. In fact, they typically carry many such structures, the two best understood being the source-labelled and target-labelled structures, referring to how the initial cluster is computed from a Postnikov diagram or plabic graph. In this article, we show that these two cluster algebra structures quasi-coincide, meaning in particular that a cluster variable in one structure may be expressed in the other structure as the product of a cluster variable and a Laurent monomial in the frozen variables. This resolves a conjecture attributed to Muller and Speyer from 2017. The proof depends critically on categorification: of the relevant cluster algebra structures by the author, of perfect matchings and twists by the author with Çanakçı and King, and of quasi-equivalences of cluster algebras by Fraser and Keller. By similar techniques, we also show that Muller and Speyer's left twist map is a quasi-cluster equivalence from the target-labelled structure to the source-labelled structure.

Cluster algebras *with coefficients* are important since they appear in nature as coordinate algebras of varieties like Grassmannians, double Bruhat cells, unipotent cells, ... . The approach of Geiss-Leclerc-Schröer often yields Frobenius exact categories which allow to categorify such cluster algebras. In previous work, the third-named author has constructed Higgs categories and relative cluster categories in the relative Jacobi-finite setting (arXiv:2109.03707). Higgs categories generalize the Frobenius categories used by Geiss-Leclerc-Schröer. In this article, we construct the Higgs category and the relative cluster category in the relative Jacobi-infinite setting under suitable hypotheses. These cover for example the case of Jensen-King-Su's Grassmannian cluster category. As in the relative Jacobi-finite case, the Higgs category is no longer exact but still extriangulated in the sense of Nakaoka-Palu. We also construct a cluster character refining Plamondon's. In the appendix, Chris Fraser and the second-named author categorify quasi-cluster morphisms using Frobenius categories. A recent application of this result is due to Matthew Pressland, who uses it to prove a conjecture by Muller-Speyer.

We study $g$-vector cones in a cluster algebra defined from a weighted orbifold of rank $n$ introduced by Felikson, Shapiro and Tumarkin. We determine the closure of the union of the $g$-vector cones. It is equal to $\mathbb{R}^n$ except for a weighted orbifold with empty boundary and exactly one puncture, in which case it is equal to the half space of a certain explicit hyperplane in $\mathbb{R}^n$.