arXiv++ Combinatorics

The cluster algebra associated with an acyclic quiver has a special mutation loop $τ$, called the cluster Donaldson--Thomas (DT) transformation, related to the Auslander--Reiten translation. In this paper, we characterize the finite-tame-wild trichotomy for acyclic quivers by the sign stability of $τ$ introduced in [IK21] and its cluster stretch factor. As an application, we compute several kinds of entropies of $τ$ and other mutation loops. In particular, we show that the algebraic and categorical entropies of $τ$ are commonly given by the logarithm of the spectral radius of the Coxeter matrix associated with the quiver, and that any mutation loop of finite or tame acyclic quivers have zero algebraic entropy.

We consider discrete dynamical systems obtained as deformations of mutations in cluster algebras associated with finite-dimensional simple Lie algebras. The original (undeformed) dynamical systems provide the simplest examples of Zamolodchikov periodicity: they are affine birational maps for which every orbit is periodic with the same period. Following on from preliminary work by one of us with Kouloukas, here we present integrable maps obtained from deformations of cluster mutations related to the following simple root systems: $A_3$, $B_2$, $B_3$ and $D_4$. We further show how new cluster algebras arise, by considering Laurentification, that is, a lifting to a higher-dimensional map expressed in a set of new variables (tau functions), for which the dynamics exhibits the Laurent property. For the integrable map obtained by deformation of type $A_3$, which already appeared in our previous work, we show that there is a commuting map of Quispel-Roberts-Thompson (QRT) type which is built from a composition of mutations and a permutation applied to the same cluster algebra of rank 6, with an additional 2 frozen variables. Furthermore, both the deformed $A_3$ map and the QRT map correspond to addition of a point in the Mordell-Weil group of a rational elliptic surface of rank two, and the underlying cluster algebra comes from a quiver that mutation equivalent to the $q$-Painlevé III quiver found by Okubo. The deformed integrable maps of types $B_2$, $B_3$ and $D_4$ are also related to elliptic surfaces. From a dynamical systems viewpoint, the message of the paper is that special families of birational maps with completely periodic dynamics under iteration admit natural deformations that are aperiodic yet completely integrable.

We consider Vinberg $θ$-groups associated to a cyclic quiver on $k$ nodes. Let $K$ be the product of the general linear groups associated to each node. Then $K$ acts naturally on $\oplus \text{Hom}(V_i, V_{i+1})$ and by Vinberg's theory the polynomials are free over the invariants. We therefore consider the harmonics as a representation of $K$, and give a combinatorial formula for the stable graded multiplicity of each $K$-type. A key lemma provides a combinatorial separation of variables that allows us to cancel the invariants and obtain generalized exponents for the harmonics.

In this paper, we introduce a new generating function called $d$-polynomial for the dimensions of $τ$-tilting modules over a given finite dimensional algebra. Firstly, we study basic properties of $d$-polynomials and show that it can be realized as a certain sum of the $f$-polynomials of the simplicial complexes arising from $τ$-rigid pairs. Secondly, we give explicit formulas of $d$-polynomials for preprojective algebras and path algebras of Dynkin quivers by using a close relation with $W$-Eulerian polynomials and $W$-Narayana polynomials. Thirdly, we consider the ordinary and exponential generating functions defined from $d$-polynomials and give closed-form expressions in the case of preprojective algebras and path algebras of Dynkin type $\mathbb{A}$.

In this article we introduce a gluing operation on dimer models. This allows us to construct dimer quivers on arbitrary surfaces. We study how the associated dimer and boundary algebras behave under the gluing and how to determine them from the gluing components. We also use this operation to construct homogeneous dimer quivers on annuli.

The unrestricted red size of a quiver is the maximal number of red vertices in its framed quiver after any given mutation sequence. In a 2023 paper by E. Bucher and J. Machacek, it was shown that connected, mutation-finite quivers either have an unrestricted red size of $n-1$ or $n$, where $n$ is the number of vertices in the quiver. We prove here that the same holds for the connected, mutation-infinite case using forks. As such, the unrestricted red size for any quiver equals $n-c$, where $c$ is the number of connected components of the quiver that do not admit a reddening sequence. Additionally, we prove a result on the $c$-vectors of forks that allows us to show that the $c$-vectors of both abundant acyclic quivers on any number of vertices and mutation-cyclic quivers on three vertices are sign-coherent with only elementary methods.

We study the counting problem of BPS D-branes wrapping holomorphic cycles of a general toric Calabi-Yau manifold. We evaluate the Jeffrey-Kirwan residues for the flavoured Witten index for the supersymmetric quiver quantum mechanics on the worldvolume of the D-branes, and find that BPS degeneracies are described by a statistical mechanical model of crystal melting. For Calabi-Yau threefolds, we reproduce the crystal melting models long known in the literature. For Calabi-Yau fourfolds, however, we find that the crystal does not contain the full information for the BPS degeneracy and we need to explicitly evaluate non-trivial weights assigned to the crystal configurations. Our discussions treat Calabi-Yau threefolds and fourfolds on equal footing, and include discussions on elliptic and rational generalizations of the BPS states counting, connections to the mathematical definition of generalized Donaldson-Thomas invariants, examples of wall crossings, and of trialities in quiver gauge theories.

Building upon previous works of Proudfoot and Ramos, and using the categorical framework of Sam and Snowden, we extend the weak categorical minor theorem from undirected graphs to quivers. As case of study, we investigate the consequences on the homology of multipath complexes; eg. on its torsion. Further, we prove a comparison result: we show that, when restricted to directed graphs without oriented cycles, multipath complexes and matching complexes yield functors which commute up to a blow-up operation on directed graphs. We use this fact to compute the homotopy type of matching complexes for a certain class of bipartite graphs also known as half-graphs or ladders. We complement the work with a study of the (representation) category of cones, and with analysing related consequences on magnitude cohomology of quivers.

We introduce a new combinatorial structure of linked tableaux, which generalize the semi-standard tableaux that index a SAGBI basis of the Plücker coordinate ring of a flag variety. We show that linked tableaux index Domokos-Zubkov semi-invariants, which span the semi-invariant ring of a quiver. The semi-invariant ring of a quiver coincides in many cases with the Cox ring of an associated quiver moduli space. We show that these semi-invariants satisfy straightening laws. In the case of the generalized Kronecker quiver, we prove that the semi-invariants associated to semi-standard linked tableaux are a (possibly infinite) SAGBI basis. For the generalized Kronecker quiver with dimension vector (2,2), we show that the SAGBI basis is finite and describe it explicitly.

In this paper, we apply the techniques developed in [5] to present several consequences of studying UMP algebras and the ramifications graph of a monomial bound quiver algebra. Specifically, we prove that every weakly connected component of the ramifications graph of a UMP monomial algebra is unilaterally connected. Furthermore, using the main result characterizing UMP algebras in the monomial context, we prove that the class of UMP algebras is equivalent to the class of special multiserial algebras when the algebra is a quadratic monomial algebra. Based on this equivalence and the classification of Chen-Shen-Zhou on Gorenstein projective modules in [6], we extend their results to the class of monomial special multiserial UMP algebras, where we use the analysis of homological properties on quadratic monomial algebras given by these authors.

Stable envelopes, introduced by Maulik and Okounkov, provide a family of bases for the equivariant cohomology of symplectic resolutions. The theory of stable envelopes provides a fascinating interplay between geometry, combinatorics and integrable systems. In this expository article, we give a self-contained introduction to cohomological stable envelopes of type A bow varieties (an interesting class of varieties extending Nakajima quiver varieties). Our main focus is on the existence and the orthogonality properties of stable envelopes for bow varieties. The restriction to this specific class of varieties allows us to illustrate the theory combinatorially and to provide simplified proofs, both laying a basis for explicit calculations.

We introduce quivers of valuated matroids and study their tropical parameter spaces. We define quiver Dressians, which parametrize containment of tropical linear spaces after tropical matrix multiplication, and show that tropicalizations of quiver Grassmannians parametrize the realizable analogue. We further introduce affine morphisms of valuated matroids and show compatibility with weakly monomial quiver representations. Finally, we show that starting in ambient dimension 2, quiver Dressians can have nonrealizable points.

We introduce a class of 4-dimensional crystal melting models that count the BPS bound state of branes on toric Calabi-Yau 4-folds. The crystalline structure is determined by the brane brick model associated to the Calabi-Yau 4-fold under consideration or, equivalently, its dual periodic quiver. The crystals provide a discretized version of the underlying toric geometries. We introduce various techniques to visualize crystals and their melting configurations, including 3-dimensional slicing and Hasse diagrams. We illustrate the construction with the D0-D8 system on $\mathbb{C}^4$. Finally, we outline how our proposal generalizes to arbitrary toric CY 4-folds and general brane configurations.

We utilize the coherent-constructible correspondence to construct full strongly exceptional collections of nef line bundles in the derived category of a toric variety through the combinatorics of constructible sheaves built from polytopes. To show that sequences are full, we build exact complexes of line bundles that categorify the relations in the McMullen polytope algebra. We compute the homomorphisms between certain constructible sheaves on polytopes and use this to reduce the question of exceptionality to showing that certain set differences of polytopes are contractible. As an application of our method, we construct full strongly exceptional collections of nef line bundles for the toric varieties associated to the permutahedron, stellahedron, and the type $B_n$ Coxeter permutahedron. The line bundles in our collections are indexed by base polytopes of loopless Schubert matroids, independence polytopes of all Schubert matroids, and feasible polytopes of loopless Schubert delta matroids, respectively. Our collections satisfy a number of nice properties: First, the quiver with relations that encodes the endomorphism algebra of the tilting sheaf can be described matroid-theoretically as a slight extension of the notion of weak maps and inclusion of matroids; Second, our collections are invariant under the natural symmetries of the corresponding fans; Finally, the induced semi-orthogonal decomposition of the derived categories refines the cuspidal semi-orthogonal decomposition as studied by Castravet and Tevelev. This gives a full strongly exceptional collection of nef line bundles for the cuspidal parts of the derived categories of our varieties indexed by loopless and coloopless Schubert matroids and Schubert delta matroids.

We prove that any invariant of a 4-quiver, that is piecewise polynomial, moreover, polynomial for fixed signs of entries, is a function of determinant of a quiver.

We prove a universal substitution formula that compares generating series of Euler characteristics of Nakajima quiver varieties associated with affine ADE diagrams at generic and at certain nongeneric stability conditions via a study of collapsing fibres in the associated variation of GIT map, unifying and generalising earlier results of the last two authors with Némethi and of Nakajima. As a special case, we compute generating series of Euler characteristics of noncommutative Quot schemes of Kleinian orbifolds. In type A and rank 1, we give a second, combinatorial proof of our substitution formula, using torus localisation and partition enumeration. This gives a combinatorial model of the fibers of the variation of GIT map, and also leads to relations between our results and the representation theory of the affine and finite Lie algebras in type A.

We prove that for any possibly-punctured surface with non-empty boundary $\mathbfΣ=(Σ, \mathbb{M}, \mathbb{P})$, and any tagged triangulation $T$ of $\mathbfΣ$ in the sense of Fomin--Shapiro--Thurston, the coefficient-free bangle functions of Musiker--Schiffler--Williams coincide with the coefficient-free generic Caldero--Chapoton functions arising from the Jacobian algebra of the quiver with potential $(Q(T), W(T))$ associated to $T$ by Cerulli Irelli and the second author. When the set of boundary marked points $\mathbb{M}$ has at least two elements, Schröer and the first two authors have shown, relying heavily on results of Mills, Muller and Qin, that the generic coefficient-free Caldero-Chapoton functions form a basis of the coefficient-free (upper) cluster algebra $\mathcal{A}(\mathbfΣ)=\mathcal{U}(\mathbfΣ)$. So, the set of bangle functions proposed by Musiker--Schiffler--Williams over ten years ago is indeed a basis.

Let $\mathcal{X}$ be a skew-symmetrizable cluster Poisson variety. The cluster complex $Δ^+(\mathcal{X})$ was introduced by Gross, Hacking, Keel and Kontsevich. It codifies the theta functions on $\mathcal{X}$ that restrict to a character of a seed torus. Every seed ${ \bf s}$ for $\mathcal{X}$ determines a fan realization $Δ^+_{\bf s}(\mathcal{X})$ of $Δ^+(\mathcal{X})$. For every ${\bf s}$ we provide a simple and explicit description of the cones of $Δ^+_{\bf s}(\mathcal{X})$ and their facets using ${\bf c}$-vectors. Moreover, we give formulas for the theta functions parametrized by the integral points of $Δ^+_{ \bf s}(\mathcal{X})$ in terms of $F$-polynomials. In case $\mathcal{X}$ is skew-symmetric and the quiver $Q$ associated to ${\bf s}$ is acyclic, we describe the normal vectors of the supporting hyperplanes of the cones of $Δ^+_{\bf s}(\mathcal{X})$ using ${\bf g}$-vectors of (non-necessarily rigid) objects in $\mathsf{K}^{\rm b}(\text{proj} \; kQ)$.

A dimer model is a quiver with faces embedded in a surface. We define and investigate notions of consistency for dimer models on general surfaces with boundary which restrict to well-studied consistency conditions in the disk and torus case. We define weak consistency in terms of the associated dimer algebra and show that it is equivalent to the absence of bad configurations on the strand diagram. In the disk and torus case, weakly consistent models are nondegenerate, meaning that every arrow is contained in a perfect matching; this is not true for general surfaces. Strong consistency is defined to require weak consistency as well as nondegeneracy. We prove that the completed as well as the noncompleted dimer algebra of a strongly consistent dimer model are bimodule internally 3-Calabi-Yau with respect to their boundary idempotents. As a consequence, the Gorenstein-projective module category of the completed boundary algebra of suitable dimer models categorifies the cluster algebra given by their underlying quiver. We provide additional consequences of weak and strong consistency, including that one may reduce a strongly consistent dimer model by removing digons and that consistency behaves well under taking dimer submodels.

A dimer model is a bipartite graph described on the real two-torus, and it gives the quiver as the dual graph. It is known that for any three-dimensional Gorenstein toric singularity, there exists a dimer model such that a GIT quotient parametrizing stable representations of the associated quiver is a projective crepant resolution of this singularity for some stability parameter. It is also known that the space of stability parameters has the wall-and-chamber structure, and for any projective crepant resolution of a three-dimensional Gorenstein toric singularity can be realized as the GIT quotient associated to a stability parameter contained in some chamber. In this paper, we consider dimer models giving rise to projective crepant resolutions of a toric compound Du Val singularity. We show that sequences of zigzag paths, which are special paths on a dimer model, determine the wall-and-chamber structure of the space of stability parameters. Moreover, we can track the variations of stable representations under wall-crossing using the sequences of zigzag paths.