arXiv++ Combinatorics

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.

A systematic study of holomorphic gauge invariant operators in general $\mathcal{N}=1$ quiver gauge theories, with unitary gauge groups and bifundamental matter fields, was recently presented in [1]. For large ranks a simple counting formula in terms of an infinite product was given. We extend this study to quiver gauge theories with fundamental matter fields, deriving an infinite product form for the refined counting in these cases. The infinite products are found to be obtained from substitutions in a simple building block expressed in terms of the weighted adjacency matrix of the quiver. In the case without fundamentals, it is a determinant which itself is found to have a counting interpretation in terms of words formed from partially commuting letters associated with simple closed loops in the quiver. This is a new relation between counting problems in gauge theory and the Cartier-Foata monoid. For finite ranks of the unitary gauge groups, the refined counting is given in terms of expressions involving Littlewood-Richardson coefficients.

Given a marked surface (S,M) we can add arcs to the surface to create a triangulation, T, of that surface. For each triangulation, T, we can associate a cluster algebra. In this paper we will consider the torus of genus n with two interior marked points (called punctures). We will construct a specific triangulation of this surface which yeilds a specific quiver. Then in the sense of work by Keller we will produce a maximal green sequence for this quiver.

Exceptional sequences are certain ordered sequences of quiver representations. We use noncrossing edge-labeled trees in a disk with boundary vertices (expanding on T. Araya's work) to classify exceptional sequences of representations of Q, the linearly-ordered quiver with n vertices. We also show how to use variations of this model to classify c-matrices of Q, to interpret exceptional sequences as linear extensions, and to give a simple bijection between exceptional sequences and certain chains in the lattice of noncrossing partitions. In the case of c-matrices, we also give an interpretation of c-matrix mutation in terms of our noncrossing trees with directed edges.

We prove that each semi-invariant ring of the complete triple flag of length $n$ is an upper cluster algebra associated to an ice hive quiver. We find a rational polyhedral cone ${\sf G}_n$ such that the generic cluster character maps its lattice points onto a basis of the cluster algebra. As an application, we use the cluster algebra structure to find a special minimal set of generators for these semi-invariant rings when $n$ is small.

We show that the Hamiltonians of the open relativistic Toda system are elements of the generic basis of a cluster algebra, and in particular are cluster characters of nonrigid representations of a quiver with potential. Using cluster coordinates defined via spectral networks, we identify the phase space of this system with the wild character variety related to the periodic nonrelativistic Toda system by the wild nonabelian Hodge correspondence. We show that this identification takes the relativistic Toda Hamiltonians to traces of holonomies around a simple closed curve. In particular, this provides nontrivial examples of cluster coordinates on $SL_n$-character varieties for $n > 2$ where canonical functions associated to simple closed curves can be computed in terms of quivers with potential, extending known results in the $SL_2$ case.

We construct finite volume hyperbolic manifolds with large symmetry groups. The construction makes use of the presentations of finite Coxeter groups provided by Barot and Marsh and involves mutations of quivers and diagrams defined in the theory of cluster algebras. We generalize our construction by assigning to every quiver or diagram of finite or affine type a CW-complex with a proper action of a finite (or affine) Coxeter group. These CW-complexes undergo mutations agreeing with mutations of quivers and diagrams. We also generalize the construction to quivers and diagrams originating from unpunctured surfaces and orbifolds.

Grothendieck polynomials are important objects in the study of the $K$-theory of flag varieties. Their many remarkable properties have been studied in the context of algebraic geometry and tableaux combinatorics. We explore a new tool, similar to generating sequences, which we call the iterated residue technique. We prove new formulas on the calculus of iterated residues and use them to prove straightening laws and multiplication formulas for stable Grothendieck polynomials. As a further application of our method, we give new proofs that the $K$-Pieri rule and the expansions of Grothendieck polynomials in the Schur basis both exhibit alternating signs. As a consequence, we observe that our method implies a new combinatorial statement of the $K$-Pieri rule. Our results indicate that the iterated residue technique should be further explored as a new line of attack on open conjectures regarding positivity and stability, for example of quiver polynomials and Thom polynomials, in $K$-theory.

In our previous work [arXiv:1403.6569], we introduced the partition q-series for mutation loop --- a loop in exchange quiver. In this paper, we show that for certain class of mutation sequences, called reverse-ending mutation loops, a graded version of partition q-series essentially coincides with the ordered product of quantum dilogarithm associated with each mutation; the partition q-series provides a state-sum description of combinatorial Donaldson-Thomas invariants introduced by B. Keller.

Plabic graphs are intimately connected to the positroid stratification of the positive Grassmannian. The duals to these graphs are quivers, and it is possible to associate to them cluster algebras. For the top-cell graph of $Gr_{+}(k,n)$, this cluster algebra is the homogeneous coordinate ring of the corresponding positroid variety. We prove that the same statement holds for plabic graphs describing lower dimensional cells. In this way we obtain a map from the positroid strata onto cluster subalgebras of $Gr_{+}(k,n)$. We explore some of the consequences of this map for tree-level scattering amplitudes in $\mathcal N=4$ super Yang-Mills theory.

We first provide an explicit combinatorial description of the Auslander-Reiten quiver $Γ^Q$ of finite type $D$. Then we can investigate the categories of finite dimensional representations over the quantum affine algebra $U_q'(D^{(i)}_{n+1})$ $(i=1,2)$ and the quiver Hecke algebra $R_{D_{n+1}}$ associated to $D_{n+1}$ $(n \ge 3)$, by using the combinatorial description and the generalized quantum affine Schur-Weyl duality functor. As applications, we can prove that Dorey's rule holds for the category $\Rep(R_{D_{n+1}})$ and prove an interesting difference between multiplicity free positive roots and multiplicity non-free positive roots.