arXiv++ Combinatorics

In previous work, we associated a module $T(i)$ to every segment $i$ of a link diagram $K$ and showed that there is a poset isomorphism between the submodules of $T(i)$ and the Kauffman states of $K$ relative to $i$. In this paper, we show that the posets are distributive lattices and give explicit descriptions of the join irreducibles in both posets. We also prove that the subposet of join irreducible Kauffman states is isomorphic to the poset of the coefficient quiver of $T(i)$.

We study maximal almost rigid modules over a gentle algebra $A$. We prove that the number of indecomposable direct summands of every maximal almost rigid $A$-module is equal to the sum of the number of vertices and the number of arrows of the Gabriel quiver of $A$. Moreover, the algebra $A$, considered as an $A$-module, can be completed to a maximal almost rigid module in a unique way. Gentle algebras are precisely the tiling algebras of surfaces with marked points. We show that the (permissible) triangulations of the surface of $A$ are in bijection with the maximal almost rigid $A$-modules. Furthermore, we study the endomorphism algebra $C=\text{End}_A T$ of a maximal almost rigid module $T$. We construct a fully faithful functor $G\colon \text{mod}\,A\to \text{mod}\, \overline{A}$ into the module category of a bigger gentle algebra $\overline{A}$ and show that $G$ maps maximal almost rigid $A$-modules to tilting $\overline{A}$-modules. In particular, $C$ and $\overline{A}$ are derived equivalent and $C$ is gentle. After giving a geometric realization of the functor $G$, we obtain a tiling $G(\mathbf{T})$ of the surface of $\overline{A}$ as the image of the triangulation $\mathbf{T}$ corresponding to $T$. We then show that the tiling algebra of $G(\mathbf{T})$ is $C$. Moreover, the tiling algebra of $\mathbf{T}$ is obtained algebraically from $C$ as the tensor algebra with respect to the $C$-bimodule $\text{Ext}_C^2(DC,C)$, which also is fundamental in cluster-tilting theory.

We introduce a $q$-analog of the higher continued fractions introduced by the last three authors in a previous work (together with Gregg Musiker), which are simultaneously a generalization of the $q$-rational numbers of Morier-Genoud and Ovsienko. They are defined as ratios of generating functions for $P$-partitions on certain posets. We give matrix formulas for computing them, which generalize previous results in the $q=1$ case. We also show that certain properties enjoyed by the $q$-rationals are also satisfied by our higher versions.

To every knot (or link) diagram K, we associate a cluster algebra A that contains a cluster x with the property that every cluster variable in x specializes to the Alexander polynomial of K. We call x the knot cluster of A. Furthermore, there exists a cluster automorphism of A of order two that maps the initial cluster to the cluster x. We realize this connection between knot theory and cluster algebras in two ways. In our previous work, we constructed indecomposable representations T(i) of the initial quiver Q of the cluster algebra A. Modulo the removal of 2-cycles, the quiver Q is the incidence quiver of the segments in K, and the representation T(i) of Q is built by taking successive boundaries of K cut open at the i-th segment. The relation to the Alexander polynomial stems from an isomorphism between the submodule lattice of T(i) and the lattice of Kauffman states of K relative to segment i. In the current article, we identify the knot cluster x in A via a sequence of mutations that we construct from a sequence of bigon reductions and generalized Reidemeister III moves on the diagram K. On the level of diagrams, this sequence first reduces K to the Hopf link, then reflects the Hopf link to its mirror image, and finally rebuilds (the mirror image of) K by reversing the reduction. We show that every diagram of a prime link admits such a sequence. We further prove that the cluster variables in x have the same F-polynomials as the representations T(i). This establishes the important fact that our representations T(i) do indeed correspond to cluster variables in A. But it even establishes the much stronger result that these cluster variables are all compatible, in the sense that they form a cluster. We also prove that the representations T(i) have the following symmetry property. For all vertices i,j of Q, the dimension of T(i) at j is equal to the dimension of T(j) at i.

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.

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.

Dimer tree algebras are a class of non-commutative Gorenstein algebras of Gorenstein dimension 1. In previous work we showed that the stable category of Cohen-Macaulay modules of a dimer tree algebra $A$ is a 2-cluster category of Dynkin type $\mathbb{A}$. Here we show that, if $A$ has an admissible action by the group $G$ with two elements, then the stable Cohen-Macaulay category of the skew group algebra $AG$ is a 2-cluster category of Dynkin type $\mathbb{D}$. This result is reminiscent of and inspired by a result by Reiten and Riedtmann, who showed that for an admissible $G$-action on the path algebra of type $\mathbb{A}$ the resulting skew group algebra is of type $\mathbb{D}$. Moreover, we provide a geometric model of the syzygy category of $AG$ in terms of a punctured polygon $\mathcal{P}$ with a checkerboard pattern in its interior, such that the 2-arcs in $\mathcal{P}$ correspond to indecomposable syzygies in $AG$ and 2-pivots correspond to morphisms. In particular, the dimer tree algebras and their skew group algebras are Gorenstein algebras of finite Cohen-Macaulay type $\mathbb{A}$ and $\mathbb{D}$ respectively. We also provide examples of types $\mathbb{E}_6,\mathbb{E}_7,$ and $\mathbb{E}_8$.

We establish a connection between knot theory and cluster algebras via representation theory. To every knot diagram (or link diagram), we associate a cluster algebra by constructing a quiver with potential. The rank of the cluster algebra is $2n$, where $n$ is the number of crossing points in the knot diagram. We then construct $2n$ indecomposable modules $T(i)$ over the Jacobian algebra of the quiver with potential. For each $T(i)$, we show that the submodule lattice is isomorphic to the corresponding lattice of Kauffman states. We then give a realization of the Alexander polynomial of the knot as a specialization of the $F$-polynomial of $T(i)$, for every $i$. Furthermore, we conjecture that the collection of the $T(i)$ forms a cluster in the cluster algebra whose quiver is isomorphic to the opposite of the initial quiver, and that the resulting cluster automorphism is of order two.

In this article, we continue the study of a certain family of 2-Calabi-Yau tilted algebras, called dimer tree algebras. The terminology comes from the fact that these algebras can also be realized as quotients of dimer algebras on a disc. They are defined by a quiver with potential whose dual graph is a tree, and they are generally of wild representation type. Given such an algebra $B$, we construct a polygon $\mathcal{S}$ with a checkerboard pattern in its interior, that defines a category $\text{Diag}(\mathcal{S})$. The indecomposable objects of $\text{Diag}(\mathcal{S})$ are the 2-diagonals in $\mathcal{S}$, and its morphisms are certain pivoting moves between the 2-diagonals. We prove that the category $\text{Diag}(\mathcal{S})$ is equivalent to the stable syzygy category of the algebra $B$. This result was conjectured by the authors in an earlier paper, where it was proved in the special case where every chordless cycle is of length three. As a consequence, we conclude that the number of indecomposable syzygies is finite, and moreover the syzygy category is equivalent to the 2-cluster category of type $\mathbb{A}$. In addition, we obtain an explicit description of the projective resolutions, which are periodic. Finally, the number of vertices of the polygon $\mathcal{S}$ is a derived invariant and a singular invariant for dimer tree algebras, which can be easily computed form the quiver.

In this article, we consider the class of 2-Calabi-Yau tilted algebras that are defined by a quiver with potential whose dual graph is a tree. We call these algebras \emph{dimer tree algebras} because they can also be realized as quotients of dimer algebras on a disc. These algebras are wild in general. For every such algebra $B$, we construct a polygon $\mathcal{S}$ with a checkerboard pattern in its interior that gives rise to a category $\text{Diag}(\mathcal{S})$. The indecomposable objects of $\text{Diag}(\mathcal{S})$ are the 2-diagonals in $\mathcal{S}$, and its morphisms are given by certain pivoting moves between the 2-diagonals. We conjecture that the category $\text{Diag}(\mathcal{S})$ is equivalent to the stable syzygy category over the algebra $B$, such that the rotation of the polygon corresponds to the shift functor on the syzygies. In particular, the number of indecomposable syzygies is finite and the projective resolutions are periodic. We prove the conjecture in the special case where every chordless cycle in the quiver is of length three. As a consequence, we obtain an explicit description of the projective resolutions. Moreover, we show that the syzygy category is equivalent to the 2-cluster category of type $\mathbb{A}$, and we introduce a new derived invariant for the algebra $B$ that can be read off easily from the quiver.

The Markov numbers are the positive integers that appear in the solutions of the equation $x^2+y^2+z^2=3xyz$. These numbers are a classical subject in number theory and have important ramifications in hyperbolic geometry, algebraic geometry and combinatorics. It is known that the Markov numbers can be labeled by the lattice points $(q,p)$ in the first quadrant and below the diagonal whose coordinates are coprime. In this paper, we consider the following question. Given two lattice points, can we say which of the associated Markov numbers is larger? A complete answer to this question would solve the uniqueness conjecture formulated by Frobenius in 1913. We give a partial answer in terms of the slope of the line segment that connects the two lattice points. We prove that the Markov number with the greater $x$-coordinate is larger than the other if the slope is at least $-\frac{8}{7}$ and that it is smaller than the other if the slope is at most $-\frac{5}{4}$. As a special case, namely when the slope is equal to 0 or 1, we obtain a proof of two conjectures from Aigner's book "Markov's theorem and 100 years of the uniqueness conjecture".

Let $Λ^r_n$ be the path algebra of the linearly oriented quiver of type $\mathbb{A}$ with $n$ vertices modulo the $r$-th power of the radical, and let $\widetildeΛ^r_n$ be the path algebra of the cyclically oriented quiver of type $\widetilde{\mathbb{A}}$ with $n$ vertices modulo the $r$-th power of the radical. Adachi gave a recurrence relation for the number of $τ$-tilting modules over $Λ^r_n$. In this paper, we show that the same recurrence relation also holds for the number of $τ$-tilting modules over $\widetildeΛ^r_n$. As an application, we give a new proof for a result by Asai on recurrence formulae for the number of support $τ$-tilting modules over $Λ^r_n$ and $\widetildeΛ^r_n$.

We construct tilting modules over Jacobian algebras arising from knots. To a two-bridge knot $L[a_1,\ldots,a_n]$, we associate a quiver $Q$ with potential and its Jacobian algebra $A$. We construct a family of canonical indecomposable $A$-modules $M(i)$, each supported on a different specific subquiver $Q(i)$ of $Q$. Each of the $M(i)$ is expected to parametrize the Jones polynomial of the knot. We study the direct sum $M=\oplus_iM(i)$ of these indecomposables inside the module category of $A$ as well as in the cluster category. In this paper we consider the special case where the two-bridge knot is given by two parameters $a_1,a_2$. We show that the module $M$ is rigid and $τ$-rigid, and we construct a completion of $M$ to a tilting (and $τ$-tilting) $A$-module $T$. We show that the endomorphism algebra $\operatorname{End}_AT$ of $T$ is isomorphic to $A$, and that the mapping $T\mapsto A[1]$ induces a cluster automorphism of the cluster algebra $\mathcal{A}(Q)$. This automorphism is of order two. Moreover, we give a mutation sequence that realizes the cluster automorphism. In particular, we show that the quiver $Q$ is mutation equivalent to an acyclic quiver of type $T_{p,q,r}$ (a tree with three branches). This quiver is of finite type if $(a_1,a_2)=(a_1,2), (1,a_2),$ or $(2,3)$, it is tame for $(a_1,a_2)=(2,4)$ or $(3,3)$, and wild otherwise.

This paper presents a geometric model of the Auslander-Reiten quiver of a type A quiver together with a stability function for which all indecomposable modules are stable. We also introduce a new Catalan object which we call a maximal almost rigid representation. We show that its endomorphism algebra is a tilted algebra of type A. We define a partial order on the set of maximal almost rigid representations and use our new geometric model to show that this partial order is a Cambrian lattice.

This paper establishes a link between the theory of cluster algebras and the theory of representations of partially ordered sets. We introduce a class of posets by requiring avoidance of certain types of peak-subposets and show that these posets can be realized as the posets of quivers of type $\mathbb{A}$ with certain additional arrows. This class of posets is therefore called \emph{posets of type $\mathbb{A}$}. We then give a geometric realization of the category of finitely generated socle-projective modules over the incidence algebra of a poset of type $\mathbb{A}$ as a combinatorial category of certain diagonals of a regular polygon. This construction is inspired by the realization of the cluster category of type $\mathbb{A}$ as the category of all diagonals by Caldero, Chapoton and the first author. We also study the subalgebra of the cluster algebra generated by those cluster variables that correspond to the socle-projectives under the above construction. We give a sufficient condition for when this subalgebra is equal to the whole cluster algebra.

We characterize the cluster variables of skew-symmetrizable cluster algebras of rank 3 by their Newton polytopes. The Newton polytope of the cluster variable $z$ is the convex hull of the set of all $\mathbf{p}\in\mathbb{Z}^3$ such that the Laurent monomial ${\bf x}^{\mathbf{p}}$ appears with nonzero coefficient in the Laurent expansion of $z$ in the cluster ${\bf x}$. We give an explicit construction of the Newton polytope in terms of the exchange matrix and the denominator vector of the cluster variable. Along the way, we give a new proof of the fact that denominator vectors of non-initial cluster variables are non-negative in a cluster algebra of arbitrary rank.

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.

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.

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.

This paper is a sequel to our previous work in which we found a combinatorial realization of continued fractions as quotients of the number of perfect matchings of snake graphs. We show how this realization reflects the convergents of the continued fractions as well as the Euclidean division algorithm. We apply our findings to establish results on sums of squares, palindromic continued fractions, Markov numbers and other statements in elementary number theory.