arXiv++ Combinatorics

The parametrization of Borel orbits on classical symmetric varieties G/K is traditionally described via the combinatorics of clans, developed by Matsuki, Oshima, Wyser, and Yamamoto. We provide a quiver-theoretic reproof of the indexing sets for G = GL_n or Sp_{2n} and K a two-block Levi subgroup using Gabriel's Theorem. This method reveals an unexpected independence from algebraic closure: while orbit counts for most symmetric varieties are sensitive to the base field, our parametrizations remain valid over arbitrary fields for GL_n, and in characteristic not 2 for Sp_{2n}. We further reformulate these sets via matchings in corona graphs to derive new enumerative results, including the ultra log-concavity of orbit counts.

We study the integer sequence that enumerates cokernel-closed, idempotent split, full, additive subcategories of the category of finite dimensional complex representations of a uniformly oriented $A_n$ quiver. Using a combinatorial model, we describe a non-obvious connection of this sequence to Catalan numbers and derive an implicit recurrence. We also describe some basic properties of the lattice underlying the sequences, in particular, we give an explicit description of the meet irreducible elements of that lattice.

Linked projective spaces are quiver Grassmannians of subspaces of dimension 1 of certain quiver representations. Degenerations of linear series produce these representations, with the limit divisors parameterized by the associated linked projective spaces. It is not known whether all linked projective spaces arise this way. If they do, they are degenerations of the (small) diagonal in a product of projective spaces. In any case, we prove here that they have the (multivariate) Hilbert polynomial of the diagonal. To achieve this, we first extend a Hilbert-polynomial formula for multiplicity-free varieties to (simple) normal-crossings schemes with multiplicity-free strata in products of projective spaces. Then we prove that a linked projective space is normal-crossings, by describing it locally in terms of Mustafin varieties. Finally, we use a relation between intersections of components of the linked projective space and certain polytopes in the tiling of a simplex associated to the linked net to prove that our formula for the Hilbert polynomial applies.

We study skew-symmetrizable cluster algebras $\mathcal{A}$ associated with unpunctured surfaces $\tilde{\mathbf{S}}$ endowed with an orientation-preserving involution $ς$. We give a geometric realization of such cluster algebras by showing that cluster variables of $\mathcal{A}$ correspond to non-crossing $ς$-orbits $[γ]$ of arcs of $\tilde{\mathbf{S}}$, while clusters are given by admissible $ς$-invariant triangulations. We establish a formula expressing some cluster variables of $\mathcal{A}$ in terms of those of a skew-symmetric cluster algebra of the same rank, which is combinatorially derived from $\mathcal{A}$. We use this result to provide a cluster expansion formula in terms of perfect matchings of some labeled modified snake graphs constructed from the arcs of $[γ]$. Then, we associate a symmetric finite-dimensional algebra $A$ to $\mathcal{A}$, such that non-initial cluster variables correspond to some orthogonal indecomposable $A$-modules. Finally, we exhibit a purely representation-theoretic map to $\mathcal{A}$, providing a Caldero-Chapoton map in this setting.

Børve, Horiatakis, and Kalck defined the magnitude of the module category of a representation-finite algebra as the sum of the entries of the inverse of the matrix of Hom dimensions between indecomposable modules. They showed it is an Euler characteristic, the alternating count of vertices, arrows, and meshes of the Auslander--Reiten quiver, and conjectured that it is at least the number of simple modules, with equality precisely for special biserial algebras. We prove this conjecture over an algebraically closed field. For a representation-directed algebra, we relate the magnitudes of the module category, the subcategory of modules without a given simple composition factor, and the ideal quotient by it. By the theory of hammocks of Ringel and Vossieck, this quotient is equivalent to a category of representations of a finite poset, whose magnitude we compute. The general case reduces to the representation-directed case through algebras obtained by grading a standard form.

We develop a Hopf-algebraic theory of the graph coefficients arising in the quantum Magnus expansion. At the classical level, the graph expansion is governed by directed trees, whereas its quantum counterpart involves loop graphs, multiple edges, and different types of edge data. We introduce a contraction Hopf algebra of mixed quivers containing these physical diagrams and closed under contraction. On the Hopf subalgebra spanned by quivers, we define a character $e$ from normalized linear-extension data and a tadpole prescription, and let $ω$ be its convolution inverse. Our main result is a universal closed formula for the connected function $ω_c$ on every finite quiver. The formula is a finite sum over ordered set partitions of the vertex set and is valid without acyclicity or simplicity assumptions. We also give a local characterization: a two-vertex contraction identity, together with tadpole factorization, vanishing on disconnected graphs, and boundary data, determines $ω_c$ uniquely. For acyclic quivers, the general formula reduces to a permutation formula whose coefficients depend only on descent numbers. We derive the same formula independently from the quantum Magnus expansion via operator products and Wick contractions, showing that its physical graph coefficients are governed by the convolution structure of the contraction Hopf algebra. As further consequences, we obtain a refined quantum Murua formula and orientation-sum identities related to Tutte and chromatic polynomials.

Strassen founded the theory of the asymptotic spectrum of tensors to study the complexity of matrix multiplication. A central challenge in this theory is to explicitly construct new spectral points. In Crelle 1991, Strassen proposed the upper support functionals $ζ^θ$ as candidate spectral points, where $θ$ ranges over a triangle $Θ$. Recent progress, involving tools and ideas from quantum information theory (Christandl-Vrana-Zuiddam, STOC 2018, JAMS 2023) and convex optimization (Hirai, 2025), culminated in the proof that the upper support functionals are indeed spectral points over the complex numbers (Sakabe-Doğan-Walter, 2026). In this paper, we give an even clearer picture of the situation for support functionals when $θ$ lies along the edges of the triangle. We show that not only are these functionals spectral points, but that they are uniquely determined as spectral points by their behavior on matrix multiplication tensors. As our methods are algebraic, as a corollary this gives the first explicit nontrivial spectral points over arbitrary fields. As part of our argument, we show a close connection between the edge support functionals and Harder-Narasimhan filtrations from quiver representation theory. We thus show, using recent work in algorithmic invariant theory, that these support functionals can be computed in deterministic polynomial time. Other ingredients of our proof include a new criterion for abstractly characterizing asymptotic tensor ranks by spectral points, and a characterization of the edge support functionals in terms of matrix multiplication capacity. As another application of these tools, we prove the existence of spectral points for higher-mode tensors beyond those currently known.

We derive new exact formulae for elliptic genera in two spacetime dimensions with $\mathcal{N}\ge 2$ supercharges, as well as their one- and zero-dimensional counterparts (for Witten indices and matrix-model partition functions). Our results are written as a discrete sum over geometric/combinatorial structures of crystals introduced previously by the authors. The contribution from each crystal may be expressed in terms of the boundary data of a finite substructure of the crystal called the molecules. Our results provide vast generalisations of the celebrated Nekrasov partition function enumerated by the Young diagrams, and uncover new combinatorics underlying the crystal melting. We also analyse the thermodynamic limit of crystals arising from two-dimensional $\mathcal{N}=(0,2)$ theories associated with toric Calabi-Yau fourfolds, where a projection of the Calabi-Yau geometry emerges in the limit.

We consider the Cartan square $V^{2λ}$ of a minuscule representation $V^λ$ of a simply laced complex simple Lie algebra $\mathfrak g$. We construct for $V^{2λ}$ a family of bases, which we call quiver bases, each indexed by the set $\operatorname{RPP}_2(P_λ)$ of reverse plane partitions of height two on the minuscule poset $P_λ$ of $V^λ$. Let $Q$ be a quiver on the Dynkin diagram of $\mathfrak g$, and let $c_Q$ be the corresponding Coxeter element. The quiver basis $\mathcal B^Q$ is distinguished by the following property: Up to sign, the action of the Tits representative $\dot c_Q$ on $\mathcal B^Q$ lifts the action of $c_Q$, via piecewise-linear toggles, on $\operatorname{RPP}_2(P_λ)$. This proves uniformly that, for any minuscule poset $P$, piecewise-linear Coxeter-motion and rowmotion on $\operatorname{RPP}_2(P)$ exhibit the cyclic sieving phenomenon. In type~$A$, the quiver basis for the standard orientation recovers, up to rescaling, the canonical basis, whose compatibility with the long cycle was established by Rhoades. In other types, however, we show the canonical basis is not compatible with any Coxeter element.

We introduce posets of type $\mathbb{D}$, a family of posets described by an admissible Dynkin quiver of type $D_n$ together with a compatible set of extra arrows (alien arrows), and show that their socle-projective representation category is of finite representation type. Continuing, in the same spirit, a program initiated for posets of type $\mathbb{A}$ [R. Schiffler, R-J. Serna, A geometric realization of socle-projective categories for posets of type $\mathbb{A}$, J. Pure Appl. Algebra 224 (2020), no. 12, 106436], we build on an existing geometric model for cluster-tilted algebras of type $D_n$, whose geometric combinatorics is more intricate than that of type $\mathbb{A}$. Our main result establishes a $\Bbbk$-linear categorical equivalence $Θ$ between a full subcategory $(\mathcal C/T)_F$ of the arc category of a punctured $(n+3)$-gon, whose objects are certain $sp$-arcs, and the category of finitely generated socle-projective $\Bbbk\mathscr{P}$-modules, for $\mathscr{P}$ a poset of type $\mathbb{D}$. As a consequence, when the set of alien arrows is empty, we conclude that the cluster subalgebra generated by the $sp$-arcs coincides with the full cluster algebra.

We prove the uniqueness conjecture of Fomin and Neville for their long mutation cycles in all ranks $n\ge4$. More generally, we show that every nucleus-extension quiver has a unique simple cycle in its labeled mutation graph. These quivers allow an acyclic part of arbitrary size outside the nucleus. Our proof uses three mutation statuses determined by a closed nucleus and the full subquivers obtained by deleting one part of its nucleus decomposition at a time from the ambient quiver. We analyze transitions between these statuses to prove that every mutation leaving the prescribed cycle is performed at an exit.

This paper is the first part of a series that intends to study resolving subcategories for gentle algebras over an algebraically closed field $\mathbb{K}$. In a general setting, we improve the precision of Takahashi's algorithm for resolving closure calculations in well-behaved abelian categories. Then, we modify the geometric model of Baur--Coelho-Simões and Opper--Plamondon--Schroll to compute such subcategories for gentle quivers that have a finite global dimension. Finally, we focus on gentle quivers $(Q,R)$ such that $Q$ is a directed tree, and we study monogeneous resolving subcategories, which are the ones generated by a single non-projective indecomposable $\mathbb{K}Q/\langle R \rangle$-module. Moreover, we prove that these subcategories are the join-irreducible elements of the poset of all resolving subcategories ordered by inclusion.

The $F$-invariant in cluster algebras is a combinatorial invariant that unifies the $E$-invariant from additive categorification and the $\mathfrak{d}$-invariant from monoidal categorification. In this paper, we study its refinement, the partial $F$-invariant, and establish its mutation formula under changes of the initial seed. As an application, we prove a conjecture of Reading, which asserts that the non-compatible cluster variables can be separated by sign-coherence of $g$-vectors upon varying the initial seed. We further show that, for cluster monomials, the partial $F$-invariants coincide with both the partial $E$-invariants for reachable decorated representations of quivers with potentials and the pole orders of normalized $R$-matrices (or partial $\mathfrak{d}$-invariants) for finite-dimensional reachable simple modules over quantum affine algebras. As consequences, we obtain a combinatorial formula for the pole orders for reachable simple modules in terms of $q$-characters; we verify the conjectural explicit formula for the pole orders between Kirillov--Reshetikhin modules.

A quiver representation consists of a collection of vector spaces along with a set of arrows, which are linear maps between these spaces. In this work, we study quiver representations in equioriented type $A$ which are also chain complexes; that is, in which consecutive arrows compose to zero. We show that orbits of these representations under a change of basis action are in bijection with mixed dimer covers of a $2 \times n$ grid graph. The latter object can be endowed with a partial order which is a distributive lattice, and we show that the degeneration order on the orbits of chain complexes is a coarsening of this partial order. In addition, we use recent matrix formulae of Claussen and Ovenhouse to enumerate these orbits. This also computes the Kostant partition function applied to height-restricted, type $A$ roots. When the dimension vector is uniform, we discuss a correspondence with paths of a beam of light bouncing between glass plates and give an explicit generating function.

We study Fulton's universal Schubert polynomials $\mathfrak S_w(c)$ as regular functions on the upper unitriangular group $U_N$. The standard triangular cluster structure associates a Schubert $\sf g$-vector to every permutation. Their convex hull is unimodularly equivalent to $Δ_1\times\cdots\timesΔ_{N-1}$, and their root-degree fibers are parabolic Bruhat intervals realized by the strata of staircase quiver Grassmannians. The geometric (i.e., generic, canonical, and Mirković--Vilonen) elements indexed by these vectors form integral bases of Fulton's standard-elementary module. We prove that $\mathfrak S_w(c)$ is homogeneous under diagonal conjugation if and only if it is the corresponding canonical element, and that homogeneity of $\mathfrak S_w(c)$ implies $Λ_Q$-rigidity of $Z_{\sf g_w}$. We also classify simultaneously the unit columns of the geometric-to-Schubert transitions, determine support components of the PBW-to-geometric and code-to-Schubert transitions, and exhibit a permutation $w\in S_{10}$ for which the three geometric basis elements are distinct.

We study subcategories of the module category of a finite-dimensional algebra that are closed under quotients or submodules. We propose the quotient--submodule equidistribution conjecture: over a representation-finite algebra, the number of quotient-closed subcategories of size $i$ is equal to that of submodule-closed subcategories of size $i$ for every $i$, where size is the number of indecomposable modules in the subcategory. We prove the following cases of the conjecture: (1) the five smallest and five largest values of $i$, hence all algebras with at most nine indecomposable modules; (2) Nakayama algebras; (3) algebras with radical square zero; and (4) representation-directed algebras. In the last case, we classify quotient-closed subcategories by a lower Bruhat interval in a Coxeter group constructed from the Auslander--Reiten quiver, extending the classification of Oppermann--Reiten--Thomas for Dynkin quivers. We also prove that quotient closure defines a finitary convex geometry and classify the functorially finite quotient-closed subcategories by Gen-minimal modules.

The main result of this article shows that the quiver mutation class of a malleable real Morsification uniquely determines the integral monodromy module of a plane curve singularity. In particular, we show that the quiver mutation class of a malleable divide determines the complex topological type of an irreducible plane curve singularity. This establishes the algebraic-to-topological implication of a conjecture of S.~Fomin, P.~Pylyavskyy, E.~Shustin and D.~Thurston in the malleable irreducible case. The result is proven by developing representation-theoretic techniques based on an equivariant Euler pairing in the derived category of continuous finite-dimensional dg modules over a differential bigraded Ginzburg algebra. A key step uses these techniques to show that the quiver mutation class of a plabic fence uniquely recovers the torsion part of the Alexander module of the associated smooth link.

We show that isoclasses of iterated tilted algebras in type $A_n$ are in bijection with non-crossing spanning trees up to rotation on a convex n+1-gon. This is done by constructing a relationship between iterated tilted algebras up to isomorphism and exceptional sets up to isomorphic Hom-Ext quiver.

We give the first positive combinatorial rule for the multiplicities of irreducible $GL$-representations in the coordinate rings of type $A$ quiver orbit closures, valid for every orientation of the quiver. Previously, for the special case of varieties of complexes, work of De Concini--Strickland in the early 1980s gave an implicit description of these multiplicities. The combinatorial objects in our rule carry a crystal structure whose highest-weight elements compute these multiplicities.

The classical Durfee-square argument gives a combinatorial proof of the pentagon identity for the quantum dilogarithm. Just as the pentagon identity is associated with the $A_2$ quiver, Keller's identity is associated with the square-product quiver $A_2\square A_2$. Previous proofs of Keller's identity use cluster categories or spectral sequences in rapid-decay equivariant cohomology. We give three proofs of Keller's identity: a generating-function proof, an explicit weight-preserving bijection on colored partitions, and a standard-monomial proof using a four-colored arc algebra. Their common mechanism is an iterated Durfee decomposition: two possible pairings give horizontal and vertical decompositions, while a third binary step accounts for the coupling factor. These constructions provide a ``superpotential analogue'' of the Durfee-square argument.