arXiv++ Combinatorics

In this note we investigate under which conditions the dual of the flow polytope (henceforth referred to as the `dual flow polytope') of a quiver is k-neighborly, for generic weights near the canonical weight. We provide a lower bound on k, depending only on the edge connectivity of the underlying graph, for such weights. In the case where the canonical weight is in fact generic, we explicitly determine a vertex presentation of the dual flow polytope. Finally, we specialize our results to the case of complete, bipartite quivers where we show that the canonical weight is indeed generic, and are able to provide an improved bound on k. Hence, we are able to produce many new examples of high-dimensional, k-neighborly polytopes.

Richard Eager and Sebastian Franco introduced a change of basis transformation on the F-polynomials of Fomin and Zelevinsky, corresponding to rewriting them in the basis given by fractional brane charges rather than quiver gauge groups. This transformation seems to display a surprising stabilization property, apparently causing the first few terms of the polynomials at each step of the mutation sequence to coincide. Eager and Franco conjecture that this transformation will always cause the polynomials to converge to a formal power series as the number of mutations goes to infinity, at least for quivers possessing certain symmetries and along periodic mutation sequences respecting such symmetries. In this paper, we verify this convergence in the case of the Kronecker and Conifold quivers. We also investigate convergence in the $F_0$ quiver. We provide a combinatorial interpretation for the stable cluster variables in each appropriate case.

In this paper, we study and describe the universal Poisson deformation space of hypertoric varieties concretely. In the first application, we show that affine hypertoric varieties as conical symplectic varieties are classified by the associated regular matroids (this is a partial generalization of the result by Arbo and Proudfoot). As a corollary, we obtain a criterion when two quiver varieties whose dimension vector have all coordinates equal to one are isomorphic to each other. Then we describe all 4- and 6-dimensional affine hypertoric varieties as quiver varieties and give some examples of 8-dimensional hypertoric varieties which cannot be raised as such quiver varieties. In the second application, we compute explicitly the number of all projective crepant resolutions of some 4-dimensional hypertoric varieties by using the combinatorics of hyperplane arrangements.

We develop a version of cluster algebra extending the ring of Laurent polynomials by adding Grassmann variables. These algebras can be described in terms of `extended quivers' which are oriented hypergraphs. We describe mutations of such objects and define a corresponding commutative superalgebra. Our construction includes the notion of weighted quivers that has already appeared in different contexts. This paper is a step of understanding the notion of cluster superalgebra

We give a cluster expansion formula for cluster algebras with principal coefficients defined from triangulated surfaces in terms of perfect matchings of angles. Our formula simplifies the cluster expansion formula given by Musiker-Schiffler-Williams in terms of perfect matchings of snake graphs. A key point of our proof is to give a bijection between perfect matchings of angles in some triangulated polygon and perfect matchings of the corresponding snake graph. Moreover, they also correspond bijectively with perfect matchings of the corresponding bipartite graph and minimal cuts of the corresponding quiver with potential.

We describe two new combinatorial algorithms (using the language of "triangular arrays") for computing the Fourier transforms of simple perverse sheaves on the moduli space of representations of an equioriented quiver of type A. (A rather different solution to this problem was previously obtained by Knight-Zelevinsky.) Along the way, we also show that the closure partial order and the dimensions of orbits have especially concise descriptions in the language of triangular arrays.

We construct injective hulls and projective covers in categories of generalized uniform hypergraphs which generalizes the constructions in the category of quivers and the category of undirected graphs. While the constructions are not functorial, they are "sub-functorial", meaning they are subobjects of functorial injective and projective refinements.

We introduce an expansion formula for elements in quantum cluster algebras associated to type A and Kronecker quivers with principal quantization. Our formula is parametrized by perfect matchings of snake graphs as in the classical case. In the Kronecker case, the coefficients are q-powers whose exponents are given by a weight function induced by the lattice of perfect matchings. As an application, we prove that a reflectional symmetry on the set of perfect matchings satisfies Stembridge's q=-1 phenomenon with respect to the weight function.

Starting from a locally gentle bound quiver, we define on the one hand a simplicial complex, called the non-kissing complex. On the other hand, we construct a punctured, marked, oriented surface with boundary, endowed with a pair of dual dissections. From those geometric data, we define two simplicial complexes: the accordion complex, and the slalom complex, generalizing work of A. Garver and T. McConville in the case of a disk. We show that all three simplicial complexes are isomorphic, and that they are pure and thin. In particular, there is a notion of mutation on their facets, akin to $τ$-tilting mutation. Along the way, we also construct inverse bijections between the set of isomorphism classes of locally gentle bound quivers and the set of homeomorphism classes of punctured, marked, oriented surfaces with boundary, endowed with a pair of dual dissections.

We show that a reddening sequence exists for any quiver which is Banff. Our proof is combinatorial and relies on the triangular extension construction for quivers. The other facts needed are that the existence of a reddening sequence is mutation invariant and passes to induced subquivers. Banff quivers define locally acyclic cluster algebras which are known to coincide with their upper cluster algebras.The existence of reddening sequences for these quivers is consistent with a conjectural relationship between the existence of a reddening sequence and a cluster algebra's equality with its upper cluster algebra.Our result completes a verification of the conjecture for Banff quivers. We also prove that a certain subclass of quivers within the class $\mathcal{P}$ define locally acyclic cluster algebras.

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.