arXiv++ Combinatorics

We study cyclotomic quiver Hecke algebras $R^{Λ_0}(β)$ in type $A^{(2)}_{2\ell}$, where $Λ_0$ is the fundamental weight. The algebras are natural $A^{(2)}_{2\ell}$-type analogue of Iwahori-Hecke algebras associated with the symmetric group, from the viewpoint of the Fock space theory developed by the first author and his collaborators. We give a formula for the dimension of the algebra, and a simple criterion to tell the representation type. The criterion is a natural generalization of Erdmann and Nakano's for the Iwahori-Hecke algebras. Except for the examples coming from cyclotomic Hecke algebras, no results of these kind existed for cyclotomic quiver Hecke algebras, and our results are the first instances beyond the case of cyclotomic Hecke algebras.

We show that the quivers with potentials associated to ideal triangulations of marked surfaces with empty boundary are not rigid, and their completed Jacobian algebras are finite-dimensional and symmetric.

We introduce and initiate the investigation of a general class of 4d, N=1 quiver gauge theories whose Lagrangian is defined by a bipartite graph on a Riemann surface, with or without boundaries. We refer to such class of theories as Bipartite Field Theories (BFTs). BFTs underlie a wide spectrum of interesting physical systems, including: D3-branes probing toric Calabi-Yau 3-folds, their mirror configurations of D6-branes, cluster integrable systems in (0+1) dimensions and leading singularities in scattering amplitudes for N=4 SYM. While our discussion is fully general, we focus on models that are relevant for scattering amplitudes. We investigate the BFT perspective on graph modifications, the emergence of Calabi-Yau manifolds (which arise as the master and moduli spaces of BFTs), the translation between square moves in the graph and Seiberg duality and the identification of dual theories by means of the underlying Calabi-Yaus, the phenomenon of loop reduction and the interpretation of the boundary operator for cells in the positive Grassmannian as higgsing in the BFT. We develop a technique based on generalized Kasteleyn matrices that permits an efficient determination of the Calabi-Yau geometries associated to arbitrary graphs. Our techniques allow us to go beyond the planar limit by both increasing the number of boundaries of the graphs and the genus of the underlying Riemann surface. Our investigation suggests a central role for Calabi-Yau manifolds in the context of leading singularities, whose full scope is yet to be uncovered.

We study geometric and combinatorial properties of the degenerate flag varieties of type A. These varieties are acted upon by the automorphism group of a certain representation of a type A quiver, containing a maximal torus T. Using the group action, we describe the moment graphs, encoding the zero- and one-dimensional T-orbits. We also study the smooth and singular loci of the degenerate flag varieties. We show that the Euler characteristic of the smooth locus is equal to the large Schröder number and the Poincaré polynomial is given by a natural statistics counting the number of diagonal steps in a Schröder path. As an application we obtain a new combinatorial description of the large and small Schröder numbers and their q-analogues.

Consider the polynomial ring in countably infinitely many variables over a field of characteristic zero, together with its natural action of the infinite general linear group G. We study the algebraic and homological properties of finitely generated modules over this ring that are equipped with a compatible G-action. We define and prove finiteness properties for analogues of Hilbert series, systems of parameters, depth, local cohomology, Koszul duality, and regularity. We also show that this category is built out of a simpler, more combinatorial, quiver category which we describe explicitly. Our work is motivated by recent papers in the literature which study finiteness properties of infinite polynomial rings equipped with group actions. (For example, the paper by Church, Ellenberg and Farb on the category of FI-modules, which is equivalent to our category.) Along the way, we see several connections with the character polynomials from the representation theory of the symmetric groups. Several examples are given to illustrate that the invariants we introduce are explicit and computable.

We prove that the quivers with potentials associated to triangulations of surfaces with marked points, and possibly empty boundary, are non-degenerate, provided the underlying surface with marked points is not a closed sphere with exactly 5 punctures. This is done by explicitly defining the QPs that correspond to tagged triangulations and proving that whenever two tagged triangulations are related by a flip, their associated QPs are related by the corresponding QP-mutation. As a byproduct, for (arbitrarily punctured) surfaces with non-empty boundary we obtain a proof of the non-degeneracy of the associated QPs which is independent from the one given by the author in the first paper of the series. The main tool used to prove the aforementioned compatibility between flips and QP-mutations is what we have called \emph{Popping Theorem}, which, roughly speaking, says that an apparent lack of symmetry in the potentials arising from ideal triangulations with self-folded triangles can be fixed by a suitable right-equivalence.

We describe a presentation for the descent algebra of the symmetric group $\sym{n}$ as a quiver with relations. This presentation arises from a new construction of the descent algebra as a homomorphic image of an algebra of forests of binary trees which can be identified with a subspace of the free Lie algebra. In this setting, we provide a new short proof of the known fact that the quiver of the descent algebra of $\sym{n}$ is given by restricted partition refinement. Moreover, we describe certain families of relations and conjecture that for fixed $n\in\mathbb{N}$, the finite set of relations from these families that are relevant for the descent algebra of $\sym{n}$ generates the ideal of relations, and hence yields an explicit presentation by generators and relations of the algebra.

Consider Kashiwara's crystal associated to a highest weight representation of a symmetric Kac-Moody algebra. There is a geometric realization of this object using Nakajima's quiver varieties, but in many particular cases it can also be realized by elementary combinatorial methods. Here we propose a framework for extracting combinatorial realizations from the geometric picture: We construct certain torus actions on the quiver varieties and use Morse theory to index the irreducible components by connected components of the subvariety of torus fixed points. We then discuss the case of affine sl(n). There the fixed point components are just points, and are naturally indexed by multi-partitions. There is some choice in our construction, leading to a family of combinatorial models for each highest weight crystal. Applying this construction to the crystal of the fundamental representation recovers a family of combinatorial realizations recently constructed by Fayers. This gives a more conceptual proof of Fayers' result as well as a generalization to higher level. We also discuss a relationship with Nakajima's monomial crystal.

Let Q be a finite quiver without oriented cycles, and let k be an algebraically closed field. The main result in this paper is that there is a natural bijection between the elements in the associated Coxeter group W_Q and the cofinite additive quotient-closed subcategories of the category of finite dimensional right modules over kQ. We prove this correspondence by linking these subcategories to certain ideals in the preprojective algebra associated to Q, which are also indexed by elements of W_Q.

Maximal green sequences are particular sequences of quiver mutations appearing in the context of quantum dilogarithm identities and supersymmetric gauge theory. Interpreting maximal green sequences as paths in various natural posets arising in representation theory, we prove the finiteness of the number of maximal green sequences for cluster finite quivers, affine quivers and acyclic quivers with at most three vertices. We also give results concerning the possible numbers and lengths of these maximal green sequences.

Let $Q$ be an acyclic quiver and $\mathbf{s}$ be a sequence with elements in the vertex set $Q_0$. We describe an induced sequence of simple (backward) tilting in the bounded derived category $\mathcal{D}(Q)$, starting from the standard heart $\mathcal{H}_Q=\operatorname{mod}\mathbf{k}Q$ and ending at another heart $\mathcal{H}_\mathbf{s}$ in $\mathcal{D}(Q)$. Then we show that $\mathbf{s}$ is a green mutation sequence if and only if every heart in this simple tilting sequence is greater than or equal to $\mathcal{H}_Q[-1]$; it is maximal if and only if $\mathcal{H}_\mathbf{s}=\mathcal{H}_Q[-1]$. This provides a categorical way to understand green mutations. Further, fix a Coxeter element $c$ in the Coxeter group $W_Q$ of $Q$, which is admissible with respect to the orientation of $Q$. We prove that the sequence $\widetilde{\mathbf{w}}$ induced by a $c$-sortable word $\mathbf{w}$ is a green mutation sequence. As a consequence, we obtain a bijection between $c$-sortable words and finite torsion classes in $\mathcal{H}_Q$. As byproducts, the interpretations of inversions, descents and cover reflections of a $c$-sortable word $\mathbf{w}$ are given in terms of the combinatorics of green mutations.

We initiate the study of how to extend the correspondence between dimer models and (0+1)-dimensional cluster integrable systems to (1+1) and (2+1)-dimensional continuous integrable field theories, addressing various points that are necessary for achieving this goal. We first study how to glue and split two integrable systems, from the perspectives of the spectral curve, the resolution of the associated toric Calabi-Yau 3-folds and Higgsing in quiver theories on D3-brane probes. We identify a continuous parameter controlling the decoupling between the components and present two complementary methods for determining the dependence on this parameter of the dynamical variables of the integrable system. Interested in constructing systems with an infinite number of degrees of freedom, we study the combinatorics of integrable systems built up from a large number of elementary components, and introduce a toy model capturing important features expected to be present in a continuous reformulation of cluster integrable systems.

We classify the Ext-quivers of hearts in the bounded derived category D(A_n) and the finite-dimensional derived category D(Γ_N A_n) of the Calabi-Yau-N Ginzburg algebra D(Γ_N A_n). This provides the classification for Buan-Thomas' colored quiver for higher clusters of A-type. We also give explicit combinatorial constructions from a binary tree with n+2 leaves to a torsion pair in mod k\overrightarrow{A_n} and a cluster tilting set in the corresponding cluster category, for the straight oriented A-type quiver \overrightarrow{A_n}. As an application, we show that the orientation of the n-dimensional ssociahedron induced by poset structure of binary trees coincides with the orientation induced by poset structure of torsion pairs in mod k\overrightarrow{A_n} (under the correspondence above).

This is an introductory survey on cluster algebras and their (additive) categorification using derived categories of Ginzburg algebras. After a gentle introduction to cluster combinatorics, we review important examples of coordinate rings admitting a cluster algebra structure. We then present the general definition of a cluster algebra and describe the interplay between cluster variables, coefficients, c-vectors and g-vectors. We show how c-vectors appear in the study of quantum cluster algebras and their links to the quantum dilogarithm. We then present the framework of additive categorification of cluster algebras based on the notion of quiver with potential and on the derived category of the associated Ginzburg algebra. We show how the combinatorics introduced previously lift to the categorical level and how this leads to proofs, for cluster algebras associated with quivers, of some of Fomin-Zelevinsky's fundamental conjectures.

We introduce a quantisation of the Coxeter-Conway frieze patterns and prove that they realise quantum cluster variables in quantum cluster algebras associated with linearly oriented Dynkin quivers of type A. As an application, we obtain the explicit polynomials arising from the lower bound phenomenon in these quantum cluster algebras.

In this paper, we show that, for skew-symmetric cluster algebras, the c-vectors of any seed with respect to an acyclic initial seed define a quasi-Cartan companion of the corresponding exchange matrix. As an application, we show that any cluster tilted quiver has an admissible cut of edges.

Let Q be a Dynkin quiver of type A. 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 classify the maximal rigid objects in the corresponding orbit category C(Q), in terms of bipartite noncrossing graphs (with loops) in a circle. We also describe the endomorphism algebras of the maximal rigid objects, and we prove that a certain class of these algebras are iterated tilted algebras of type A.

This paper characterizes the injective and projective objects in the category of directed multigraphs, or quivers. Further, the injective envelope and projective cover of any quiver in this category is constructed.

In this paper, we explain how the Tamari lattice arises in the context of the representation theory of quivers, as the poset whose elements are the torsion classes of a directed path quiver, with the order relation given by inclusion.

We define a graded quasi-hereditary covering for the cyclotomic quiver Hecke algebras $\mathcal{R}^Λ_n$ of type $A$ when $e=0$ (the linear quiver) or $e\ge n$. We show that these algebras are quasi-hereditary graded cellular algebras by giving explicit homogeneous bases for them. When $e=0$ we show that the KLR grading on the quiver Hecke algebras is compatible with the gradings on parabolic category $\mathcal{O}$ previously introduced in the works of Beilinson, Ginzburg and Soergel and Backelin. As a consequence, we show that when $e=0$ our graded Schur algebras are Koszul over field of characteristic zero. Finally, we give an LLT-like algorithm for computing the graded decomposition numbers of the quiver Schur algebras in characteristic zero when $e=0$.