arXiv++ Combinatorics

The $g$-fan of a finite dimensional algebra is a fan in its real Grothendieck group defined by tilting theory. We give a classification of complete $g$-fans of rank 2. More explicitly, our first main result asserts that every complete sign-coherent fan of rank 2 is a $g$-fan of some finite dimensional algebra. Our proof is based on three fundamental results, Gluing Theorem, Rotation Theorem and Subdivision Theorem, which realize basic operations on fans in the level of finite dimensional algebras. For each of 16 convex sign-coherent fans $Σ$ of rank 2, our second main result gives a characterization of algebras $A$ of rank 2 satisfying $Σ(A)=Σ$. As a by-product of our method, we prove that for each positive integer $N$, there exists a finite dimensional algebra $A$ of rank 2 such that the Hasse quiver of the poset of 2-term silting complexes of $A$ has precisely $N$ connected components.

In this paper, we demonstrate that the lattice structure of a set of clusters in a cluster algebra of finite type is anti-isomorphic to the torsion lattice of a certain Geiss-Leclerc-Schröer (GLS) path algebra and to the $c$-Cambrian lattice. We prove this by explicitly describing the exchange quivers of cluster algebras of finite type. Specifically, we prove that these quivers are anti-isomorphic to those formed by support $τ$-tilting modules in GLS path algebras and to those formed by $c$-clusters consisting of almost positive roots.

This is a sequel to the second and third author's Mixed Dimer Configuration Model in Type $D$ Cluster Algebras where we extend our model to work for quivers that contain oriented cycles. Namely, we extend a combinatorial model for $F$-polynomials for type $D_n$ using dimer and double dimer configurations. In particular, we give a graph theoretic recipe that describes which monomials appear in such $F$-polynomials, as well as a graph theoretic way to determine the coefficients of each of these monomials. To prove this formula, we provide an explicit bijection between mixed dimer configurations and dimension vectors of submodules of an indecomposable Jacobian algebra module.

The stretched Littlewood-Richardson coefficient $c^{tν}_{tλ,tμ}$ was conjectured by King, Tollu, and Toumazet to be a polynomial function in $t.$ It was shown to be true by Derksen and Weyman using semi-invariants of quivers. Later, Rassart used Steinberg's formula, the hive conditions, and the Kostant partition function to show a stronger result that $c^ν_{λ,μ}$ is indeed a polynomial in variables $ν, λ, μ$ provided they lie in certain polyhedral cones. Motivated by Rassart's approach, we give a short alternative proof of the polynomiality of $c^{tν}_{tλ,tμ}$ using Steinberg's formula and a simple argument about the chamber complex of the Kostant partition function.

Let $Q$ be a bipartite quiver with vertex set $Q_0$ such that the number of arrows between any source vertex and any sink vertex is constant. Let $β=(β(x))_{x \in Q_0}$ be a dimension vector of $Q$ with positive integer coordinates. Let $rep(Q, β)$ be the representation space of $β$-dimensional representations of $Q$ and $GL(β)$ the base change group acting on $rep(Q, β)$ be simultaneous conjugation. Let $K^β_{\underlineλ}$ be the multiplicity of the irreducible representation of $GL(β)$ of highest weight $\underlineλ$ in the ring of polynomial functions on $rep(Q, β)$. We show that $K^β_{\underlineλ}$ can be expressed as the number of lattice points of a polytope obtained by gluing together two Knutson-Tao hive polytopes. Furthermore, this polytopal description together with Derksen-Weyman's Saturation Theorem for quiver semi-invariants allows us to use Tardos' algorithm to solve the membership problem for the moment cone associated to $(Q,β)$ in strongly polynomial time.

Leclerc constructed a conjectural cluster structure on Richardson varieties in simply laced types using cluster categories. We show that in type A, his conjectural cluster structure is in fact a cluster structure. We do this by comparing Leclerc's construction with another cluster structure on type A Richardson varieties due to Ingermanson. Ingermanson's construction uses the combinatorics of wiring diagrams and the Deodhar stratification. Though the two cluster structures are defined very differently, we show that the quivers coincide and clusters are related by the twist map for Richardson varieties, recently defined by Galashin--Lam.

We construct a complete system of primitive orthogonal idempotents and give an explicit quiver presentation of the monoid algebra of the stylic monoid introduced by Abram and Reutenauer [arXiv:2106.06556].

In this paper, we will present the author's interpretation and embellishment of five lectures on cluster theory given by Kiyoshi Igusa during the Spring semester of 2022 at Brandeis University. They are meant to be used as an introduction to cluster theory from a representation-theoretic point of view. It is assumed that the reader has some background in representations of quivers.

In this paper we first study clusters in type $\tilde{\mathbb{A}}$ by collecting them into a finite number of infinite families given by Dehn twists of their corresponding triangulations, and show that these families are counted by the Catalan numbers. We also highlight the similarities and differences between the annuli diagrams used to study clusters and those used to study exceptional sets in type $\tilde{\mathbb{A}}$. We then focus on exceptional collections (sets) of modules over path algebras of quivers by first showing that the notion of relative projectivity in exceptional sets is well defined. We finish by counting the number of exceptional sets of representations of type $\mathbb{A}$ quivers with straight orientation and using this to count the number of families of exceptional sets of type $\tilde{\mathbb{A}}$ with straight orientation.

An unresolved conjecture by Graham Higman states that for all $n\geq 1$ the number of conjugacy classes of the group of $n \times n$ unitriangular matrices with entries in the finite field $\mathbb{F}_q$ is a polynomial in $q$. In this paper we introduce a new quiver generalization of the conjecture. Motivated by this generalization, we prove that certain operations on quivers leave the relevant counts unchanged. Based on these invariance properties, we solve the introduced conjecture for quivers containing no path of length exceeding two, providing explicit formulas.

We study relations between cluster algebra invariants and link invariants. First, we show that several constructions of positroid links (permutation links, Richardson links, grid diagram links, plabic graph links) give rise to isotopic links. For a subclass of permutations arising from concave curves, we also provide isotopies with the corresponding Coxeter links. Second, we associate a point count polynomial to an arbitrary locally acyclic quiver. We conjecture an equality between the top $a$-degree coefficient of the HOMFLY polynomial of a plabic graph link and the point count polynomial of its planar dual quiver. We prove this conjecture for leaf recurrent plabic graphs, which includes reduced plabic graphs and plabic fences as special cases.

We interpret the Landau-Ginzburg potentials associated to Gross-Hacking-Keel-Kontsevich's partial compactifications of cluster varieties as F-polynomials of projective representations of Jacobian algebras. Along the way, we show that both the projective and the injective representations of Jacobi-finite quivers with potential are well-behaved under Derksen-Weyman-Zelevinsky's mutations of representations.

We derive a geometric model for the module category $\operatorname{mod} \mathbf{k} Q$ of a Dynkin quiver $Q$ via the heart of a total stability condition on the bounded derived category of $\operatorname{mod} \mathbf{k} Q$. As an application, we prove Reineke's conjecture that there is a stability function on $\operatorname{mod} \mathbf{k} Q$ making any indecomposables stable.

The $q$-Whittaker function $W_λ(\mathbf{x};q)$ associated to a partition $λ$ is a $q$-analogue of the Schur function $s_λ(\mathbf{x})$, and is defined as the $t=0$ specialization of the Macdonald polynomial $P_λ(\mathbf{x};q,t)$. We show combinatorially how to expand $W_λ(\mathbf{x};q)$ in terms of partial flags compatible with a nilpotent endomorphism over the finite field of size $1/q$. This yields an expression analogous to a well-known formula for the Hall-Littlewood functions. We show that considering pairs of partial flags and taking Jordan forms leads to a probabilistic bijection between nonnegative-integer matrices and pairs of semistandard tableaux of the same shape, proving the Cauchy identity for $q$-Whittaker functions. We call our probabilistic bijection the $q$-Burge correspondence, and prove that in the limit as $q\to 0$, we recover a description of the classical Burge correspondence (also known as column RSK) due to Rosso (2012). A key step in the proof is the enumeration of an arbitrary double coset of $\text{GL}_n$ modulo two parabolic subgroups, which we find to be of independent interest. As an application, we use the $q$-Burge correspondence to count isomorphism classes of certain modules over the preprojective algebra of a type $A$ quiver (i.e. a path), refined according to their socle filtrations. This develops a connection between the combinatorics of symmetric functions and the representation theory of preprojective algebras.

We apply the method of orbit harmonics to the set of break divisors and orientable divisors on graphs to obtain the central and external zonotopal algebras respectively. We then relate a construction of Efimov in the context of cohomological Hall algebras to the central zonotopal algebra of a graph $G_{Q,γ}$ constructed from a symmetric quiver $Q$ with enough loops and a dimension vector $γ$. This provides a concrete combinatorial perspective on the former work, allowing us to identify the quantum Donaldson-Thomas invariants as the Hilbert series of the space of $S_γ$-invariants of the Postnikov-Shapiro slim subgraph space attached to $G_{Q,γ}$. The connection with orbit harmonics in turn allows us to give a manifestly nonnegative combinatorial interpretation to numerical Donaldson-Thomas invariants as the number of $S_γ$-orbits under the permutation action on the set of break divisors on $G_{Q,γ}$. We conclude with several representation-theoretic consequences, whose combinatorial ramifications may be of independent interest.

We show the existence of cluster $\mathcal{A}$-structures and cluster Poisson structures on any braid variety, for any simple Lie group. The construction is achieved via weave calculus and a tropicalization of Lusztig's coordinates. Several explicit seeds are provided and the quiver and cluster variables are readily computable. We prove that these upper cluster algebras equal their cluster algebras, show local acyclicity, and explicitly determine their DT-transformations as the twist automorphisms of braid varieties. The main result also resolves the conjecture of B. Leclerc on the existence of cluster algebra structures on the coordinate rings of open Richardson varieties.

The notion of locality semigroups was recently introduced with motivation from locality in convex geometry and quantum field theory. We show that there is a natural correspondence between locality sets and quivers which leads to a concrete class of locality semigroups given by the paths of quivers. Further these path semigroups from paths are precisely the free objects in the category of locality semigroups with a rigid condition. This characterization gives a universal property of path algebras and at the same time a combinatorial realization of free rigid locality semigroups.

A conjecture of Kac now a theorem asserts that the polynomial now known as the Kac polynomial, which counts the isomorphism classes of absolutely indecomposable representations of a quiver over a finite field with a given dimension vector, has non-negative integer coefficients only. In this paper, we show that, for quivers with enough loops, every Kac polynomial can be expressed as a sum of the refined Kac polynomials which are parametrized by tuples of partitions and have non-negative integer coefficients only. A closed formula for the refined Kac polynomials is given. We further introduce a new class of representations called blocks and make a conjectural interpretation of the refined Kac polynomials for quivers with enough loops in terms of the numbers of block representations.

We study the reflections of locally free Caldero-Chapoton functions associated to representations of Geiss-Leclerc-Schröer's quivers with relations for symmetrizable Cartan matrices. We prove that for rank 2 cluster algebras, non-initial cluster variables are expressed as locally free Caldero-Chapoton functions of locally free indecomposable rigid representations. Our method gives rise to a new proof of the locally free Caldero-Chapoton formulas obtained by Geiss-Leclerc-Schröer in Dynkin cases. For general acyclic skew-symmetrizable cluster algebras, we prove the formula for any non-initial cluster variable obtained by almost sink and source mutations.

We define two classes of representations of quivers over arbitrary fields, called monomorphic representations and epimorphic representations. We show that every representation has a unique maximal nilpotent subrepresentation and the associated quotient is always monomorphic, and every representation has a unique maximal epimorphic subrepresentation and the associated quotient is always nilpotent. The uniquenesses of such subrepresenations imply two identities in the Ringel-Hall algebra. By applying Reineke's integration map, we obtain two identities in the corresponding quantum torus.