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.

This paper considers the difficulty in the set-system approach to generalizing graph theory. These difficulties arise categorically as the category of set-system hypergraphs is shown not to be cartesian closed and lacks enough projective objects, unlike the category of directed multigraphs (i.e. quivers). The category of incidence hypergraphs is introduced as a "graph-like" remedy for the set-system issues so that hypergraphs may be studied by their locally graphic behavior via homomorphisms that allow an edge of the domain to be mapped into a subset of an edge in the codomain. Moreover, it is shown that the category of quivers embeds into the category of incidence hypergraphs via a logical functor that is the inverse image of an essential geometric morphism between the topoi. Consequently, the quiver exponential is shown to be simply represented using incidence hypergraph homomorphisms.

For any quiver mutation sequence, we define a pair of matrices that describe a fixed point equation of a cluster transformation determined from the mutation sequence. We give an explicit relationship between this pair of matrices and the Jacobian matrix of the cluster transformation. Furthermore, we show that this relationship reduces to a relationship between the pair of matrices and the $C$-matrix of the cluster transformation in a certain limit of cluster variables. As an application, we prove that quivers associated with once-punctured surfaces do not have maximal green or reddening sequences.

The goal of this paper is to study the link between the topology of the degenerate flag varieties and combinatorics of the Dellac configurations. We define three new classes of algebraic varieties closely related to the degenerate flag varieties of types A and C. The construction is based on the quiver Grassmannian realization of the degenerate flag varieties and odd symplectic and odd and even orthogonal groups. We study basic properties of our varieties; in particular, we construct cellular decomposition in all the three cases above (as well as in the case of even symplectic group). We also compute the Poincaré polynomials in terms of certain statistics on the set of symmetric Dellac configurations.

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.

Given any Coxeter group, we define rigid reflections and rigid roots using non-self-intersecting curves on a Riemann surface with labeled curves. When the Coxeter group arises from an acyclic quiver, they are related to the rigid representations of the quiver. For a family of rank 3 Coxeter groups, we show that there is a surjective map from the set of reduced positive roots of a rank 2 Kac--Moody algebra onto the set of rigid reflections. We conjecture that this map is bijective.

In this expository note, I showcase the relevance of Coxeter groups to quiver representations. I discuss (1) real and imaginary roots, (2) reflection functors, and (3) torsion free classes and c-sortable elements. The first two topics are classical, while the third is a more recent development. I show that torsion free classes in rep Q containing finitely many indecomposables correspond bijectively to c-sortable elements in the corresponding Weyl group. This was first established in Dynkin type by Ingalls and Thomas; it was shown in general by Amiot, Iyama, Reiten, and Todorov. The proof in this note is elementary, essentially following the argument of Ingalls and Thomas, but without the assumption that Q is Dynkin.

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.

We consider the conjugation-action of the Borel subgroup of the symplectic or the orthogonal group on the variety of nilpotent complex elements of nilpotency degree $2$ in its Lie algebra. We translate the setup to a representation-theoretic context in the language of a symmetric quiver algebra. This makes it possible to provide a parametrization of the orbits via a combinatorial tool that we call symplectic/orthogonal oriented link patterns. We deduce information about numerology. We then generalize these classifications to standard parabolic subgroups for all classical groups. Finally, our results are restricted to the nilradical.

In this paper we find and explore the correspondence between quivers, torus knots, and combinatorics of counting paths. Our first result pertains to quiver representation theory -- we find explicit formulae for classical generating functions and Donaldson-Thomas invariants of an arbitrary symmetric quiver. We then focus on quivers corresponding to $(r,s)$ torus knots and show that their classical generating functions, in the extremal limit and framing $rs$, are generating functions of lattice paths under the line of the slope $r/s$. Generating functions of such paths satisfy extremal A-polynomial equations, which immediately follows after representing them in terms of the Duchon grammar. Moreover, these extremal A-polynomial equations encode Donaldson-Thomas invariants, which provides an interesting example of algebraicity of generating functions of these invariants. We also find a quantum generalization of these statements, i.e. a relation between motivic quiver generating functions, quantum extremal knot invariants, and $q$-weighted path counting. Finally, in the case of the unknot, we generalize this correspondence to the full HOMFLY-PT invariants and counting of Schröder paths.

Following the methods used by Derksen-Weyman in \cite{DW11} and Chindris in \cite{Chi08}, we use quiver theory to represent the generalized Littlewood-Richardson coefficients for the branching rule for the diagonal embedding of $\gl(n)$ as the dimension of a weight space of semi-invariants. Using this, we prove their saturation and investigate when they are nonzero. We also show that for certain partitions the associated stretched polynomials satisfy the same conjectures as single Littlewood-Richardson coefficients. We then provide a polytopal description of this multiplicity and show that its positivity may be computed in strongly polynomial time. Finally, we remark that similar results hold for certain other generalized Littlewood-Richardson coefficients.

Birational rowmotion is an action on the space of assignments of rational functions to the elements of a finite partially-ordered set (poset). It is lifted from the well-studied rowmotion map on order ideals (equivariantly on antichains) of a poset $P$, which when iterated on special posets, has unexpectedly nice properties in terms of periodicity, cyclic sieving, and homomesy (statistics whose averages over each orbit are constant) [AST11, BW74, CF95, Pan09, PR13, RuSh12,RuWa15+,SW12, ThWi17, Yil17. In this context, rowmotion appears to be related to Auslander-Reiten translation on certain quivers, and birational rowmotion to $Y$-systems of type $A_m \times A_n$ described in Zamolodchikov periodicity. We give a formula in terms of families of non-intersecting lattice paths for iterated actions of the birational rowmotion map on a product of two chains. This allows us to give a much simpler direct proof of the key fact that the period of this map on a product of chains of lengths $r$ and $s$ is $r+s+2$ (first proved by D.~Grinberg and the second author), as well as the first proof of the birational analogue of homomesy along files for such posets.

Quantum field theory $L_1$ on spacetime $X_{1}$ can be coupled to another quantum field theory $L_2$ on a spacetime $X_{2}$ via the third quantum field theory $L_{12}$ living on $X_{12} = X_{1} \cap X_{2}$. We explore several such constructions with two and four dimensional $X_{1}, X_{2}$'s and zero and two dimensional $X_{12}$'s, in the context of $\mathcal{N}=2$ supersymmetry, non-perturbative Dyson-Schwinger equations, and BPS/CFT correspondence. The companion paper will show that the BPZ and KZ equations of two dimensional conformal field theory are obeyed by the half-BPS surface defects in quiver $\mathcal{N}=2$ gauge theories.

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.

In 2010, Everitt and Fountain introduced the concept of reflection monoids. The Boolean reflection monoids form a family of reflection monoids (symmetric inverse semigroups are Boolean reflection monoids of type $A$). In this paper, we give a family of presentations of Boolean reflection monoids and show how these presentations are compatible with quiver mutations of orientations of Dynkin diagrams with frozen vertices. Our results recover the presentations of Boolean reflection monoids given by Everitt and Fountain and the presentations of symmetric inverse semigroups given by Popova respectively. Surprisingly, inner by diagram automorphisms of irreducible Weyl groups and Boolean reflection monoids can be constructed by sequences of mutations preserving the same underlying diagrams. Besides, we show that semigroup algebras of Boolean reflection monoids are cellular algebras.

The aim of this paper is to establish a lattice theoretical framework to study the partially ordered set $\operatorname{\mathsf{tors}} A$ of torsion classes over a finite-dimensional algebra $A$. We show that $\operatorname{\mathsf{tors}} A$ is a complete lattice which enjoys very strong properties, as bialgebraicity and complete semidistributivity. Thus its Hasse quiver carries the important part of its structure, and we introduce the brick labelling of its Hasse quiver and use it to study lattice congruences of $\operatorname{\mathsf{tors}} A$. In particular, we give a representation-theoretical interpretation of the so-called forcing order, and we prove that $\operatorname{\mathsf{tors}} A$ is completely congruence uniform. When $I$ is a two-sided ideal of $A$, $\operatorname{\mathsf{tors}} (A/I)$ is a lattice quotient of $\operatorname{\mathsf{tors}} A$ which is called an algebraic quotient, and the corresponding lattice congruence is called an algebraic congruence. The second part of this paper consists in studying algebraic congruences. We characterize the arrows of the Hasse quiver of $\operatorname{\mathsf{tors}} A$ that are contracted by an algebraic congruence in terms of the brick labelling. In the third part, we study in detail the case of preprojective algebras $Π$, for which $\operatorname{\mathsf{tors}} Π$ is the Weyl group endowed with the weak order. In particular, we give a new, more representation theoretical proof of the isomorphism between $\operatorname{\mathsf{tors}} k Q$ and the Cambrian lattice when $Q$ is a Dynkin quiver. We also prove that, in type $A$, the algebraic quotients of $\operatorname{\mathsf{tors}} Π$ are exactly its Hasse-regular lattice quotients.

We present a unified mathematical framework that elegantly describes minimally SUSY gauge theories in even dimension, ranging from $6d$ to $0d$, and their dualities. This approach combines recent developments on graded quiver with potentials, higher Ginzburg algebras and higher cluster categories (also known as $m$-cluster categories). Quiver mutations studied in the context of mathematics precisely correspond to the order $(m+1)$ dualities of the gauge theories. Our work suggests that these equivalences of quiver gauge theories sit inside an infinite family of such generalized dualities, whose physical interpretation is yet to be understood.

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.