arXiv++ Combinatorics

The cluster algebra of any acyclic quiver can be realized as the coordinate ring of a subvariety of a Kac-Moody group -- the quiver is an orientation of its Dynkin diagram, defining a Coxeter element and thereby a double Bruhat cell. We use this realization to connect representations of the quiver with those of the group. We show that cluster variables of preprojective (resp. postinjective) quiver representations are realized by generalized minors of highest-weight (resp. lowest-weight) group representations, generalizing results of Yang-Zelevinsky in finite type. In type $A_n^{\!(1)}$ and finitely many other affine types, we show that cluster variables of regular quiver representations are realized by generalized minors of group representations that are neither highest- nor lowest-weight; we conjecture this holds more generally.

A set valued representation of the Kronecker quiver is nothing but a quiver. We apply the forgetful functor from vector spaces to sets and compare linear with set valued representations of the Kronecker quiver.

As a continuation of the previous paper, we find a combinatorial interpretation of Dorey's rule for type $C_n$ via twisted Auslander-Reiten quivers (AR-quivers) of type $D_{n+1}$, which are combinatorial AR-quivers related to certain Dynkin diagram automorphisms. Combinatorial properties of twisted AR-quivers are useful to understand not only Dorey's rule but also other notions in the representation theory of the quantum affine algebra $U_q'(C_n^{(1)})$ such as denominator formulas. In addition, unlike twisted adapted classes of type $A_{2n-1}$ in the previous paper, we show twisted AR-quivers of type $D_{n+1}$ consist of the cluster point called twisted adapted cluster point. Hence, by introducing new combinatorial objects called twisted Dynkin quivers of type $D_{n+1}$, we give one to one correspondences between twisted Coxeter elements, twisted adapted classes and twisted AR-quivers.

We introduce and study the twisted adapted $r$-cluster point and its combinatorial Auslander-Reiten quivers, called twisted AR-quivers and folded AR-quivers, of type $A_{2n+1}$ which are closely related to twisted Coxeter elements and the non-trivial Dynkin diagram automorphism. As applications of the study, we prove that folded AR-quivers encode crucial information on the representation theory of quantum affine algebra $U_q'(B^{(1)}_{n+1})$ such as Dorey's rule and denominator formulas.

The aim of this paper is to give analogs of the cluster expansion formula of Musiker and Schiffler for cluster algebras of type A with coefficients arising from boundary arcs of the corresponding triangulated polygon. Indeed, we give three cluster expansion formulas by perfect matchings of angles in triangulated polygon, by discrete subsets of arrows of the corresponding ice quiver and by minimal cuts of the corresponding quiver with potential.

One fundamental question in the context of the geometric complexity theory approach to the VP vs. VNP conjecture is whether VP = $\overline{\textrm{VP}}$, where VP is the class of families of polynomials that are of polynomial degree and can be computed by arithmetic circuits of polynomial size, and $\overline{\textrm{VP}}$ is the class of families of polynomials that are of polynomial degree and can be approximated infinitesimally closely by arithmetic circuits of polynomial size. The goal of this article is to study the conjecture in (Mulmuley, FOCS 2012) that $\overline{\textrm{VP}}$ is not contained in VP. Towards that end, we introduce three degenerations of VP (i.e., sets of points in $\overline{\textrm{VP}}$), namely the stable degeneration Stable-VP, the Newton degeneration Newton-VP, and the p-definable one-parameter degeneration VP*. We also introduce analogous degenerations of VNP. We show that Stable-VP $\subseteq$ Newton-VP $\subseteq$ VP* $\subseteq$ VNP, and Stable-VNP = Newton-VNP = VNP* = VNP. The three notions of degenerations and the proof of this result shed light on the problem of separating $\overline{\textrm{VP}}$ from VP. Although we do not yet construct explicit candidates for the polynomial families in $\overline{\textrm{VP}}\setminus$VP, we prove results which tell us where not to look for such families. Specifically, we demonstrate that the families in Newton-VP $\setminus$ VP based on semi-invariants of quivers would have to be non-generic by showing that, for many finite quivers (including some wild ones), any Newton degeneration of a generic semi-invariant can be computed by a circuit of polynomial size. We also show that the Newton degenerations of perfect matching Pfaffians, monotone arithmetic circuits over the reals, and Schur polynomials have polynomial-size circuits.

Group algebras of permutations have proved highly useful in solving a number of problems in large N gauge theories. I review the use of permutations in classifying gauge invariants in one-matrix and multi-matrix models and computing their correlators. These methods are also applicable to tensor models and have revealed a link between tensor models and the counting of branched covers. The key idea is to parametrize $U(N)$ gauge invariants using permutations, subject to equivalences. Correlators are related to group theoretic properties of these equivalence classes. Fourier transformation on symmetric groups by means of representation theory offers nice bases of functions on these equivalence classes. This has applications in AdS/CFT in identifying CFT duals of giant gravitons and their perturbations. It has also lead to general results on quiver gauge theory correlators, uncovering links to two dimensional topological field theory and the combinatorics of trace monoids.

This paper studies the combinatorics of lattice congruences of the weak order on a finite Weyl group $W$, using representation theory of the corresponding preprojective algebra $Π$. Natural bijections are constructed between important objects including join-irreducible congruences, join-irreducible (respectively, meet-irreducible) elements of $W$, indecomposable $τ$-rigid (respectively, $τ^-$-rigid) modules and layers of $Π$. The lattice-theoretically natural labeling of the Hasse quiver by join-irreducible elements of $W$ is shown to coincide with the algebraically natural labelling by layers of $Π$. We show that layers of $Π$ are nothing but bricks (or equivalently stones, or 2-spherical modules). The forcing order on join-irreducible elements of $W$ (arising from the study of lattice congruences) is described algebraically in terms of the doubleton extension order. We give a combinatorial description of indecomposable $τ^-$-rigid modules for type $A$ and $D$.

Lots of research focuses on the combinatorics behind various bases of cluster algebras. This paper studies the natural basis of a type A cluster algebra, which consists of all cluster monomials. We introduce a new kind of combinatorial formulas for the cluster monomials in terms of the so-called globally compatible collections. We give bijective proofs of these formulas by comparing with the well-known combinatorial models of the T-paths and of the perfect matchings in a snake diagram. For cluster variables of a type A cluster algebra, we give a bijection that relates our new formula with the theta functions constructed by Gross, Hacking, Keel and Kontsevich.

In this paper, we study the lattice properties of posets of torsion pairs in the module category of a family of representation-finite gentle algebras called tiling algebras, introduced by Coelho Simoes and Parsons. We present a combinatorial model for torsion pairs using polyogonal subdivisions of a convex polygon. We use this model and the lattice theory to classify 2-term simple-minded collections in the bounded derived category of the corresponding tiling algebra. As a consequence, we obtain a characterization of c-matrices for any quiver mutation-equivalent to a type A Dynkin quiver. Our model is developed using the dual tree of a polygonal subdivision. Given such a tree, we introduce a simplicial complex of noncrossing geodesics supported by the tree which we call the noncrossing complex. The facets of the noncrossing complex may be given the structure of an oriented flip graph. Special cases of the oriented flip graphs that may be expressed in this way include the Tamari order, type A Cambrian orders, oriented exchange graphs for quivers mutation-equivalent to a path quiver. We prove that the oriented flip graph of any noncrossing complex is a polygonal, congruence-uniform lattice. To do so, we express the oriented flip graph as a lattice quotient of a lattice of biclosed sets. The facets of the noncrossing complex have an alternate ordering known as the shard intersection order. We prove that this shard intersection order is isomorphic to a lattice of noncrossing tree partitions. The oriented flip graph inherits a cyclic action from its congruence-uniform structure. On noncrossing tree partitions, this cyclic action generalizes the classical Kreweras complementation on noncrossing set partitions. We show that the data of a noncrossing tree partition and its Kreweras complement is equivalent to a 2-term simple-minded collection of the associated tiling algebra.

Zamolodchikov periodicity is a property of certain discrete dynamical systems associated with quivers. It has been shown by Keller to hold for quivers obtained as products of two Dynkin diagrams. We prove that the quivers exhibiting Zamolodchikov periodicity are in bijection with pairs of commuting Cartan matrices of finite type. Such pairs were classified by Stembridge in his study of $W$-graphs. The classification includes products of Dynkin diagrams along with four other infinite families, and eight exceptional cases. We provide a proof of Zamolodchikov periodicity for all four remaining infinite families, and verify the exceptional cases using a computer program.

For each valued quiver $Q$ of Dynkin type, we construct a valued ice quiver $Δ_Q^2$. Let $G$ be a simple connected Lie group with Dynkin diagram the underlying valued graph of $Q$. The upper cluster algebra of $Δ_Q^2$ is graded by the triple dominant weights $(μ,ν,λ)$ of $G$. We prove that when $G$ is simply-laced, the dimension of each graded component counts the tensor multiplicity $c_{μ,ν}^λ$. We conjecture that this is also true if $G$ is not simply-laced, and sketch a possible approach. Using this construction, we improve Berenstein-Zelevinsky's model, or in some sense generalize Knutson-Tao's hive model in type $A$.

We consider an orbit category of the bounded derived category of a path algebra of type A_n which can be viewed as a -(m+1)-cluster category, for m >= 1. In particular, we give a characterisation of those maximal m-rigid objects whose endomorphism algebras are connected, and then use it to explicitly study these algebras. Specifically, we give a full description of them in terms of quivers and relations, and relate them with (higher) cluster-tilted algebras of type A. As a by-product, we introduce a larger class of algebras, called 'tiling algebras'.

Two classes of avalanche-finite matrices and their critical groups (integer cokernels) are studied from the viewpoint of chip-firing/sandpile dynamics, namely, the Cartan matrices of finite root systems and the McKay-Cartan matrices for finite subgroups G of general linear groups. In the root system case, the recurrent and superstable configurations are identified explicitly and are related to minuscule dominant weights. In the McKay-Cartan case for finite subgroups of the special linear group, the cokernel is related to the abelianization of the subgroup G. In the special case of the classical McKay correspondence, the critical group and the abelianization are shown to be isomorphic.

Given two torus invariant Weil divisors $D$ and $D'$ on a two-dimensional cyclic quotient singularity $X$, the groups $\mathop{Ext}\nolimits^i_{X}(\mathcal{O}(D),\mathcal{O}(D'))$, $i>0$, are naturally $\mathbb{Z}^2$-graded. We interpret these groups via certain combinatorial objects using methods from toric geometry. In particular, it is enough to give a combinatorial description of the $\mathop{Ext}\nolimits^1$-groups in the polyhedra of global sections of the Weil divisors involved. Higher $\mathop{Ext}\nolimits^i$-groups are then reduced to the case of $\mathop{Ext}\nolimits^1$ via a quiver. We use this description to show that $\mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D),\mathcal{O}(K-D')) = \mathop{Ext}\nolimits^1_{X}(\mathcal{O}(D'),\mathcal{O}(K-D))$, where $K$ denotes the canonical divisor on $X$. Furthermore, we show that $\mathop{Ext}\nolimits^{i+2}_{X}(\mathcal{O}(D),\mathcal{O}(D'))$ is the Matlis dual of $\mathop{Tor}\nolimits_{i}^{X}(\mathcal{O}(D),\mathcal{O}(D'))$.

Given one of an infinite class of supersymmetric quiver gauge theories, string theorists can associate a corresponding toric variety (which is a Calabi-Yau 3-fold) as well as an associated combinatorial model known as a brane tiling. In combinatorial language, a brane tiling is a bipartite graph on a torus and its perfect matchings are of interest to both combinatorialists and physicists alike. A cluster algebra may also be associated to such quivers and in this paper we study the generators of this algebra, known as cluster variables, for the quiver associated to the cone over the del Pezzo surface $dP_3$. In particular, mutation sequences involving mutations exclusively at vertices with two in-coming arrows and two out-going arrows are referred to as toric cascades in the string theory literature. Such toric cascades give rise to interesting discrete integrable systems on the level of cluster variable dynamics. We provide an explicit algebraic formula for all cluster variables which are reachable by toric cascades as well as a combinatorial interpretation involving perfect matchings of subgraphs of the $dP_3$ brane tiling for these formulas in most cases.

We give a combinatorial intepretation of cluster variables of a specific cluster algebra under a mutation sequence of period 6, in terms of perfect matchings of subgraphs of the brane tiling dual to the quiver associated with the cluster algebra.

Tristan Bozec gave a definition of generalized quantum groups that extends the usual definition of quantum groups to finite quivers with loops at vertices, and he introduced a theory of generalized crystals for this new family of Hopf algebras. We explicitly characterize the generalized crystal $\mathcal{B}(\infty)$ associated to a certain family of quivers with multiple loops by providing a complete set of relations among the Kashiwara operators themselves.

In this note we give a new proof of a closed formula for the multivariable generating series of diagonally colored Young diagrams. This series also describes the Euler characteristics of certain Nakajima quiver varieties. Our proof is a direct combinatorial argument, based on Andrews' work on generalized Frobenius partitions. We also obtain representations of these series in some particular cases as infinite products.

We introduce brane brick models, a novel type of Type IIA brane configurations consisting of D4-branes ending on an NS5-brane. Brane brick models are T-dual to D1-branes over singular toric Calabi-Yau 4-folds. They fully encode the infinite class of 2d (generically) N=(0,2) gauge theories on the worldvolume of the D1-branes and streamline their connection to the probed geometries. For this purpose, we also introduce new combinatorial procedures for deriving the Calabi-Yau associated to a given gauge theory and vice versa.