arXiv++ Combinatorics

In this paper, we introduce the notion of combinatorial Auslander-Reiten(AR) quiver for commutation classes $[\widetilde{w}]$ of $w$ in finite Weyl group. This combinatorial object visualizes the convex partial order $\prec_{[\widetilde{w}]}$ on the subset $Φ(w)$ of positive roots. By analyzing properties of the combinatorial AR-quivers with labelings and reflection maps, we can apply their properties to the representation theory of KLR algebras and multiplication structure of dual PBW generators associated to any commutation class $[\widetilde{w}_0]$ of the longest element $w_0$.

We introduce new partial orders on the sequence positive roots and study the statistics of the poset by using Auslander-Reiten quivers for finite type ADE. Then we can prove that the statistics provide interesting information on the representation theories of KLR-algebras, quantum groups and quantum affine algebras including Dorey's rule, bases theory for quantum groups, and denominator formulas between fundamental representations. As applications, we prove Dorey's rule for quantum affine algebras $U_q(E_{6,7,8}^{(1)})$ and partial information of denominator formulas for $U_q(E_{6,7,8}^{(1)})$. We also suggest conjecture on complete denominator formulas for $U_q(E_{6,7,8}^{(1)})$.

We introduce the notion of de Bruijn entropy of an Eulerian quiver and show how the corresponding relative entropy can be applied to practical string similarity problems. This approach explicitly links the combinatorial and information-theoretical properties of words and its performance is superior to edit distances in many respects and competitive in most others. The computational complexity of our current implementation is parametrically tunable between linear and cubic, and we outline how an optimized linear algebra subroutine can reduce the cubic complexity to approximately linear. Numerous examples are provided, including a realistic application to molecular phylogenetics.

We use combinatorics of quivers and the corresponding surfaces to study maximal green sequences of minimal length for quivers of type $\mathbb{A}$. We prove that such sequences have length $n+t$, where $n$ is the number of vertices and $t$ is the number of 3-cycles in the quiver. Moreover, we develop a procedure that yields these minimal length maximal green sequences.

Asymptotic triangulations can be viewed as limits of triangulations under the action of the mapping class group. In the case of the annulus, such triangulations have been introduced by Baur and Dupont. We construct an alternative method of obtaining these asymptotic triangulations using Coxeter transformations. This provides us with an algebraic and combinatorial framework for studying these limits via the associated quivers.

The exchange graph of a 2-acyclic quiver is the graph of mutation-equivalent quivers whose edges correspond to mutations. When the quiver admits a nondegenerate Jacobi-finite potential, the exchange graph admits a natural acyclic orientation called the oriented exchange graph, as shown by Brüstle and Yang. The oriented exchange graph is isomorphic to the Hasse diagram of the poset of functorially finite torsion classes of a certain finite dimensional algebra. We prove that lattices of torsion classes are semidistributive lattices, and we use this result to conclude that oriented exchange graphs with finitely many elements are semidistributive lattices. Furthermore, if the quiver is mutation-equivalent to a type A Dynkin quiver or is an oriented cycle, then the oriented exchange graph is a lattice quotient of a lattice of biclosed subcategories of modules over the cluster-tilted algebra, generalizing Reading's Cambrian lattices in type A. We also apply our results to address a conjecture of Brüstle, Dupont, and Pérotin on the lengths of maximal green sequences.

A maximal green sequence introduced by B. Keller is a certain sequence of quiver mutations at green vertices. T. Brüstle, G. Dupont and M. Pérotin showed that for an acyclic quiver, maximal green sequences are realized as maximal paths in the Hasse quiver of the poset of support tilting modules. They also considered possible lengths of maximal green sequences. In this paper, we calculate possible lengths of maximal green sequences for a quiver of type $A$ or of type $\tilde{A}_{n,1}$ by using theory of tilting mutation.

Exceptional sequences are certain ordered sequences of quiver representations. We introduce a class of objects called strand diagrams and use this model to classify exceptional sequences of representations of a quiver whose underlying graph is a type $A_n$ Dynkin diagram. We also use variations of this model to classify c-matrices of such quivers, to interpret exceptional sequences as linear extensions of posets, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. This work extends a classification of exceptional sequences for the linearly-ordered quiver obtained in an earlier paper by the first and third authors.

This paper completes the project of constructing combinatorial models (called frameworks) for the exchange graph and g-vector fan associated to any exchange matrix B whose Cartan companion is of finite or affine type, using the combinatorics and geometry of Coxeter-sortable elements and Cambrian lattices/fans. Specifically, we construct a framework in the unique non-acyclic affine case, the cyclically oriented n-cycle. In the acyclic affine case, a framework was constructed by combining a copy of the Cambrian fan for B with an antipodal copy of the Cambrian fan for -B. In this paper, we extend this "doubled Cambrian fan" construction to the oriented n-cycle, using a more general notion of sortable elements for quivers with cycles.

Quivers constructed from hyperbolic Coxeter simplices give examples of minimal mutation-infinite quivers, however they are not the only such quivers. We classify minimal mutation-infinite quivers through a number of moves and link the representatives of the classes with the hyperbolic Coxeter simplices, plus exceptional classes which are not related to simplices.

We present a combinatorial model for cluster algebras of type $D_n$ in terms of centrally symmetric pseudotriangulations of a regular $2n$-gon with a small disk in the centre. This model provides convenient and uniform interpretations for clusters, cluster variables and their exchange relations, as well as for quivers and their mutations. We also present a new combinatorial interpretation of cluster variables in terms of perfect matchings of a graph after deleting two of its vertices. This interpretation differs from known interpretations in the literature. Its main feature, in contrast with other interpretations, is that for a fixed initial cluster seed, one or two graphs serve for the computation of all cluster variables. Finally, we discuss applications of our model to polytopal realizations of type $D$ associahedra and connections to subword complexes and $c$-cluster complexes.

The purpose of this thesis is to present certain viewpoints on the geometric representation theory of Nakajima cyclic quiver varieties, in relation to the Maulik-Okounkov stable basis. Our main technical tool is the shuffle algebra, which arises as the K-theoretic Hall algebra of the double cyclic quiver. We prove the isomorphism between the shuffle algebra and the quantum toroidal algebra U_{q,t}(sl_n^^), and identify the quotients of Verma modules for the shuffle algebra with the K-theory groups of Nakajima cyclic quiver varieties, which were studied by Nakajima and Varagnolo-Vasserot. The shuffle algebra viewpoint allows us to construct the universal R-matrix of the quantum toroidal algebra U_{q,t}(sl_n^^), and to factor it in terms of pieces that arise from subalgebras isomorphic to quantum affine groups U_{q}(gl_m^), for various m. This factorization generalizes constructions of Khoroshkin-Tolstoy to the toroidal case, and matches the factorization that Maulik-Okounkov produce via the stable basis in the K-theory of Nakajima quiver varieties. We connect the two pictures by computing formulas for the root generators of U_{q,t}(sl_n^^) acting on the stable basis, which provide a wide extension of Murnaghan-Nakayama and Pieri type rules from combinatorics.

We relate the $m$-truncated Kronecker products of symmetric functions to the semi-invariant rings of a family of quiver representations. We find cluster algebra structures for these semi-invariant rings when $m=2$. Each {\sf g}-vector cone ${\sf G}_{\Diamond_l}$ of these cluster algebras controls the $2$-truncated Kronecker products for all symmetric functions of degree no greater than $l$. As a consequence, each relevant Kronecker coefficient is the difference of the number of the lattice points inside two rational polytopes. We also give explicit description of all ${\sf G}_{\Diamond_l}$'s. As an application, we compute some invariant rings.

It is well known that any triangulation of a marked surface produces a quiver. In this paper we will provide a triangulation for orientable surfaces of genus $n$ with an arbitrary number interior marked points (called punctures) whose corresponding quiver has a maximal green sequence.

We provide combinatorial formulas for the multidegree and K-polynomial of an arbitrarily oriented type A quiver locus. These formulas are generalizations of three of Knutson-Miller-Shimozono's formulas from the equioriented setting; in particular, we prove the K-theoretic component formula conjectured by Buch and Rimányi.

This note provides a quiver which does not admit a maximal green sequence, but which is mutation-equivalent to a quiver which does admit a maximal green sequence. The proof uses the `scattering diagrams' of Gross-Hacking-Keel-Kontsevich to show that a maximal green sequence for a quiver determines a maximal green sequence for any induced subquiver.

We introduce a class of commutative superalgebras generalizing cluster algebras. A cluster superalgebra is defined by a hypergraph called an "extended quiver", and transformations called mutations. We prove the super analog of the "Laurent phenomenon", i.e., that all elements of a given cluster superalgebra are Laurent polynomials in the initial variables, and find an invariant presymplectic form. Examples of cluster superalgebras are provided by superanalogs of Coxeter's frieze patterns. We apply the Laurent phenomenon to construct a new integer sequence extending the Somos-$4$ sequence.

We study the supersymmetric ground states of the Kronecker model of quiver quantum mechanics. This is the simplest quiver with two gauge groups and bifundamental matter fields, and appears universally in four-dimensional N=2 systems. The ground state degeneracy may be written as a multi-dimensional contour integral, and the enumeration of poles can be simply phrased as counting bipartite trees. We solve this combinatorics problem, thereby obtaining exact formulas for the degeneracies of an infinite class of models. We also develop an algorithm to compute the angular momentum of the ground states, and present explicit expressions for the refined indices of theories where one rank is small.

This is a survey on the categorification of the poset of generalized non-crossing partitions, using the representation theory of a hereditary artin algebra H, looking at the set P of exceptional subcategories in mod H. This categorification is due to Ingalls and Thomas, and a subsequent paper by Igusa and Schiffler. Starting point is a refinement of the classical tilting theory for mod H, replacing torsion pairs by torsion triples, thus putting it into the realm of the stability theory of King. The torsion pairs in mod H correspond nicely to the perpendicular pairs of exceptional subcategories and there is a wealth of bijections, the Ingalls-Thomas bijections, between sets of modules and subcategories. If H is representation-finite, one may look at the corresponding numbers of modules or subcategories. Such Dynkin functions (they attach to a Dynkin diagram an integer) are displayed in chapter 1. In a mysterious way, many Dynkin functions can be described using the exponents of the Weyl group. According to Shapiro and Kostant, the exponents are given by the height partition of the root poset. A recent result of Abe-Barakat-Cuntz-Hoge-Terao allows to determine them inductively, going up in a chain of ideals in the root poset, looking at the corresponding hyperplane arrangements. Chapter 4 deals with the case of the linearly oriented quiver of Dynkin type A. Here P is identified with the lattice NC of non-crossing partitions as introduced by Kreweras (now an important tool in several parts of mathematics, for example in free probability theory). We review some classical problems which are related to the maximal chains in NC: to count labeled trees as well as parking functions. The combinatorics of the Dynkin case A is just the combinatorics of the Catalan numbers; in an appendix, we discuss the nature of classical Catalan combinatorics.

We show that if a connected, Hom-finite, Krull-Schmidt triangulated category has an Auslander-Reiten quiver component with Dynkin tree class then the category has Auslander-Reiten triangles and that component is the entire quiver. This is an analogue for triangulated categories of a theorem of Auslander, and extends a previous result of Scherotzke. We also show that if there is a quiver component with extended Dynkin tree class, then other components must also have extended Dynkin class or one of a small set of infinite trees, provided there is a non-zero homomorphism between the components. The proofs use the theory of additive functions.