arXiv++ Combinatorics

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.

We describe a reduction technique for stably 2-Calabi--Yau Frobenius extriangulated categories $\mathcal{F}$ with respect to a functorially finite rigid subcategory $\mathcal{X}$. The reduction of such a category is another category $\mathcal{X}^{\perp_1}\subseteq\mathcal{F}$ of the same kind, whose cluster-tilting subcategories are those cluster-tilting subcategories $\mathcal{T}\subseteq\mathcal{F}$ such that $\mathcal{X}\subseteq\mathcal{T}$. This reduction operation generalises Iyama--Yoshino's reduction for 2-Calabi--Yau triangulated categories, which is recovered by passing to stable categories. Moreover, for a certain class of categories $\mathcal{F}$ and rigid objects $M$, we show that the relationship between $\mathcal{F}$ and $M^{\perp_1}$ may also be expressed in terms of internally Calabi--Yau algebras, in the sense of the third author. As an application, we give a conceptual proof of a result on frieze patterns originally obtained by the first author with Baur, Gratz, Serhiyenko, and Todorov.

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 algebra structures for Grassmannians and their (open) positroid strata are controlled by a Postnikov diagram D or, equivalently, a dimer model on the disc, as encoded by either a bipartite graph or the dual quiver (with faces). The associated dimer algebra A, determined directly by the quiver with a certain potential, can also be realised as the endomorphism algebra of a cluster-tilting object in an associated Frobenius cluster category. In this paper, we introduce a class of A-modules corresponding to perfect matchings of the dimer model of D and show that, when D is connected, the indecomposable projective A-modules are in this class. Surprisingly, this allows us to deduce that the cluster category associated to D embeds into the cluster category for the appropriate Grassmannian. We show that the indecomposable projectives correspond to certain matchings which have appeared previously in work of Muller-Speyer. This allows us to identify the cluster-tilting object associated to D, by showing that it is determined by one of the standard labelling rules constructing a cluster of Plücker coordinates from D. By computing a projective resolution of every perfect matching module, we show that Marsh-Scott's formula for twisted Plücker coordinates, expressed as a dimer partition function, is a special case of the general cluster character formula, and thus observe that the Marsh-Scott twist can be categorified by a particular syzygy operation in the Grassmannian cluster category.

Motivated by Conway and Coxeter's combinatorial results concerning frieze patterns, we sketch an introduction to the theory of cluster algebras and cluster categories for acyclic quivers. The goal is to show how these more abstract theories provide a conceptual explanation for phenomena concerning friezes, principally integrality and periodicity.

We show that the dimer algebra of a connected Postnikov diagram in the disc is bimodule internally 3-Calabi-Yau in the sense of the author's earlier work. As a consequence, we obtain an additive categorification of the cluster algebra associated to the diagram, which (after inverting frozen variables) is isomorphic to the homogeneous coordinate ring of a positroid variety in the Grassmannian by a recent result of Galashin and Lam. We show that our categorification can be realised as a full extension closed subcategory of Jensen-King-Su's Grassmannian cluster category, in a way compatible with their bijection between rank 1 modules and Plücker coordinates.

We study the set S of labelled seeds of a cluster algebra of rank n inside a field F as a homogeneous space for the group M_n of (globally defined) mutations and relabellings. Regular equivalence relations on S are associated to subgroups W of Aut_{M_n}(S), and we thus obtain groupoids W \ S. We show that for two natural choices of equivalence relation, the corresponding groups W^c and W^+ act on F, and the groupoids W^c \ S and W^+ \ S on the model field K=Q(x_1,...,x_n). The groupoid W^+ \ S is equivalent to Fock-Goncharov's cluster modular groupoid. Moreover, W^c is isomorphic to the group of cluster automorphisms, and W^+ to the subgroup of direct cluster automorphisms, in the sense of Assem-Schiffler-Shramchenko. We also prove that, for mutation classes whose seeds have mutation finite quivers, the stabilizer of a labelled seed under M_n determines the quiver of the seed up to 'similarity', meaning up to taking opposites of some of the connected components. Consequently, the subgroup W^c is the entire automorphism group of S in these cases.