arXiv++ Combinatorics

We study asymptotics of the $d=4$, $\mathcal{N}=1$ superconformal index for toric quiver gauge theories. Using graph-theoretic and algebraic factorization techniques, we obtain a cycle expansion for the large-$N$ index in terms of the $R$-charge-weighted adjacency matrix. Applying saddle-point techniques at the on-shell $R$-charges, we determine the asymptotic degeneracy in the univariate specialization for $\hat{A}_{m}$, and along the main diagonal for the bivariate index for $\mathcal{N}=4$ and $\hat{A}_{3}$. In these cases we find $\ln |c_{n}| \sim γn^{\frac{1}{2}}+ β\ln n + α$ (Hardy-Ramanujan type). We also identify polynomial growth for $dP3$, $Y^{3,3}$ and $Y^{p,0}$, and give numerical evidence for $γ$ in further $Y^{p,p}$ examples. Finally, we generalize Murthy's giant graviton expansion via the Hubbard-Stratonovich transformation and Borodin-Okounkov formula to multi-matrix models relevant for quivers.

This paper is the second part of a series that intends to study the resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$. As in the first part, we continue to focus on gentle quivers $(Q,R)$, where $Q$ is a directed tree, known as gentle trees. In our previous work, via a modified surface model for gentle algebras with finite global dimension, we studied the join-irreducible elements of the lattice of resolving subcategories of $\mathbb{K}Q/\langle R \rangle - \text{mod}$, which happen to be those generated by a non-projective indecomposable object. In this paper, we notice that this lattice is not semidistributive in general and, accordingly, introduce a so-called upper join-decomposition, replacing the canonical one. Together with the techniques we develop in our geometric model, it allows us to describe the resolving subcategories of any gentle tree. These same techniques let us explicitly construct the resolving subcategory generated by any collection of indecomposable $\mathbb{K}Q/\langle R\rangle$-modules.

Positroid subvarieties of complex Grassmannians are the images of the Richardson subvarieties of the full flag varieties under the natural projection map. Positroid varieties admit natural embedding into certain quiver Grassmannians for equioriented cyclic quivers. Varying representations of the quiver, one defines global positroid varieties inside the type A global affine Grassmannian. General fiber of a family is isomorphic to the corresponding classical positroid variety and the special fiber is a subvariety of the juggling variety. We show that the global positroid families are flat and describe their (conjecturally reduced) scheme structures. We also describe the special fibers inside the product of classical positroid varieties and realize the irreducible components of the special fibers in terms of the affine Richardson varieties.

We generalize the theory of integer $C$-, $G$-matrices in cluster algebras to the real case. By a skew-symmetrizing method, we can reduce the problem of skew-symmetrizable patterns to the one of skew-symmetric patterns. In this sense, we extend the sign-coherence of integer $C$-, $G$-matrices proved by Gross-Hacking-Keel-Kontsevich to a more general real class called of quasi-integer type. Furthermore, we give a complete classification of this type by a combinatorial method of real weighted quivers. However, the sign-coherence of real $C$-, $G$-matrices does not always hold in general. For this purpose, we classify all the rank $2$ case and the finite type case via the Coxeter diagrams. We also give two conjectures about the real exchange matrices and $C$-, $G$-matrices. Under these conjectures, the dual mutation, $G$-fan structure and synchronicity property hold. As an application, the isomorphism of several kinds of exchange graphs is studied.

We apply spectral graph theory and a theorem of A'Campo to express the first and second coefficients of the Coxeter polynomials associated with certain bipartite quivers in terms of the degrees of the vertices in their underlying graphs. As a consequence, we provide a new proof of a result by Happel, expressing the second coefficient of the Coxeter polynomial of a tree in terms of its vertex degrees.

Linked projective spaces are quiver Grassmanians of constant dimension one of certain quiver representations, called linked nets, over special class of quivers, called $\mathbb{Z}^n$-quivers. They were recently introduced as a tool for describing schematic limits of families of divisors. They are subschemes of products of projective spaces of the same dimension. It is an open question whether they are degenerations of the (small) diagonal. We show that they have the Chow class of the diagonal.

We develop a mutation theory for quivers with oriented 2-cycles using a structure called a homotopy, defined as a normal subgroupoid of the quiver's fundamental groupoid. This framework extends Fomin-Zelevinsky mutations of 2-acyclic quivers and yields involutive mutations that preserve the fundamental groupoid quotient by the homotopy. It generalizes orbit mutations arising from quiver coverings and allows for infinite mutation sequences even when orbit mutations are obstructed. We further construct quivers with homotopies from triangulations of marked surfaces with colored punctures, and prove that flips correspond to mutations, extending the Fomin-Shapiro-Thurston model to the setting with 2-cycles.

Let $G$ be a linear algebraic group defined over an algebraically closed field $k$, and let $V$ be a vector space on which $G$ acts linearly. The separating variety $\mathcal{S}_{G,V}$ is the subvariety of $V^2$ consisting of pairs of points indistinguishable by invariant polynomials in $k[V]^G$. Its geometry places restrictions on the existence of small separating sets, i.e. sets of invariants which distinguish the same points as the full algebra of invariants. The purpose of this article is to study the separating variety in the important special case where $G=\mathrm{GL}_p(\mathbb{C})$ acts on the set $V$ of $n$-tuples of $p \times p$ matrices by simultaneous conjugation. We define a purely combinatorial poset, $\mathcal{P}_{p,n}$, whose maximal elements are in 1-1 correspondence with the irreducible components of $\mathcal{S}_{G,V}$. We show that $\mathcal{S}_{G,V}$ is a variety of dimension $(n+1)p^2-1$, and determine its subdimension for all $n$ and $p$. In particular we show the subdimension is $(n+1)p^2-p$ if $n \geq 3$, or $n \geq 2$ and $p \geq 4$. In the case $n \geq 3$, we give a formula for the number of components of given codimension in $\mathcal{S}_{G,V}$. We give explicit decompositions of $\mathcal{S}_{G,V}$ for all $n$ where $p=2,3$ or $4$. Our results in particular show that when $n\geq 2$ and $p\geq 4$, or $n\geq 3$ and $p=3$, $\mathbb{C}[V]^G$ does not contain a polynomial or hypersurface separating set. It was proven in arXiv:2202.05717 that the same is true if $n \geq 4$ and $p=2$. The author made a conjecture in arXiv:2211.17088 generalising the Skronowski-Weyman theorem for representations of quivers. The results of this paper prove that conjecture in two important special cases: for the quiver with one vertex and an arbitrary number, $n$, of loops, and for the quiver with two vertices and $n$ arrows between them.

We propose a symmetrization relation between BPS quivers encoding 4d $\mathcal{N}=2$ theories and symmetric quivers associated to 3d $\mathcal{N}=2$ theories. We analyse in detail the symmetrization of BPS quivers for a series of $A_m$ Argyres-Douglas theories by engineering 3d-4d systems in geometric backgrounds involving appropriate 3-manifolds and Riemann surfaces. We discuss properties of these geometric backgrounds and derive the corresponding quiver partition functions from the perspective of skein modules, which forms the foundation of the symmetrization map for the minimal chamber. We also prove that the structure of wall-crossing in 4d $A_m$ Argyres-Douglas theories is isomorphic to the structure of unlinking of symmetric quivers encoding their partner 3d theories, which allows for a proper definition of the symmetrization map outside the minimal chamber. Finally, we show that the Schur indices of 4d theories are captured by symmetric quivers that include symmetrization of 4d BPS quivers.

The Brouwer conjecture (BC) in spectral graph theory claims that the sum of the largest k Kirchhoff eigenvalues of a graph are bounded above by the number m of edges plus k(k+1)/2. We show that (BC) holds for all graphs with n vertices if n is larger or equal than 4 times the square of the maximal vertex degree. We also note that (BC) for graphs implies (BC) for quivers.

We provide a topological characterization of quivers whose path algebra satisfies a polynomial identity. This class includes the oriented cycle and acyclic quivers and, in the latter case, we describe the associated T-ideal. We introduce a generalization of Arnold's A-graded algebras, which we call locally A-graded algebras, and prove that they are also PI. We give an example of a quiver algebra satisfying a polynomial identity, even if the path algebra of the quiver does not.

We explicitly compute the McKay quivers of small finite subgroups of $GL(2,\mathbb{C})$ relative to the natural representation, using character theory and the McKay quivers of finite subgroups of $SU(2)$. We present examples that shows the rich symmetry and combinatorial structure of these quivers. We compare our results with the MacKay quivers computed by Auslander and Reiten.

The goal of this paper is to better understand a family of linear degenerations of the classical Lagrangian Grassmannians $Λ(2n)$. It is the special case for $k=n$ of the varieties $X(k,2n)^{sp}$, introduced in previous joint work with Evgeny Feigin, Martina Lanini and Alexander Pütz. These varieties are obtained as isotropic subvarieties of a family of quiver Grassmannians $X(n,2n)$, and are acted on by a linear degeneration of the algebraic group $Sp_{2n}$. We prove a conjecture proposed in the paper above for this particular case, which states that the ordering on the set of orbits in $X(n,2n)^{sp}$ given by closure-inclusion coincides with a combinatorially defined order on what are called symplectic $(n,2n)$-juggling patterns, much in the same way that the $Sp_{2n}$ orbits in $Λ(2n)$ are parametrized by a type C Weyl group with the Bruhat order. The dimension of such orbits is computed via the combinatorics of bounded affine permutations, and it coincides with the length of some permutation in a Coxeter group of affine type C. Furthermore, the varieties $X(n,2n)$ are GKM, that is, they have trivial cohomology in odd degree and are equipped with the action of an algebraic torus with finitely many fixed points and 1-dimensional orbits. In this paper it is proven that $X(n,2n)^{sp}$ is also GKM, with respect to the action of a subtorus of the above torus.

The space of unit flows on a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. Amply framed DAGs and their triangulated flow polytopes have recently been connected with the representation theory of certain gentle algebras. We expand on this connection by defining a flow on the fringed quiver of an arbitrary gentle algebra. We call the space of unit flows its turbulence polyhedron. We show that support tau-tilting modules of a gentle algebra index a unimodular triangulation of its turbulence polyhedron. In the representation-infinite case, this triangulation is not complete and we give two different larger polyhedral dissections given by adding lower-dimensional walls to the picture. The turbulence polyhedron has a quotient map to what we define as the g-polyhedron lying in the ambient space of the g-vector fan, proving that gentle algebras are g-convex. Moreover, the images of our two types of walls under this quotient map provide two different interpretations for the complement of the g-vector fan of a gentle algebra.

We give a geometric model for the non-$τ$-rigid modules over acyclic path algebras of type $\widetilde{D}_n$. Similar models have been provided for module categories over path algebras of types $A_n, D_n,$ and $\widetilde{A}_n$ as well as the $τ$-rigid modules of type $\widetilde{D}_n$. A major draw of these geometric models is the "intersection-dimension formulas" they often come with. These formulas give an equality between the intersection number of the curves representing the modules in the geometric model and the dimension of the extension spaces between the two modules. This formula allows us to calculate the homological data between two modules combinatorially. Since there are infinitely many distinct homogeneous stable tubes in the regular component of the Auslander-Reiten quiver of type $\widetilde{D}_n$, all of which are disjoint, our geometric data requires an extra decoration on the admissible edges in our geometric model to prevent intersections between curves corresponding to modules in distinct stable tubes of the Auslander-Reiten quiver.

In this paper, we extend one of the main results from our joint work with Hone and Mase, in which we studied a deformed type $D_{4}$ map, to the general case of the type $D_{2N}$ for $N\geq3$. This can be achieved through a ``local expansion" operation, introduced in our joint work with Grabowski and Hone. This operation involves inserting a specific subquiver into the quiver arising from the Laurentification of the deformed type $D_{4}$ map. This insertion yields a new quiver, obtained through the Laurentification of the deformed type $D_{6}$ map and thus enables systematic generalization to higher ranks $D_{2N}$. We also study the degree growth of deformed type $D_{2N}$ map via the tropical method and conjecture that, for each $N$, the deformed map is an integrable, as indicated by the algebraic entropy test, the criterion for detecting integrability in the discrete dynamical systems.

We study the boundedness of a mutation class for quivers with real weights. The main result is a characterization of bounded mutation classes for real quivers of rank 3.

In this paper, we give a complete classification of silted algebras for the quiver $\overrightarrow{\mathbb{A}}_{n}$ of type $\mathbb{A}_{n}$ with linear orientation and for the quiver obtained from $\overrightarrow{\mathbb{A}}_{n}$ by reversing the arrow at the unique source. Based on the classification, we also compute the number of silted algebras for these two quivers.

Given two quivers, each with a reddening sequence, we show how to construct a plethora of mutation cycles. We give several examples, including a generalization of the construction of long mutation cycles in earlier work by the second author. We also give new results on the reddening sequences of certain mutation-acyclic quivers and forks, classifying them in some cases.

A congruence of the weak order is simple if its quotientope is a simple polytope. We provide an alternative elementary proof of the characterization of the simple congruences in terms of forbidden up and down arcs. For this, we provide a combinatorial description of the vertices of the corresponding quotientopes in terms of separating trees. This also yields a combinatorial description of all faces of the corresponding quotientopes. We finally explore algebraic aspects of separating trees, in particular their connections with quiver representation theory.