arXiv++ Combinatorics

We prove that each eigenvalue l(k) of the Kirchhoff Laplacian K of a graph or quiver is bounded above by d(k)+d(k-1) for all k in {1,...,n}. Here l(1),...,l(n) is a non-decreasing list of the eigenvalues of K and d(1),..,d(n) is a non-decreasing list of vertex degrees with the additional assumption d(0)=0. We also prove that in general the weak Brouwer-Haemers lower bound d(k) + (n-k) holds for all eigenvalues l(k) of the Kirchhoff matrix of a quiver.

Gentle algebras form a class of finite-dimensional algebras introduced by I. Assem and A. Skowroński in the 1980s. Modules over such an algebra can be described by string and band combinatorics in the associated gentle quiver from the work of M.C.R. Butler and C.M. Ringel. Any module can be naturally associated to a quiver representation. A nilpotent endomorphism of a quiver representation induces linear transformations over vector spaces at each vertex. Generically among all nilpotent endomorphisms, a well-defined Jordan form exists for these representations. We focus on subcategories additively generated by all the indecomposable representations of a gentle quiver, including a fixed vertex in their support. We show a characterization of the vertices such that the objects of this subcategory are determined up to isomorphism by their generic Jordan form.

Linear Nakayama algebras over a field $K$ are in natural bijection to Dyck paths and Dyck paths are in natural bijection to 321-avoiding bijections via the Billey-Jockusch-Stanley bijection. Thus to every 321-avoiding permutation $π$ we can associate in a natural way a linear Nakayama algebra $A_π$. We give a homological interpretation of the fixed points statistic of 321-avoiding permutations using Nakayama algebras with a linear quiver. We furthermore show that the space of self-extension for the Jacobson radical of a linear Nakayama algebra $A_π$ is isomorphic to $K^{\mathfrak{s}(π)}$, where $\mathfrak{s}(π)$ is defined as the cardinality $k$ such that $π$ is the minimal product of transpositions of the form $s_i=(i,i+1)$ and $k$ is the number of distinct $s_i$ that appear.

We define the notion of a weighted unfolding of quivers with real weights, and use this to provide a categorification of mutations of quivers of finite types $H_4$, $H_3$ and $I_2(2n+1)$. In particular, the (un)folding induces a semiring action on the categories associated to the unfolded quivers of types $E_8$, $D_6$ and $A_{2n}$ respectively. We then define the tropical seed pattern on the folded quivers, which includes $c$- and $g$-vectors, and show its compatibility with the unfolding.

In this article, we will expand on the notions of maximal green and reddening sequences for quivers associated to cluster algebras. The existence of these sequences has been studied for a variety of applications related to Fomin and Zelevinsky's cluster algebras. Ahmad and Li considered a numerical measure of how close a quiver is to admitting a maximal green sequence called a red number. In this paper we generalized this notion to what we call unrestricted red numbers which are related to reddening sequences. In addition to establishing this more general framework we completely determine the red numbers and unrestricted red numbers for all finite mutation type quivers. Furthermore, we give conjectures on the possible values of red numbers and unrestricted red numbers in general.

It is known that there are infinitely many exceptional sequences of quiver representations for Euclidean quivers. In this paper we study those of type $\tilde{\mathbb{A}}_n$ and classify them into finitely many parametrized families. We first give a bijection between exceptional collections and a combinatorial object known as strand diagrams. We will then realize these strand diagrams as chord diagrams and then arc diagrams on an annulus. Using arc diagrams, we will define parametrized families of exceptional collections and use arc diagrams to show that there are finitely many such families. We moreover show that these families of exceptional collections are in bijection with equivalence classes of small arc diagrams. Finally, we provide an algebraic explanation of parametrized families using the transjective component of the bounded derived category.

We describe presentations of braid groups of type $A$ arising from coloured quivers of mutation type $A$. We show that these can be interpreted geometrically as generalised triangulations of regular polygons.

Given a finite quiver (directed graph) without loops and multiedges, the convex hull of the column vector of the incidence matrix is called the directed edge polytope and is an interesting example of lattice polytopes. In this paper, we give a complete characterization of facets of the directed edge polytope of an arbitrary finite quiver without loops and multiedges in terms of the connectivity and the existence of a rank function. Our result can be regarded as an extension of the result of Higashitani et al. on facets of symmetric edge polytopes to directed edge polytopes. When the quiver in question has a rank function, we obtain a characterization of faces of arbitrary dimensions.

Cluster algebras have recently become an important player in mathematics and physics. In this work, we investigate them through the lens of modern data science, specifically with techniques from network science and machine learning. Network analysis methods are applied to the exchange graphs for cluster algebras of varying mutation types. The analysis indicates that when the graphs are represented without identifying by permutation equivalence between clusters an elegant symmetry emerges in the quiver exchange graph embedding. The ratio between number of seeds and number of quivers associated to this symmetry is computed for finite Dynkin type algebras up to rank 5, and conjectured for higher ranks. Simple machine learning techniques successfully learn to classify cluster algebras using the data of seeds. The learning performance exceeds 0.9 accuracies between algebras of the same mutation type and between types, as well as relative to artificially generated data.

To each triangulation of any surface with marked points on the boundary and orbifold points of order three, we associate a quiver (with loops) with potential whose Jacobian algebra is finite dimensional and gentle. We study the stability scattering diagrams of such gentle algebras and use them to prove that the Caldero--Chapoton map defines a bijection between reachable $τ$-rigid pairs and cluster monomials of the generalized cluster algebra associated to the surface by Chekhov and Shapiro.

Inspired by Fock-Goncharov's amalgamation procedure \cite{Fock-Goncharov-2006}, Shen-Weng introduced string diagrams in \cite{Shen-Weng-2021}, which are very useful to describe many interesting skew-symmetrizable matrices closely related with Lie theory. In this paper, we prove that the skew-symmetrizable matrices from string diagrams are in the smallest class $\mathcal P^\prime$ of skew-symmetrizable matrices containing the $1\times 1$ zero matrix and closed under mutations and source-sink extensions. This result applies to the exchange matrices of cluster algebras from double Bruhat cells, unipotent cells, double Bott-Samelson cells and so on. Our main result can be used to explain why many skew-symmetrizable matrices from Lie theory have reddening sequences. It can be also used to prove some interesting results regarding non-degenerate potentials on many quivers from Lie theory.

We describe a family of compactifications of the space of Bridgeland stability conditions of any triangulated category following earlier work by Bapat, Deopurkar, and Licata. We particularly consider the case of the 2-Calabi--Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on $q$) of the stability space into an infinite-dimensional projective space. In the $A_2$ case, the three-strand braid group $B_3$ acts on this closure. We describe two distinguished braid group orbits in the boundary, points of which can be identified with certain rational functions in $q$. Points in one of the orbits are exactly the $q$-deformed rational numbers recently introduced by Morier-Genoud and Ovsienko, while the other orbit gives a new $q$-deformation of the rational numbers. Specialising $q$ to a positive real number, we obtain a complete description of the boundary of the compactification.

In [Dugan-Glennon-Gunnells-Steingrimsson-2019], the authors introduce tiered trees to define combinatorial objects counting absolutely indecomposable representations of certain quivers, and torus orbits on certain homogeneous varieties. In this paper, we use Theta operators, introduced in [D'Adderio-Iraci-VandenWyngaerd-Theta-2021], to give a symmetric function formula that enumerates these trees. We then formulate a general conjecture that extends this result, a special case of which might give some insight about how to formulate a unified Delta conjecture [Haglund-Remmel-Wilson-2018].

We associate a quiver to a quasi-triangulation of a non-orientable marked surface and define a notion of quiver mutation that is compatible with quasi-cluster algebra mutation defined by Dupont and Palesi. Moreover, we use our quiver to show the unistructurality of the quasi-cluster algebra arising from the Mobius strip.

We present a review on the recently discovered link between the Lie theory,the theory of quiver Grassmannians, and various degenerations of flag varieties. Our starting point is the induced Poincaré--Birkhoff--Witt filtration on the highest weight representations and the corresponding PBW degenerate flag varieties.

We investigate the combinatorics of quivers that arise from triangulations of even-dimensional cyclic polytopes. Work of Oppermann and Thomas pinpoints such quivers as the prototypes for higher-dimensional cluster theory. We first show that a $2d$-dimensional triangulation has no interior $(d + 1)$-simplices if and only if its quiver is a cut quiver of type $A$, in the sense of Iyama and Oppermann. This is a higher-dimensional generalisation of the fact that triangulations of polygons with no interior triangles correspond to orientations of an $A_{n}$ Dynkin diagram. An application of this first result is that the set of triangulations of a $2d$-dimensional cyclic polytope with no interior $(d + 1)$-simplices is connected via bistellar flips -- the higher-dimensional analogue of flipping a diagonal inside a quadrilateral. In dimensions higher than 2, bistellar flips cannot be performed at all locations in a triangulation. Our second result gives a quiver-theoretic criterion for performing bistellar flips on a triangulation of a $2d$-dimensional cyclic polytope. This provides a visual tool for studying mutability of higher-dimensional triangulations and points towards what a theory of higher-dimensional quiver mutation could look like. Indeed, we apply this result to give a rule for mutating cut quivers at vertices which are not necessarily sinks or sources.

A quiver representation assigns a vector space to each vertex, and a linear map to each arrow. When one considers the category $\textrm{Vect}(\mathbb{F}_1)$ of vector spaces ``over $\mathbb{F}_1$'' (the field with one element), one obtains $\mathbb{F}_1$-representations of a quiver. In this paper, we study representations of a quiver over the field with one element in connection to coefficient quivers. To be precise, we prove that the category $\textrm{Rep}(Q,\mathbb{F}_1)$ is equivalent to the (suitably defined) category of coefficient quivers over $Q$. This provides a conceptual way to see Euler characteristics of a class of quiver Grassmannians as the number of ``$\mathbb{F}_1$-rational points'' of quiver Grassmannians. We generalize techniques originally developed for string and band modules to compute the Euler characteristics of quiver Grassmannians associated to $\mathbb{F}_1$-representations. These techniques apply to a large class of $\mathbb{F}_1$-representations, which we call the $\mathbb{F}_1$-representations with finite nice length: we prove sufficient conditions for an $\mathbb{F}_1$-representation to have finite nice length, and classify such representations for certain families of quivers. Finally, we explore the Hall algebras associated to $\mathbb{F}_1$-representations of quivers. We answer the question of how a change in orientation affects the Hall algebra of nilpotent $\mathbb{F}_1$-representations of a quiver with bounded representation type. We also discuss Hall algebras associated to representations with finite nice length, and compute them for certain families of quivers.

In previous work, we initiated the study of the cohomology of locally acyclic cluster varieties. In the present work, we show that the mixed Hodge structure and point counts of acyclic cluster varieties are essentially determined by the combinatorics of the independent sets of the quiver. We use this to show that the mixed Hodge numbers of acyclic cluster varieties of really full rank satisfy a strong vanishing condition.

We study the action of $S_n$ on the set of break divisors on complete multigraphs $K_{n}^m$. We provide an alternative characterization for these divisors, by virtue of which we show that orbits of this action are enumerated by the numerical Donaldson-Thomas invariants of $(m+1)$-loop quivers. Our characterization also allows us to restrict this action to $S_{n-1}$ and we identify the resulting $S_{n-1}$-module as that afforded by $K_n^m$-parking functions.

We establish and develop a correspondence between certain crystal bases (Kashiwara crystals) and the Coulomb branch of three-dimensional $ \mathcal{N} =4 $ gauge theories. The result holds for simply-laced, non-simply laced and affine quivers. Two equivalent derivations are given in the non-simply laced case, either by application of the axiomatic rules or by folding a simply-laced quiver. We also study the effect of turning on real masses and the ensuing simplification of the crystal. We present a multitude of explicit examples of the equivalence. Finally, we put forward a correspondence between infinite crystals and Hilbert spaces of theories with isolated vacua.