arXiv++ Combinatorics

We study the spectrum of BPS D-branes on a Calabi-Yau manifold using the 0+1 dimensional quiver gauge theory that describes the dynamics of the branes at low energies. The results of Kontsevich and Soibelman predict how the degeneracies change. We argue that Seiberg dualities of the quiver gauge theories, which change the basis of BPS states, correspond to crossing the "walls of the second kind." There is a large class of examples, including local del Pezzo surfaces, where the BPS degeneracies of quivers corresponding to one D6 brane bound to arbitrary numbers of D4, D2 and D0 branes are counted by melting crystal configurations. We show that the melting crystals that arise are a discretization of the Calabi-Yau geometry. The shape of the crystal is determined by the Calabi-Yau geometry and the background B-field, and its microscopic structure by the quiver Q. We prove that the BPS degeneracies computed from Q and Q' are related by the Kontsevich Soibelman formula, using a geometric realization of the Seiberg duality in the crystal. We also show that, in the limit of infinite B-field, the combinatorics of crystals arising from the quivers becomes that of the topological vertex. We thus re-derive the Gromov-Witten/Donaldson-Thomas correspondence.

We define and study the category $\RepQ$ of representations of a quiver in $\VFun$ - the category of vector spaces "over $\Fun$". $\RepQ$ is an $\Fun$-linear category possessing kernels, co-kernels, and direct sums. Moreover, $\RepQ$ satisfies analogues of the Jordan-Hölder and Krull-Schmidt theorems. We are thus able to define the Hall algebra $\HQ$ of $\RepQ$, which behaves in some ways like the specialization at $q=1$ of the Hall algebra of $\on{Rep}(\Q, \mathbf{F}_q)$. We prove the existence of a Hopf algebra homomorphism of $ ρ': \U(\n_+) \rightarrow \HQ$, from the enveloping algebra of the nilpotent part $\n_+$ of the Kac-Moody algebra with Dynkin diagram $\bar{\Q}$ - the underlying unoriented graph of $\Q$. We study $ρ'$ when $\Q$ is the Jordan quiver, a quiver of type $A$, the cyclic quiver, and a tree respectively.

We prove a technical result which allows us to establish the non-degeneracy of potentials on quivers in some previously unknown or non-obvious cases. Our result applies to certain McKay quivers and also to potentials derived from geometric helices on Del Pezzo surfaces.

We use a geometric description of $m$-cluster categories of Dynkin type $A$ to count the the number of coloured quivers in the $m$-mutation class of quivers of Dynkin type $A$. This is related to angulations of polygons and the cell-growth problem.

An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the reduction to the problem of description of maximal paths satisfying certain condition.

We prove that the frieze sequences of cluster variables associated with the vertices of an affine quiver satisfy linear recurrence relations. In particular, we obtain a proof of a recent conjecture by Assem-Reutenauer-Smith.

We study the equivalence relation on the set of acyclic orientations of an undirected graph G generated by source-to-sink conversions. These conversions arise in the contexts of admissible sequences in Coxeter theory, quiver representations, and asynchronous graph dynamical systems. To each equivalence class we associate a poset, characterize combinatorial properties of these posets, and in turn, the admissible sequences. This allows us to construct an explicit bijection from the equivalence classes over G to those over G' and G", the graphs obtained from G by edge deletion and edge contraction of a fixed cycle-edge, respectively. This bijection yields quick and elegant proofs of two non-trivial results: (i) A complete combinatorial invariant of the equivalence classes, and (ii) a solution to the conjugacy problem of Coxeter elements for simply-laced Coxeter groups. The latter was recently proven by H. Eriksson and K. Eriksson using a much different approach.

We provide a technique to compute the Euler characteristic of a class of projective varieties called quiver Grassmannians. This technique applies to quiver Grassmannians associated with "orientable string modules". As an application we explicitly compute the Euler characteristic of quiver Grassmannians associated with indecomposable preprojective, preinjective and regular homogeneous representations of an affine quiver of type $\tilde{A}_{p,1}$. For $p=1$, this approach provides another proof of a result due to P. Caldero and A. Zelevinsky in \cite{CZ}.

We present a sum-product formula for the classical Hall polynomial which is based on tableaux that have been introduced by T. Klein in 1969. In the formula, each summand corresponds to a Klein tableau, while the product is taken over the cardinalities of automorphism groups of short exact sequences which are derived from the tableau. For each such sequence, one can read off from the tableau the summands in an indecomposable decomposition, and the size of their homomorphism and automorphism groups. Klein tableaux are refinements of Littlewood-Richardson tableaux in the sense that each entry $\ell \geq 2$ carries a subscript $r$. We describe module theoretic and categorical properties shared by short exact sequences which have the same symbol $\ell_r$ in a given row in their Klein tableau. Moreover, we determine the interval in the Auslander-Reiten quiver in which indecomposable sequences of $p^n$-bounded groups which carry such a symbol occur.

Each Coxeter element c of a Coxeter group W defines a subset of W called the c-sortable elements. The choice of a Coxeter element of W is equivalent to the choice of an acyclic orientation of the Coxeter diagram of W. In this paper, we define a more general notion of Omega-sortable elements, where Omega is an arbitrary orientation of the diagram, and show that the key properties of c-sortable elements carry over to the Omega-sortable elements. The proofs of these properties rely on reduction to the acyclic case, but the reductions are nontrivial; in particular, the proofs rely on a subtle combinatorial property of the weak order, as it relates to orientations of the Coxeter diagram. The c-sortable elements are closely tied to the combinatorics of cluster algebras with an acyclic seed; the ultimate motivation behind this paper is to extend this connection beyond the acyclic case.

The representation theory (idempotents, quivers, Cartan invariants and Loewy series) of the higher order unital peak algebras is investigated. On the way, we obtain new interpretations and generating functions for the idempotents of descent algebras introduced in [F. Saliola, J. Algebra 320 (2008) 3866.]

In this article we prove explicit formulae for the number of non-isomorphic cluster-tilted algebras of type \tilde{A}_n in the derived equivalence classes. In particular, we obtain the number of elements in the mutation classes of quivers of type \tilde{A}_n. As a by-product, this provides an alternative proof for the number of quivers of Dynkin type D_n which was first determined by Buan and Torkildsen.

In this paper, we study structural properties of finite mutation type quivers. In particular, we obtain a characterization of finite mutation type quivers that are associated with triangulations of surfaces and give a new numerical invariant for their mutation classes.

We consider quivers/skew-symmetric matrices under the action of mutation (in the cluster algebra sense). We classify those which are isomorphic to their own mutation via a cycle permuting all the vertices, and give families of quivers which have higher periodicity. The periodicity means that sequences given by recurrence relations arise in a natural way from the associated cluster algebras. We present a number of interesting new families of non-linear recurrences, necessarily with the Laurent property, of both the real line and the plane, containing integrable maps as special cases. In particular, we show that some of these recurrences can be linearised and, with certain initial conditions, give integer sequences which contain all solutions of some particular Pell equations. We extend our construction to include recurrences with parameters, giving an explanation of some observations made by Gale. Finally, we point out a connection between quivers which arise in our classification and those arising in the context of quiver gauge theories.

This paper investigates a certain 2-Calabi-Yau triangulated category D whose Auslander-Reiten quiver is ZA_{\infty}. We show that the cluster tilting subcategories of D form a so-called cluster structure, and we classify these subcategories in terms of what one may call `triangulations of the infinity-gon'. This is reminiscent of the cluster category C of type A_n which is a 2-Calabi-Yau triangulated category whose Auslander-Reiten quiver is a quotient of ZA_n. The cluster tilting subcategories of C form a cluster structure and they are classified in terms of triangulations of the (n+3)-gon. The category D behaves like a `cluster category of type A_{\infty}'.

We give an explicit description of the mutation classes of quivers of type \tilde{A}_n. Furthermore, we provide a complete classification of cluster tilted algebras of type \tilde{A}_n up to derived equivalence. We show that the bounded derived category of such an algebra depends on four combinatorial parameters of the corresponding quiver.

We show that the number of quivers in the mutation class of a quiver of Dynkin type $D_n$ is given by $\sum_{d|n} φ(n/d)\binom{2d}{d}/(2n)$ for $n \geq 5$. To obtain this formula, we give a correspondence between the quivers in the mutation class and certain rooted trees.

We construct a statistical model of crystal melting to count BPS bound states of D0 and D2 branes on a single D6 brane wrapping an arbitrary toric Calabi-Yau threefold. The three-dimensional crystalline structure is determined by the quiver diagram and the brane tiling which characterize the low energy effective theory of D branes. The crystal is composed of atoms of different colors, each of which corresponds to a node of the quiver diagram, and the chemical bond is dictated by the arrows of the quiver diagram. BPS states are constructed by removing atoms from the crystal. This generalizes the earlier results on the BPS state counting to an arbitrary non-compact toric Calabi-Yau manifold. We point out that a proper understanding of the relation between the topological string theory and the crystal melting involves the wall crossing in the Donaldson-Thomas theory.

Let g be a Lie algebra of type A,D,E with fixed Cartan subalgebra h, root system R and Weyl group W. We show that a choice of Coxeter element C gives a root basis for g. Moreover we show that this root basis gives a purely combinatorial construction of g, where root vectors correspond to vertices of a certain quiver $Gammahat$, and show that with respect to this basis the structure constants of the Lie bracket are given by paths in $Gammahat$. This construction is then related to the constructions of Ringel and Peng and Xiao.

We develop the homology theory of the algebra of a regular semigroup, which is a particularly nice case of a quasi-hereditary algebra in good characteristic. Directedness is characterized for these algebras, generalizing the case of semisimple algebras studied by Munn and Ponizovksy. We then apply homological methods to compute (modulo group theory) the quiver of a right regular band of groups, generalizing Saliola's results for a right regular band. Right regular bands of groups come up in the representation theory of wreath products with symmetric groups in much the same way that right regular bands appear in the representation theory of finite Coxeter groups via the Solomon-Tits algebra of its Coxeter complex. In particular, we compute the quiver of Hsiao's algebra, which is related to the Mantaci-Reutenauer descent algebra.