arXiv++ Combinatorics

We introduce the tropical $F$-polynomial $f_M$ of a quiver representation $M$. We study its interplay with the general presentation for any finite-dimensional basic algebra. We give an interpretation of evaluating $f_M$ at a weight vector. As a consequence, we give a presentation of the Newton polytope ${\sf N}(M)$ of $M$. We study the dual fan and 1-skeleton of ${\sf N}(M)$. We propose an algorithm to determine the generic Newton polytopes, and show it works for path algebras. As an application, we give a representation-theoretic interpretation of Fock-Goncharov's duality pairing. We give an explicit construction of dual clusters, which consists of real Schur representations. We specialize the above general results to the cluster-finite algebras and the preprojective algebras of Dynkin type.

We construct "quantum theta bases," extending the set of quantum cluster monomials, for various versions of skew-symmetric quantum cluster algebras. These bases consist precisely of the indecomposable universally positive elements of the algebras they generate, and the structure constants for their multiplication are Laurent polynomials in the quantum parameter with non-negative integer coefficients, proving the quantum strong cluster positivity conjecture for these algebras. The classical limits recover the theta bases considered by Gross-Hacking-Keel-Kontsevich. Our approach combines the scattering diagram techniques used in loc. cit. with the Donaldson-Thomas theory of quivers.

We extend Carter's notion of admissible diagrams and attach a "Dynkin-like" diagram to each reduced reflection factorization of an element in a finite Weyl group. We give a complete classification for the diagrams attached to reduced reflection factorizations. Remarkably, such a diagram turns out to be cyclically orientable if and only if it is isomorphic to the underlying graph of a quiver which is mutation-equivalent to a Dynkin quiver. Furthermore we show that each diagram encodes a natural presentation of the Weyl group as reflection group. The latter one extends work of Cameron, Seidel and Tsaranov as well as Barot and Marsh.

We obtain an explicit crystal isomorphism between two realizations of crystal bases of finite dimensional irreducible representations of simple Lie algebras of type A and D. The first realization we consider is a geometric construction in terms of irreducible components of certain Nakajima quiver varieties established by Saito and the second is a realization in terms of isomorphism classes of quiver representations obtained by Reineke. We give a homological description of the irreducible components of Lusztig's quiver varieties which correspond to the crystal of a finite dimensional representation and describe the promotion operator in type A to obtain a geometric realization of Kirillov-Reshetikhin crystals.

For a quiver $Q$, we take $\mathcal{M}$ an associated toric Nakajima quiver variety and $Γ$ the underlying graph. In this article, we give a direct relation between a specialisation of the Tutte polynomial of $Γ$, the Kac polynomial of $Q$ and the Poincaré polynomial of $\mathcal{M}$. We do this by giving a cell decomposition of $\mathcal{M}$ indexed by spanning trees of $Γ$ and `geometrising' the deletion and contraction operators on graphs. These relations have been previously established by Sturmfels-Hausel and (Crawley-Boovey)-Van den Bergh, however the methods here are more hands-on.

We use the stabilization functors to study the combinatorial aspects of the $F$-polynomial of a representation of any finite-dimensional basic algebra. We characterize the vertices of their Newton polytopes. We give an explicit formula for the $F$-polynomial restricting to any face of its Newton polytope. For acyclic quivers, we give a complete description of all facets of the Newton polytope when the representation is general. We also prove that the support of the $F$-polynomial is saturated for any rigid representation. We provide many examples and counterexamples, and pose several conjectures.

In the paper, we give an explicit basis of the cyclotomic quiver Hecke algebra corresponding to a minuscule representation of finite type.

We investigate the Jordan-Hölder property (JHP) in exact categories. First, we show that (JHP) holds in an exact category if and only if the Grothendieck monoid introduced by Berenstein and Greenstein is free. Moreover, we give a criterion for this which only uses the Grothendieck group and the number of simple objects. Next, we apply these results to the representation theory of artin algebras. For a large class of exact categories including functorially finite torsion(-free) classes, (JHP) holds precisely when the number of indecomposable projectives is equal to that of simples. We study torsion-free classes in a quiver of type A in detail using the combinatorics of symmetric groups. We introduce Bruhat inversions of permutations and show that simples in a torsion-free class are in bijection with Bruhat inversions of the corresponding $c$-sortable element. We use this to give a combinatorial criterion for (JHP).

In this paper we associate to a dessin d'enfant an associative algebra, called a Brauer configuration algebra. This is an algebra given by quiver and relations induced by the monodromy of the dessin d'enfant. We show that the dimension of the Brauer configuration algebra associated to a dessin d'enfant and the dimension of the centre this algebra are invariant under the action of the absolute Galois group. We give some examples of well-known algebras and their dessins d'enfants. Finally we show that the Brauer configuration algebras of a dessin d'enfant and its dual share the same path algebra.

We show that Fano lattice polygons define a class of balanced quivers with interesting properties. The combinatorics of these quivers is related to singularities of the underlying toric Fano surface. This allows us to show that every Fano polygon defines a point on a certain family of algebraic hypersurfaces. Our quivers admit a generalized mutation which preserves balancing and coincides with combinatorial mutation of Fano polygons whenever both operations are defined. We characterize balanced quivers arising from Fano polygons and discuss generalizations to higher dimensions.

In this article, we use the relationship between cluster scattering diagrams and stability scattering diagrams to relate quiver representations with these diagrams. With a notion of positive crossing of a path $γ$, we show that if $γ$ has positive crossing in the scattering diagram, then it goes in the opposite direction of the Auslander-Reiten quiver of $Q$. We then give the Hall algebra theta functions which recover the cluster character formula by the Euler characteristic map. At last, we define the Hall algebra broken lines and then are able to give the stratification of the quiver Grassmannians by the bending of the broken lines.

We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We also give a formula for the dimension of a double determinantal variety.

We show that the mesh mutations are the minimal relations among the $\boldsymbol{g}$-vectors with respect to any initial seed in any finite type cluster algebra. We then use this algebraic result to derive geometric properties of the $\boldsymbol{g}$-vector fan: we show that the space of all its polytopal realizations is a simplicial cone, and we then observe that this property implies that all its realizations can be described as the intersection of a high dimensional positive orthant with well-chosen affine spaces. This sheds a new light on and extends earlier results of N. Arkani-Hamed, Y. Bai, S. He, and G. Yan in type $A$ and of V. Bazier-Matte, G. Douville, K. Mousavand, H. Thomas and E. Yildirim for acyclic initial seeds. Moreover, we use a similar approach to study the space of polytopal realizations of the $\boldsymbol{g}$-vector fans of another generalization of the associahedron: non-kissing complexes (a.k.a. support $τ$-tilting complexes) of gentle algebras. We show that the space of realizations of the non-kissing fan is simplicial when the gentle bound quiver is brick and $2$-acyclic, and we describe in this case its facet-defining inequalities in terms of mesh mutations. Along the way, we prove algebraic results on $2$-Calabi-Yau triangulated categories, and on extriangulated categories that are of independent interest. In particular, we prove, in those two setups, an analogue of a result of M. Auslander on minimal relations for Grothendieck groups of module categories.

We obtain an explicit combinatorial formula for certain parabolic Kostka-Shoji polynomials associated with the cyclic quiver, generalizing results of Shoji and of Liu and Shoji.

The open string sector of the topological B-model model on CY $(m+2)$-folds is described by $m$-graded quivers with superpotentials. This correspondence extends to general $m$ the well known connection between CY $(m+2)$-folds and gauge theories on the worldvolume of D$(5-2m)$-branes for $m=0,\ldots, 3$. We introduce $m$-dimers, which fully encode the $m$-graded quivers and their superpotentials, in the case in which the CY $(m+2)$-folds are toric. Generalizing the well known $m=1,2$ cases, $m$-dimers significantly simplify the connection between geometry and $m$-graded quivers. A key result of this paper is the generalization of the concept of perfect matching, which plays a central role in this map, to arbitrary $m$. We also introduce a simplified algorithm for the computation of perfect matchings, which generalizes the Kasteleyn matrix approach to any $m$. We illustrate these new tools with a few infinite families of CY singularities.

Skew-symmetric non-integer matrices with real entries can be viewed as quivers with non-integer weights of arrows. One can mutate such quivers according to usual rules of quiver mutation. Felikson and Tumarkin show that rank 3 mutation-finite non-integer quivers admit geometric realisations by partial reflections. This allows to define a notion of seeds (as Y-seeds), and hence, to define the exchange graphs for mutation classes. In this paper we study exchange graphs of mutation-finite quivers in rank 3. The concept of finite and affine type generalises naturally to non-integer quivers. In particular, exchange graphs of finite type quivers are finite, while exchange graphs of affine quivers are finite modulo the action of a finite-dimensional lattice.

The Hillman--Grassl correspondence is a well-known bijection between multisets of rim hooks of a partition shape $λ$ and reverse plane partitions of $λ$. We use the tools of quiver representations to generalize Hillman--Grassl in type $A$ and to define an analogue in all minuscule types. This is an extended abstract prepared for FPSAC 2019 based on arXiv:1812.08345, emphasizing its combinatorial aspects.

The sign coherence phenomenon is an important feature of c-vectors in cluster algebras with principal coefficients. In this note, we consider a more general version of c-vectors defined for arbitrary cluster algebras of geometric type and formulate a conjecture describing their asymptotic behavior. This conjecture, which is called the asymptotic sign coherence conjecture, states that for any infinite sequence of matrix mutations that satisfies certain natural conditions, the corresponding c-vectors eventually become sign coherent. We prove this conjecture for rank 2 cluster algebras of infinite type and for a particular sequence of mutations in a cluster algebra associated with the Markov quiver.

We study the (complex) Hecke algebra $\mathcal{H}_S(\mathbf{q})$ of a finite simply-laced Coxeter system $(W,S)$ with independent parameters $\mathbf{q} \in \left( \mathbb{C} \setminus\{\text{roots of unity}\} \right)^S$. We construct its irreducible representations and projective indecomposable representations. We obtain the quiver of this algebra and determine when it is of finite representation type. We provide decomposition formulas for induced and restricted representations between the algebra $\mathcal{H}_S(\mathbf{q})$ and the algebra $\mathcal{H}_R(\mathbf{q}|_R)$ with $R\subseteq S$. Our results demonstrate an interesting combination of the representation theory of finite Coxeter groups and their 0-Hecke algebras, including a two-sided duality between the induced and restricted representations.

In this paper, we associate a finite dimensional algebra, called a Brauer graph algebra, to every clean dessin d'enfant by constructing a quiver based on the monodromy of the dessin. We show that Galois conjugate dessins d'enfants give rise to derived equivalent Brauer graph algebras and that the stable Auslander-Reiten quiver and the dimension of the Brauer graph algebra are invariant under the induced action of the absolute Galois group.