arXiv++ Combinatorics

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$.

Snake graphs are a class of planar graphs that are important in the theory of cluster algebras. Indeed, the Laurent expansions of the cluster variables in cluster algebras from surfaces are given as weight generating functions for 1-dimer covers (or perfect matchings) of snake graphs. Moreover, the enumeration of 1-dimer covers of snake graphs provides a combinatorial interpretation of continued fractions. In particular, the number of 1-dimer covers of the snake graph $\mathscr{G}[a_1,\dots,a_n]$ is the numerator of the continued fraction $[a_1,\dots,a_n]$. This number is equal to the top left entry of the matrix product $\left(\begin{smallmatrix} a_1&1\\1&0 \end{smallmatrix}\right) \cdots \left(\begin{smallmatrix} a_n&1\\1&0 \end{smallmatrix}\right)$. In this paper, we give enumerative results on $m$-dimer covers of snake graphs. We show that the number of $m$-dimer covers of the snake graph $\mathscr{G}[a_1,\ldots,a_n]$ is the top left entry of a product of analogous $(m+1)$-by-$(m+1)$ matrices. We discuss how our enumerative results are related to other known combinatorial formulas, and we suggest a generalization of continued fractions based on our methods. These generalized continued fractions provide some interesting open questions and a possibly novel approach towards Hermite's problem for cubic irrationals.

We give a combinatorial interpretation for certain cluster variables in Grassmannian cluster algebras in terms of double and triple dimer configurations. More specifically, we examine several Gr(3,n) cluster variables that may be written as degree two or degree three polynomials in terms of Plücker coordinates, and give generating functions for their images under the twist map - a cluster algebra automorphism introduced in work of Berenstein-Fomin-Zelevinsky. The generating functions range over certain double or triple dimer configurations on an associated plabic graph, which we describe using particular non-crossing matchings or webs (as defined by Kuperberg), respectively. These connections shed light on a recent conjecture of Cheung et al., extend the concept of web duality introduced in a paper of Fraser-Lam-Le, and more broadly make headway on understanding Grassmannian cluster algebras for Gr(3,n).

We survey Jean-Louis Loday's vertex description of the associahedron, and its far reaching influence in combinatorics, discrete geometry and algebra. We present in particular four topics were it plays a central role: lattice congruences of the weak order and their quotientopes, cluster algebras and their generalized associahedra, nested complexes and their nestohedra, and operads and the associahedron diagonal.

In a categorification of skew-symmetric cluster algebras, each cluster variable corresponds with an indecomposable module over the associated Jacobian algebra. Buan, Marsh and Reiten studied when the denominator vector of each cluster variable in an acyclic cluster algebra coincides with the dimension vector of the corresponding module. In this paper, we give analogues of their results for cluster algebras from triangulated surfaces by comparing two kinds of intersection numbers of tagged arcs.

In this PhD thesis we develop the frame work of triple crossing diagram maps (TCD maps), which describes constrained configurations of points in projective spaces and discrete dynamics on these configurations. We are able to capture the constraints and dynamics of a large list of examples that occur in discrete differential geometry (DDG), discrete integrable systems and exactly solvable models. We explain how to apply various geometric operations to TCD maps, including projections, intersections with hyperplanes and projective dualization. In fact, we show how many examples in the literature are related by the aforementioned operations. Moreover, we introduce a hierarchy of cluster structures on TCD maps, thus answering the open question how objects of DDG relate to cluster structures. At the same time, the general cluster structure reproduces cluster structures known for the pentagram map, T-graphs and t-embeddings. We also explain how the cluster structures behave under geometric operations. Via the cluster structures, the TCD maps are also related to the probabilistic dimer model. The spanning tree model and the Ising model can be obtained as special cases of the dimer model, and we investigate how these special cases relate to geometry. This also leads to two new incidence theorems in relation to quadrics and null-polarities in $\mathbb C \mathrm P^3$. Finally, we also show how TCD maps relate to the Fock-Goncharov moduli spaces of projective flag configurations.

We study the tropical dualities and properties of exchange graphs for the totally sign-skew-symmetric cluster algebra under a condition. We prove that the condition always holds for acyclic cluster algebras, then all results hold for the acyclic case.

We give a precise definition of folded quivers and folded cluster algebras. We give many examples of including some with finite mutation structure that do not have analogues in the unfolded cases. We relate these examples to the finite mutation type quivers $X_6$ and $X_7$. We also construct a folded cluster algebra associated to triangulations of punctured surface which allow for triangulations self-folded triangles. We give a simple construction of a folded cluster algebra for which the cluster complex is a generalized permutohedron.

Motivated by the goal of studying cluster algebras in infinite type, we study the stability domains of modules for the preprojective algebra in the corresponding infinite types. Specifically, we study real bricks: those modules whose endomorphism algebra is a division ring and which have no self-extensions. We define "shard modules" to be those real bricks whose stability domain is as large as possible (meaning, of dimension one less than the rank of the preprojective algebra). We show that all real bricks are obtained by applying the Baumann-Kamnitzer reflection functors to simple modules, and we give a recursive formula for the stability domain of a real brick. We show that shard modules are in bijection with Nathan Reading's "shards", and that their stability domains are the shards; we also establish many foundational results about shards in infinite type which have not previously appeared in print. With an eye toward applications to cluster algebras, our paper is written to handle skew-symmetrizable as well as skew-symmetric exchange matrices, and we therefore discuss the basics of the theory of species for preprojective algebras. We also give some counterexamples to show ways in which infinite type is more subtle than the well-studied finite type cases.

The goal of this paper is to make a connection between tropical geometry, representations of quantum affine algebras, and scattering amplitudes in physics. The connection allows us to study important and difficult questions in these areas: (1) We give a systematic construction of prime modules (including prime non-real modules) of quantum affine algebras using tropical geometry. We also introduce new objects which generalize positive tropical Grassmannians. (2) We propose a generalization of Grassmannian string integrals in physics, in which the integrand is no longer a finite, but rather an infinite product indexed by prime modules of a quantum affine algebra. We give a general formula of $u$-variables using prime tableaux (corresponding to prime modules of quantum affine algebras of type $A$) and Auslander-Reiten quivers of Grassmannian cluster categories. (3) We study limit $g$-vectors of cluster algebras. This is another way to obtain prime non-real modules of quantum affine algebras systematically. Using limit $g$-vectors, we construct new examples of non-real modules of quantum affine algebras.

This note summarizes certain properties common to Macdonald, Koornwinder and Arthamonov-Shakirov $q$-difference operators, relating to the duality or bi-spectrality properties of their eigenfunctions. This results in Pieri operators which, in the $q$-Whittaker limit, are relativistic difference Toda type Hamiltonians which have a related quantum cluster algebra structure known as the quantum Q-system. The genus-2 result explained here is new.

The concepts of train track was introduced by W. P. Thurston to study the measured foliations/laminations and the pseudo-Anosov mapping classes on a surface. In this paper, we translate some concepts of train tracks into the language of cluster algebras using the Goncharov--Shen's potential function [GS15]. Through this translation, we prove the sign stability [IK21] of the general pseudo-Anosov mapping classes.

$F$-polynomials are integer coefficient polynomials encoding the mutations of cluster variables inside a cluster algebra. In this article, we study the $F$-polynomials associated with the action of Donaldson-Thomas transformations on cluster variables. For acyclic quivers, quivers of surface types, and quivers associated with triples of flags, we give explicit descriptions of their Donaldson-Thomas $F$-polynomials in terms of generating functions for ideals inside a labeled poset. We also describe the combinatorial procedure needed to modify these labeled posets to obtain Donaldson-Thomas $F$-polynomials for full subquivers and triangular extensions.

In recent decades, identities similar to the one in the Ptolemy's theorem started to pop up in many fields in connection to the notion of cluster algebras introduced and studied since 2000 by Fomin and Zelevinsky. In this brief note we will try to describe several animals from this big and rich zoo. The note was written for the Association for Mathematical Research (AMR) "Reviews of Classic Results" series.

This paper is a slightly extended version of the talk I gave at the Open Problems in Algebraic Combinatorics conference at the University of Minnesota in May 2022. We introduce two strict order relations on lattice paths and formulate several open problems. The topic is related to Markov numbers, the Lagrange spectrum, snake graphs and the cluster algebra of the once punctured torus. Our lattice paths are required to proceed by North and East steps and never go over the diagonal. To define the order relations, we first construct a snake graph $\mathcal{G}(ω)$ and a band graph $\overline{\mathcal{G}(ω)}$ for every such lattice path $ω$. The first order relation $<_M$ is given by the number of perfect matchings of the snake graphs. The second order relation $<_L$ is given by the Lagrange number of a quadratic irrational associated to the band graph.

The skein algebra of a marked surface, possibly with punctures, admits the basis of (tagged) bracelet elements constructed by Fock-Goncharov and Musiker-Schiffler-Williams. As a cluster algebra, it also admits the theta basis of Gross-Hacking-Keel-Kontsevich, quantized by Davison-Mandel. We show that these two bases coincide (with a caveat for notched arcs in once-punctured tori). In unpunctured cases, one may consider the quantum skein algebra. We show that the quantized bases also coincide. Even for cases with punctures, we define quantum bracelets for the cluster algebras with coefficients, and we prove that these are again theta functions. On the corresponding cluster Poisson varieties (parameterizing framed $PGL_2$-local systems), we prove in general that the canonical coordinates of Fock-Goncharov, quantized by Bonahon-Wong and Allegretti-Kim, coincide with the associated (quantum) theta functions. Long-standing conjectures on strong positivity and atomicity follow as corollaries. Of potentially independent interest, we examine the behavior of cluster scattering diagrams under folding.

We obtain a multiplication formula for cluster characters on (stably) 2-Calabi-Yau (Frobenius or) triangulated categories. This formula generalizes those known for arbitrary pairs of objects and for Auslander-Reiten triangles. As an application, we show that for cluster algebras of acyclic types, specialization of a cluster variable to 1 sends all cluster variables to elements of a cluster algebra of smaller rank. We also obtain application to the reduction of friezes of acyclic type.

It is proved that a multiset of permissible arcs over a tiling is uniquely determined by its intersection vector under a mild condition. This generalizes a classical result over marked surfaces with triangulations. We apply this result to study $τ$-tilting theory of gentle algebras and denominator conjecture in cluster algebras. In the case of gentle algebras, it is proved that different $τ$-rigid $A$-modules over a gentle algebra $A$ have different dimension vectors if and only if $A$ has no even oriented cycle with full relations. For cluster algebras, the denominator conjecture has been established for cluster algebras of type $\mathbb{A}\mathbb{B}\mathbb{C}$.