arXiv++ Combinatorics

In this paper, we provide a combinatorial interpretation for Laurent polynomials obtained by iteratively mutating a certain periodic quiver that has been framed with frozen vertices. This yields a family of cluster variables with principal coefficients associated to a family of integer sequences known as Gale-Robinson sequences. The work of this paper completes arguments for preliminary results announced in earlier work of Jeong-Musiker-Zhang, and relates to works of Bousquet-Mélou-Propp-West, Speyer, Vichitkunakorn, and of Eager-Franco.

We present a combinatorial model of configuration spaces and polytopes associated to the quotients of $\mathbb{C} A_n$, the path algebra of the linearly oriented $A_n$ quiver, i.e. the algebra of upper triangular matrices. These quotient algebras are known as linear Nakayama algebras. Such configuration spaces were recently introduced for more general algebras by the second author and collaborators. In this special setting, we provide elementary proofs and explicit combinatorial constructions. From a Dyck path we define three related objects: a finite-dimensional algebra, an affine algebraic variety, and a polytope. Moreover, our constructions are natural: each relation in the poset of Dyck paths gives a morphism between the corresponding objects.

We give a precise definition of mutation of skew symmetrizable matrices over group rings and relate it to folding and mutation of quivers with symmetries. These matrices can have non-zero diagonal entries and we explain a mutation rule in some of these cases as well. This new rule comes from a notion of a generalized mutation of an entire quiver or sub-quiver.

It is known that the existence of a maximal green sequence for a quiver associated to surfaces is equivalent to the equality of the cluster algebra and upper cluster algebra generated by the quiver. This paper makes the first steps in investigating this behavior in the generalised case of cluster algebras from orbifolds; determining when such surfaces admit a diagram with a maximal green sequence. Specifically, we will provide a triangulation for the orientable surfaces of genus $n$ with an arbitrary number of orbifold points and arbitrary number of punctures, determine when it has a maximal green sequence, and construct one if it exists.

We provide an ${\rm Ext}$-quiver and relations presentation for the basic algebra of the anti-spherical Hecke categories of isotropic Grassmannians, $H_{(D_n, A_{n-1})}$, in terms of cup-cap meta Kazhdan--Lusztig combinatorics and Temperley--Lieb diagrammatics.

We establish a ring isomorphism between the derived Hall algebra of the Jordan quiver and the ring of double symmetric functions (i.e., the ring of symmetric polynomials in two sets of countably many variables, invariant under the respective actions of their symmetric groups) with a parameter $t$. This isomorphism maps the derived Hall basis (the natural basis of the derived Hall algebra) to a class of double Hall-Littlewood (HL) symmetric functions, which are formulated via raising and lowering operators. These double HL functions are parameterized by bipartitions; they reduce to the classical HL functions when one of the partitions is empty, and specialize to Schur Laurent symmetric functions at $t = 0$. We also derive the Pieri rules for these double HL functions. Additionally, we obtain several natural generating functions for the derived Hall algebra as well as their transition relations, which can be transferred to the ring of double symmetric functions via the established ring isomorphism.

Flow cones of a directed acyclic graph admit a family of unimodular triangulations given by Danilov, Karzanov, and Koshevoy (DKK) whose normal fans are related to (generalizations) of the associahedron and permutahedron. A correspondence between these triangulations for certain graphs and maximal cones of a $g$-vector fan of a gentle quiver associated to the graph was discovered by von Bell, Braun, Bruegge, Hanely, Peterson, Serhiyenko, and Yip in 2022. This correspondence has been fruitful in uncovering lattice structures in the triangulations. We start by showing that this correspondence is actually a linear isomorphism. We then consider flow cones of certain graphs with cycles. For this case, we give a DKK-like triangulation of the cone, and extend the correspondence to the finite $g$-vector fan of a corresponding locally gentle quiver. In addition, we extend to cyclic graphs a mysterious result of Postnikov--Stanley and Baldoni--Vergne, giving the volume of flow polytopes of acyclic graphs as the number of certain integer flows on the same graph. We illustrate our results with a two-parameter family of cyclic graphs that includes a cycle graph and nested 2-cycles as special cases. We show that the fans of its DKK-like triangulations are respectively isomorphic to the normal fan of the cyclohedron and of a new polytope with the same $f$-vector but different combinatorial type than the permutahedron.

We construct gradings on the simple modules of 2-boundary Temperley--Lieb algebras and symplectic blob algebras by realising the latter algebras as quotients of Varagnolo--Vasserot's orientifold quiver Hecke algebras. We prove that the symplectic blob algebras are graded cellular and provide a conjectural algorithm for calculating their graded decomposition matrices. In doing so, we give the first explicit family of finite-dimensional graded quotients of the orientifold quiver Hecke algebras, providing a new entry point for the structure of these algebras -- in the spirit of Libedinsky--Plaza's ``blob algebra approach'' to modular representation theory.

This paper addresses the combinatorial structure of $m$-colored mutation classes. We provide an explicit and purely combinatorial description of the $m$-colored quivers that arise within the $m$-colored mutation class of a quiver of type $\mathbb{\widetilde{A}}$. Our results generalize and extend existing work, specifically recovering a description by Bastian [1] when the case $m=1$ is considered.

Cluster algebras, introduced by Fomin and Zelevinsky through the process of quiver mutation, have become central objects in modern algebra and geometry, linking combinatorial constructions with diverse mathematical domains such as Teichmuller theory, total positivity, and even theoretical physics. Building on foundational work by Fomin, Shapiro, and Thurston connecting cluster algebras to triangulated surfaces, recent research has extended mutation theory to infinite settings, including the infinity-gon and more general marked surfaces. In this paper, we develop a purely combinatorial framework for mutation of infinite quivers, independent of but compatible with these topological constructions. By formalizing infinite quivers as limits of embedded finite quivers, we establish a consistent definition of mutation that generalizes prior surface-based results. We then apply this framework to extend the notion of reddening sequences, special mutation sequences with significant algebraic consequences, from the finite to the infinite setting. Our approach not only unifies previous topological and combinatorial perspectives but also provides a technical foundation for further generalizations of cluster algebra theory in the infinite case.

We study the modular representation theory of rank $3$ association schemes arising from partial geometries with parameters $(s,t,α)$. First, we obtain an explicit closed formula for the Frame number of the point scheme in terms of the number of points $v$ and the parameter $s+t+1-α$, and use it to characterize the primes $p$ for which the adjacency algebra over $\mathbb{F}_p$ is not semisimple. We then give a complete case-by-case description of the Jacobson radical of this algebra in four arithmetic situations and determine the generic $p$-ranks of the adjacency matrices. As a step toward understanding the modular representation theory of coherent configurations of type $[3,2;3]$ associated with strongly regular designs, we analyze the relationship between the modular structure of the point scheme and that of the design algebra. For the generalized quadrangle $\mathrm{GQ}(2,2)$ we obtain partial results on the structure of the $2$-modular adjacency algebra $\mathbb{F}_2 \mathfrak{X}$, and we explain the representation-theoretic difficulties that prevent a complete determination of its Wedderburn decomposition and Gabriel quiver, which remains open and is formulated as Problem~6.8.

In the space of equioriented type $A$ quiver representations, we define subvarieties called "open quiver loci" by placing strict rank conditions on the maps within representations. The closures of these subvarieties are the quiver loci, whose equivariant cohomology classes are the quiver polynomials of Buch and Fulton. We present one geometric formula and two combinatorial formulas that compute equivariant Chern--Schwartz--MacPherson (CSM) classes of open quiver loci; these classes refine the data of the quiver polynomials. The second combinatorial formula is in terms of "chained generic pipe dreams," which modify the pipe dreams of Bergeron and Billey to more strongly resemble the lacing diagrams of Abeasis and Del Fra. We also present two new formulas for quiver polynomials; these are streamlined versions of known formulas due to Knutson, Miller, and Shimozono, in the sense that they contain fewer terms.

We study rank-2 cluster scattering diagrams through moduli spaces of quiver representations and a recently developed combinatorial framework of tight gradings. Combining quiver-theoretic and combinatorial methods, we prove and extend a collection of conjectures posed by Elgin--Reading--Stella concerning the structural and enumerative properties of the wall-function coefficients. The tight grading perspective also provides a new proof of the Weyl group symmetry of the scattering diagram.

For the quiver Hecke algebra $R$, let $R\hbox{-gmod}$ be the category of finite-dimensional graded $R$-modules, and let $\widetilde{R\hbox{-gmod}[w]}$ be the localization of $R\hbox{-gmod}$. Kashiwara and the second author showed the set of equivalence classes of simple objects up to grading shifts $\mathrm{Irr}(\widetilde{R\hbox{-gmod}[w]})$ in $\widetilde{R\hbox{-gmod}[w]}$ has a crystal structure, and $\mathrm{Irr}(\widetilde{R\hbox{-gmod}[w]})$ is isomorphic to the so-called cellular crystal $\mathbb B_{\mathbf i}$. This isomorphism induces a function $\varepsilon_i^*$ on $\mathbb B_{\mathbf i}$. We give an explicit formula of $\varepsilon_i^*$, and using this formula, we give a characterization of the unit object of $\widetilde{R\hbox{-gmod}[w]}$ for the case of classical finite types.

We show that the path algebra of a quiver satisfies the same polynomial identities of an algebra of matrices, if any. In particular, the algebra of nxn matrices is PI-equivalent to the path algebra of the oriented cycle with n vertices.

We study a class of Grassmannians of sub-bimodules over the path algebras of quivers. Our quiver Grassmannians include Escobar's brick manifolds as well as Labelle's generalizations. We give an explicit construction of the varieties in question, provide examples and clarify connection with the quiver representation spaces. We also prove smoothness of our Grassmannians, construct cellular decompositions and derive a realization as framed moduli spaces. The framed moduli realization leads to a recursive formula for the motives.

We consider cohomological stable envelopes for a natural torus action $\mathsf{T}$ on $X=T^*Gr(k,n)$, introduced by Maulik-Okounkov. We define the $\mathbb{C}^*_\hbar$-equivariant integral of the stable envelope using equivariant localization over the subtorus $\mathbb{C}^*_\hbar\subset\mathsf{T}$, and compute the integral as a non-equivariant limit of the localization over the full torus, $\mathsf{T}$. The integral of such a class is an integer times a power of $\hbar$, and the main result of this paper is a combinatorial formula for these integers. In 3d mirror symmetry, these non-equivariant limits are expected to reflect some curve counting phenomena on the 3d mirror dual, $X^\vee$. When $k=1$, we obtain the binomial coefficients, and we study some of the combinatorics of the integers for higher $k$, which haven't appeared in the literature before. We give some conjectures and interpretations on extending this phenomena to type A quiver and bow varieties.

On one hand, exact structures were introduced by D. Quillen in the '70s. They can be defined as collections of short exact sequences in a fixed abelian category satisfying additional properties. On the other hand, in a recent work, A. Garver, R. Patrias, and H. Thomas introduced Jordan recoverability. Given a bounded quiver $(Q,R)$, a full additive subcategory of $\operatorname{rep}(Q,R)$ is said to be Jordan recoverable if any $X \in \mathscr{C}$ can be recovered, up to isomorphism, from the Jordan form of its generic nilpotent endomorphisms. Such a subcategory $\mathscr{C}$ is said to be canonically Jordan recoverable if, moreover, there exists a precise algebraic procedure that allows one to get back $X \in \mathscr{C}$ from that same Jordan form data. We introduce a new family of operators, called Gen-Sub operators $\operatorname{GS}_\mathcal{E}$, parametrized by the exact structures $\mathcal{E}$ of abelian categories. After showing some properties of those operators in hereditary abelian categories, by focusing on the setting of modules over type $A$ quivers endowed with the diamond exact structure $\mathcal{E}_\diamond$, we establish that the maximal canonically Jordan recoverable subcategories are precisely of the form $\operatorname{GS}_{\mathcal{E}_\diamond}(T)$ for some tilting object $T$.

We study what we call the Hom-Ext quiver and characterize it as a type of 'superquiver'. In type $\widetilde{\mathbb{A}}$, the Hom-Ext quiver of an exceptional set is the tiling algebra of the corresponding geometric model. And, in that case, Hom-Ext quivers classify exceptional sets up to Dehn twist of the corresponding geometric model. We show that these Dehn twists are realized by twist functors and give autoequivalences of the derived category. We provide a generating set for the group of autoequivalences of the derived category in type $\widetilde{\mathbb{A}}$, and show that the Hom-Ext quiver classifies exceptional sets up to derived autoequivalence. We introduce superquivers, which are a generalization of Hom-Ext quivers. Exceptional sets over finite acyclic quivers are realized as representations of superquivers. Throughout, we list several questions and conjectures that make for, what we believe, exciting new research.

For each finite Coxeter group $W$ and each standard Coxeter element of $W$, we construct a triangulation of the $W$-permutahedron. For particular realizations of the $W$-permutahedron, we show that this is a regular triangulation induced by a height function coming from the theory of total linear stability for Dynkin quivers. We also explore several notable combinatorial properties of these triangulations that relate the Bruhat order, the noncrossing partition lattice, and Cambrian congruences. Each triangulation gives an explicit mechanism for relating two different presentations of the corresponding braid group (the standard Artin presentation and Bessis's dual presentation). This is a step toward uniformly proving conjectural simple, explicit, and type-uniform presentations for the corresponding pure braid group.