arXiv++ Combinatorics

We characterize the marked bordered unpunctured oriented surfaces with the property that all the Jacobian algebras of the quivers with potentials arising from their triangulations are derived equivalent. These are either surfaces of genus g with b boundary components and one marked point on each component, or the disc with 4 or 5 points on its boundary. We show that for each such marked surface, all the quivers in the mutation class have the same number of arrows, and the corresponding Jacobian algebras constitute a complete derived equivalence class of finite-dimensional algebras whose members are connected by sequences of Brenner-Butler tilts. In addition, we provide explicit quivers for each of these classes. We consider also 10 of the 11 exceptional finite mutation classes of quivers not arising from triangulations of marked surfaces excluding the one of the quiver X_7, and show that all the finite-dimensional Jacobian algebras in such class (for suitable choice of potentials) are derived equivalent only for the classes of the quivers E_6^(1,1) and X_6.

Quiver mutation plays a crucial role in the definition of cluster algebras by Fomin and Zelevinsky. It induces an equivalence relation on the set of all quivers without loops and two-cycles. A quiver is called mutation-acyclic if it is mutation-equivalent to an acyclic quiver. This note gives a proof that full subquivers of mutation-acyclic quivers are mutation-acyclic.

These notes reflect the contents of three lectures given at the workshop of the 14th International Conference on Representations of Algebras (ICRA XIV), held in August 2010 in Tokyo. We first provide an introduction to quantum loop algebras and their finite-dimensional representations. We explain in particular Nakajima's geometric description of the irreducible q-characters in terms of graded quiver varieties. We then present a recent attempt to understand the tensor structure of the category of finite- dimensional representations by means of cluster algebras.

We compute the quiver of any monoid that has a basic algebra over an algebraically closed field of characteristic zero. More generally, we reduce the computation of the quiver over a splitting field of a class of monoids that we term rectangular monoids (in the semigroup theory literature the class is known as $\mathbf{DO}$) to representation theoretic computations for group algebras of maximal subgroups. Hence in good characteristic for the maximal subgroups, this gives an essentially complete computation. Since groups are examples of rectangular monoids, we cannot hope to do better than this. For the subclass of $\mathscr R$-trivial monoids, we also provide a semigroup theoretic description of the projective indecomposables and compute the Cartan matrix.

Let Q be a Dynkin quiver. The bounded derived category of the path algebra of Q has an autoequivalence given by the composition of the Auslander-Reiten translate and the square of the shift functor. We study maximal Hom-free sets in the corresponding orbit category C(Q). We prove that these sets are in bijection with periodic combinatorial configurations, as introduced by Riedtmann, certain Hom<=0-configurations, studied by Buan, Reiten and Thomas, and noncrossing partitions of the Coxeter group associated to Q which are not contained in any proper standard parabolic subgroup. Note that Reading has proved that these noncrossing partitions are in bijection with positive clusters in the associated cluster algebra. Finally, we give a definition of mutations of maximal Hom-free sets in C(Q) and prove that the graph of these mutations is connected.

In 1979, Norton showed that the representation theory of the 0-Hecke algebra admits a rich combinatorial description. Her constructions rely heavily on some triangularity property of the product, but do not use explicitly that the 0-Hecke algebra is a monoid algebra. The thesis of this paper is that considering the general setting of monoids admitting such a triangularity, namely J-trivial monoids, sheds further light on the topic. This is a step to use representation theory to automatically extract combinatorial structures from (monoid) algebras, often in the form of posets and lattices, both from a theoretical and computational point of view, and with an implementation in Sage. Motivated by ongoing work on related monoids associated to Coxeter systems, and building on well-known results in the semi-group community (such as the description of the simple modules or the radical), we describe how most of the data associated to the representation theory (Cartan matrix, quiver) of the algebra of any J-trivial monoid M can be expressed combinatorially by counting appropriate elements in M itself. As a consequence, this data does not depend on the ground field and can be calculated in O(n^2), if not O(nm), where n=|M| and m is the number of generators. Along the way, we construct a triangular decomposition of the identity into orthogonal idempotents, using the usual Möbius inversion formula in the semi-simple quotient (a lattice), followed by an algorithmic lifting step. Applying our results to the 0-Hecke algebra (in all finite types), we recover previously known results and additionally provide an explicit labeling of the edges of the quiver. We further explore special classes of J-trivial monoids, and in particular monoids of order preserving regressive functions on a poset, generalizing known results on the monoids of nondecreasing parking functions.

Gabriel's Theorem, and the work of Bernstein, Gelfand and Ponomarev established a connection between the theory of quiver representations and the theory of simple Lie algebras. Lie superalgebras have been studied from many perspectives, and many results about Lie algebras have analogues for Lie superalgebras. In this paper, the notion of a super-representation of a quiver is introduced, as well as the notion of reflection functors for odd roots. These ideas are then used to give a categorical construction of the root system A(n,m) by establishing a version of Gabriel's Theorem and modifying the Bernstein, Gelfand, Ponomarev construction to the super-category. This is then used to give a combinatorial construction of the root system A(n,m) where roots correspond to vertices of a canonically defined quiver $\Gammahat$.

This article studies the Lie algebra $Diff(KΓ)$ of derivations on the path algebra $KΓ$ of a quiver $Γ$ and the Lie algebra on the first Hochschild cohomology group $H^1(KΓ)$. We relate these Lie algebras to the algebraic and combinatorial properties of the path algebra. Characterizations of derivations on a path algebra are obtained, leading to a canonical basis of $Diff(KΓ)$ and its Lie algebra properties. Special derivations are associated to the vertices, arrows and faces of a quiver, and the concepts of a connected matrix and boundary matrix are introduced to study the relations among these derivations, concluding that the space of edge derivations is the direct sum of the spaces of the vertex derivations and the face derivations, while the dimensions of the latter spaces are the largest possible. By taking dimensions, this relation among spaces of derivations recovers Euler's polyhedron formula. This relation also leads a combinatorial construction of a canonical basis of the Lie algebra $H^1(KΓ)$, together with a semidirect sum decomposition of $H^1(KΓ)$.

In this note, we find an explicit formula for the Laurent expression of cluster variables of coefficient-free rank two cluster algebras associated with the matrix $\left(\begin{array}{cc} 0 & c -c & 0 \end{array}\right)$, and show that a large number of coefficients are non-negative. As a corollary, we obtain an explicit expression for the Euler-Poincaré characteristics of the corresponding quiver Grassmannians.

This paper develops an algorithm that identifies and decomposes a median graph of a triangulation of a 2-dimensional (2D) oriented bordered surface and in addition restores all corresponding triangulation whenever they exist. The algorithm is based on the consecutive simplification of the given graph by reducing degrees of its nodes. From the paper \cite{FST1}, it is known that such graphs can not have nodes of degrees above 8. Neighborhood of nodes of degrees 8,7,6,5, and 4 are consecutively simplified. Then, a criterion is provided to identify median graphs with nodes of degrees at most 3. As a byproduct, we produce an algorithm that is more effective than previous known to determine quivers of finite mutation type of size greater than 10.

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.