arXiv++ Combinatorics

Cluster categories and cluster algebras encode two dimensional structures. For instance, the Auslander--Reiten quiver of a cluster category can be drawn on a surface, and there is a class of cluster algebras determined by surfaces with marked points. Cluster characters are maps from cluster categories (and more general triangulated categories) to cluster algebras. They have a tropical shadow in the form of so-called tropical friezes, which are maps from cluster categories (and more general triangulated categories) to the integers. This paper will define higher dimensional tropical friezes. One of the motivations is the higher dimensional cluster categories of Oppermann and Thomas, which encode $( d+1 )$-dimensional structures for an integer $d \geqslant 1$. They are $( d+2 )$-angulated categories, which belong to the subject of higher homological algebra. We will define higher dimensional tropical friezes as maps from higher cluster categories (and more general $( d+2 )$-angulated categories) to the integers. Following Palu, we will define a notion of $( d+2 )$-angulated index, establish some of its properties, and use it to construct higher dimensional tropical friezes.

Let Q be a quiver without loops and 2-cycles, let A(Q) be the corresponding cluster algebra and let x be a cluster. We introduce a new class of integer vectors which we call frieze vectors relative to x. These frieze vectors are defined as solutions of certain Diophantine equations given by the cluster variables in the cluster algebra. We show that every cluster gives rise to a frieze vector and that the frieze vector determines the cluster. We also study friezes of type Q as homomorphisms from the cluster algebra to an arbitrary integral domain. In particular, we show that every positive integral frieze of affine Dynkin type A is unitary, which means it is obtained by specializing each cluster variable in one cluster to the constant 1. This completes the answer to the question of unitarity for all positive integral friezes of Dynkin and affine Dynkin types.

In this paper, we utilize the machinery of cluster algebras, quiver mutations, and brane tilings to study a variety of historical enumerative combinatorics questions all under one roof. Previous work [Zha, LMNT14], which arose during the second author's monitorship of undergraduates, and more recently of both authors [LM17], analyzed the cluster algebra associated to the cone over $\mathbf{dP_3}$, the del Pezzo surface of degree $6$ ($\mathbb{CP}^2$ blown up at three points). By investigating sequences of toric mutations, those occurring only at vertices with two incoming and two outgoing arrows, in this cluster algebra, we obtained a family of cluster variables that could be parameterized by $\mathbb{Z}^3$ and whose Laurent expansions had elegant combinatorial interpretations in terms of dimer partition functions (in most cases). While the earlier work [Zha, LMNT14, LM17] focused exclusively on one possible initial seed for this cluster algebra, there are in total four relevant initial seeds (up to graph isomorphism). In the current work, we explore the combinatorics of the Laurent expansions from these other initial seeds and how this allows us to relate enumerations of perfect matchings on Dungeons to Dragons.

The hexahedron recurrence was introduced by R. Kenyon and R. Pemantle in the study of the double-dimer model in statistical mechanics. It describes a relationship among certain minors of a square matrix. This recurrence is closely related to the Kashaev equation, which has its roots in the Ising model and in the study of relations among principal minors of a symmetric matrix. Certain solutions of the hexahedron recurrence restrict to solutions of the Kashaev equation. We characterize the solutions of the Kashaev equation that can be obtained by such a restriction. This characterization leads to new results about principal minors of symmetric matrices. We describe and study other recurrences whose behavior is similar to that of the Kashaev equation and hexahedron recurrence. These include equations that appear in the study of s-holomorphicity, as well as other recurrences which, like the hexahedron recurrence, can be related to cluster algebras.

Postnikov's plabic graphs in a disk are used to parametrize totally positive Grassmannians. In recent years plabic graphs have found numerous applications in math and physics. One of the key features of the theory is the fact that if a plabic graph is reduced, the face weights can be uniquely recovered from boundary measurements. On surfaces more complicated than a disk this property is lost. In this paper we undertake a comprehensive study of a certain semi-local transformation of weights for plabic networks on a cylinder that preserve boundary measurements. We call this a plabic R-matrix. We show that plabic R-matrices have underlying cluster algebra structure, generalizing recent work of Inoue-Lam-Pylyavskyy. Special cases of transformations we consider include geometric R-matrices appearing in Berenstein-Kazhdan theory of geometric crystals, and also certain transformations appearing in a recent work of Goncharov-Shen.

These are notes for a series of lectures presented at the ASIDE conference 2016. The definition of a cluster algebra is motivated through several examples, namely Markov triples, the Grassmannians $Gr_2(\mathbb{C})$, and the appearance of double Bruhat cells in the theory of total positivity. Once the definition of cluster algebras is introduced in several stages of increasing generality, proofs of fundamental results are sketched in the rank 2 case. From these foundations we build up the notion of Poisson structures compatible with a cluster algebra structure and indicate how this leads to a quantization of cluster algebras. Finally we give applications of these ideas to integrable systems in the form of Zamolodchikov periodicity and the pentagram map.

We introduce a new class of algebraic varieties which we call frieze varieties. Each frieze variety is determined by an acyclic quiver. The frieze variety is defined in an elementary recursive way by constructing a set of points in affine space. From a more conceptual viewpoint, the coordinates of these points are specializations of cluster variables in the cluster algebra associated to the quiver. We give a new characterization of the finite--tame--wild trichotomy for acyclic quivers in terms of their frieze varieties. We show that an acyclic quiver is representation finite, tame, or wild, respectively, if and only if the dimension of its frieze variety is $0,1$, or $\ge2$, respectively.

We introduce a new class of friezes which is related to symplectic geometry. On the algebraic and combinatrics sides, this variant of friezes is related to the cluster algebras involving the Dynkin diagrams of type ${\rm C}_{2}$ and ${\rm A}_{m}$. On the geometric side, they are related to the moduli space of Lagrangian configurations of points in the 4-dimensional symplectic space introduced in [Conley C.H., Ovsienko V., Math. Ann. 375 (2019), 1105-1145]. Symplectic friezes share similar combinatorial properties to those of Coxeter friezes and SL-friezes.

We compute the number of $\mathcal{X}$-variables (also called coefficients) of a cluster algebra of finite type when the underlying semifield is the universal semifield. For classical types, these numbers arise from a bijection between coefficients and quadrilaterals (with a choice of diagonal) appearing in triangulations of certain marked surfaces. We conjecture that similar results hold for cluster algebras from arbitrary marked surfaces, and obtain corollaries regarding the structure of finite type cluster algebras of geometric type.

This thesis is concerned with studying the properties of gradings on several examples of cluster algebras, primarily of infinite type. We first consider two finite type cases: $B_n$ and $C_n$, completing a classification by Grabowski for coefficient-free finite type cluster algebras. We then consider gradings arising from $3 \times 3$ skew-symmetric matrices. We show that the mutation-cyclic matrices give rise to gradings in which all degrees are positive and have only finitely many associated cluster variables (excepting one particular case). For the mutation-acyclic matrices, we prove that all occurring degrees have infinitely many variables. We provide a sufficient condition for a graded cluster algebra generated by a quiver to have infinitely many degrees, based on the presence of a subquiver in its mutation class. We use this to show that the cluster algebras for (quantum) coordinate rings of matrices and Grassmannians contain cluster variables of all degrees in $\mathbb{N}$. Next we consider the list (given by Felikson, Shapiro & Tumarkin) of mutation-finite quivers that do not correspond to triangulations of marked surfaces. We show that $X_7$ gives rise to only two degrees, both with infinitely many variables, and that $\widetilde{E}_6$, $\widetilde{E}_7$ and $\widetilde{E}_8$ give rise to infinitely many variables in some degrees. Finally, we study gradings arising from marked surfaces (see Fomin, Shapiro & Thurston). We adapt a definition by Muller to define the space of valuation functions on such a surface and prove combinatorially that it is isomorphic to the space of gradings on the associated cluster algebra. We illustrate this theory by applying it to the annulus with $n+m$ marked points. We show that the standard grading is of mixed type. We also give an alternative grading in which all degrees have infinitely many cluster variables.

An exchange matrix $B$ dominates an exchange matrix $B'$ if the signs of corresponding entries weakly agree, with the entry of $B$ always having weakly greater absolute value. When $B$ dominates $B'$, interesting things happen in many cases (but not always): the identity map between the associated mutation-linear structures is often mutation-linear; the mutation fan for $B$ often refines the mutation fan for $B'$; the scattering (diagram) fan for $B$ often refines the scattering fan for $B'$; and there is often an injective homomorphism from the principal-coefficients cluster algebra for $B'$ to the principal-coefficients cluster algebra for $B$, preserving $\mathbf{g}$-vectors and sending the set of cluster variables for $B'$ (or an analogous larger set) into the set of cluster variables for $B$ (or an analogous larger set). The scope of the description "often" is not the same in all four contexts and is not settled in any of them. In this paper, we prove theorems that provide examples of these dominance phenomena.

It was shown by Fock, Goncharov and Fomin, Shapiro, Thurston that some cluster algebras arise from triangulated orientable suraces. Subsequently Dupont and Palesi generalised this construction to include unpunctured non-orientable surfaces, giving birth to quasi-cluster algebras. Previously we linked this framework to Lam and Pylyavskyy's Laurent phenomenon algebras, showing that unpunctured surfaces admit an LP structure. In this paper we extend quasi-cluster algebras to include punctured surfaces. Moreover, by adding laminations to the surface we demonstrate that all punctured and unpunctured surfaces admit LP structures.

Markov numbers are integers that appear in the solution triples of the Diophantine equation, $x^2+y^2+z^2=3xyz$, called the Markov equation. A classical topic in number theory, these numbers are related to many areas of mathematics such as combinatorics, hyperbolic geometry, approximation theory and cluster algebras. There is a natural map from the rational numbers between zero and one to the Markov numbers. In this paper, we prove two conjectures seen in Martin Aigner's book, Markov's theorem and 100 years of the uniqueness conjecture, that determine an ordering on subsets of the Markov numbers based on their corresponding rational. The proof relies on a relationship between Markov numbers and continuant polynomials which originates in Frobenius' 1913 paper.

Scattering diagrams arose in the context of mirror symmetry, Donaldson-Thomas theory, and integrable systems. We show that a consistent scattering diagram with minimal support cuts the ambient space into a complete fan. A special class of scattering diagrams, the cluster scattering diagrams, are closely related to cluster algebras. We show that the cluster scattering fan associated to an exchange matrix $B$ refines the mutation fan for $B$ (a complete fan that encodes the geometry of mutations of $B$). We conjecture that, when $B$ is $n\times n$ for $n>2$, these two fans coincide if and only if $B$ is of finite mutation type.

A $k$-positive matrix is a matrix where all minors of order $k$ or less are positive. Computing all such minors to test for $k$-positivity is inefficient, as there are $\sum_{\ell=1}^k \binom{n}{\ell}^2$ of them in an $n\times n$ matrix. However, there are minimal $k$-positivity tests which only require testing $n^2$ minors. These minimal tests can be related by series of exchanges, and form a family of sub-cluster algebras of the cluster algebra of total positivity tests. We give a description of the sub-cluster algebras that give $k$-positivity tests, ways to move between them, and an alternative combinatorial description of many of the tests.

We describe and investigate a connection between the topology of isolated singularities of plane curves and the mutation equivalence, in the sense of cluster algebra theory, of the quivers associated with their morsifications.

We study (tame) frieze patterns over subsets of the complex numbers, with particular emphasis on the corresponding quiddity cycles. We provide new general transformations for quiddity cycles of frieze patterns. As one application, we present a combinatorial model for obtaining the quiddity cycles of all tame frieze patterns over the integers (with zero entries allowed), generalising the classic Conway-Coxeter theory. This model is thus also a model for the set of specializations of cluster algebras of Dynkin type $A$ in which all cluster variables are integers. Moreover, we address the question of whether for a given height there are only finitely many non-zero frieze patterns over a given subset $R$ of the complex numbers. Under certain conditions on $R$, we show upper bounds for the absolute values of entries in the quiddity cycles. As a consequence, we obtain that if $R$ is a discrete subset of the complex numbers then for every height there are only finitely many non-zero frieze patterns over $R$. Using this, we disprove a conjecture of Fontaine, by showing that for a complex $d$-th root of unity $ζ_d$ there are only finitely many non-zero frieze patterns for a given height over $R=\mathbb{Z}[ζ_d]$ if and only if $d\in \{1,2,3,4,6\}$.

We prove that the semi-invariant ring of the standard representation space of the $l$-flagged $m$-arrow Kronecker quiver is an upper cluster algebra for any $l,m\in \mathbb{N}$. The quiver and cluster are explicitly given. We prove that the quiver with its rigid potential is a polyhedral cluster model. As a consequence, to compute each Kronecker coefficient $g_{μ,ν}^λ$ with $λ$ at most $m$ parts, we only need to count lattice points in at most $m!$ fibre (rational) polytopes inside the ${\rm g}$-vector cone, which is explicitly given.

We generalize the construction of the bangle, band and the bracelet bases for cluster algebras from orbifolds to the case where there is only one marked point on the boundary.

We investigate a family of representations of Gale-Robinson quivers that are geared towards providing concrete information about the corresponding cluster algebras. In this way, we provide a representation theoretic explanation for known combinatorial formulas for the Gale-Robinson sequence and also obtain similar formulas for several other cluster variables.