arXiv++ Combinatorics

We prove the positivity conjecture for skew-symmetric coefficient-free cluster algebras of rank 3.

Given a point A in the real Grassmannian, it is well-known that one can construct a soliton solution u_A(x,y,t) to the KP equation. The contour plot of such a solution provides a tropical approximation to the solution when the variables x, y, and t are considered on a large scale and the time t is fixed. In this paper we give an overview of our work on the combinatorics of such contour plots. Using the positroid stratification and the Deodhar decomposition of the Grassmannian (and in particular the combinatorics of Go-diagrams), we completely describe the asymptotics of these contour plots when |y| or |t| go to infinity. Other highlights include: a surprising connection with total positivity and cluster algebras; results on the inverse problem; and the characterization of regular soliton solutions -- that is, a soliton solution u_A(x,y,t) is regular for all times t if and only if A comes from the totally non-negative part of the Grassmannian.

We complete the computation of growth rate of cluster algebras. In particular, we show that growth of all exceptional non-affine mutation-finite cluster algebras is exponential.

We describe a new way to relate an acyclic, skew-symmetrizable cluster algebra to the representation theory of a finite dimensional hereditary algebra. This approach is designed to explain the c-vectors of the cluster algebra. We obtain a necessary and sufficient combinatorial criterion for a collection of vectors to be the c-vectors of some cluster in the cluster algebra associated to a given skew-symmetrizable matrix. Our approach also yields a simple proof of the known result that the c-vectors of an acyclic cluster algebra are sign-coherent, from which Nakanishi and Zelevinsky have showed that it is possible to deduce in an elementary way several important facts about cluster algebras (specifically: Conjectures 1.1-1.4 of [Derksen-Weyman-Zelevinsky]).

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.

We describe the c-vectors and g-vectors of the Markov cluster algebra in terms of a special family of triples of rational numbers, which we call the Farey triples.

We give a presentation of a finite crystallographic reflection group in terms of an arbitrary seed in the corresponding cluster algebra of finite type and interpret the presentation in terms of companion bases in the associated root system.

We construct geometric realization for non-exceptional mutation-finite cluster algebras by extending the theory of Fomin and Thurston to skew-symmetrizable case. Cluster variables for these algebras are renormalized lambda lengths on certain hyperbolic orbifolds. We also compute growth rate of these cluster algebras, provide positivity of Laurent expansions of cluster variables, and prove sign-coherence of c-vectors.

We generalize the brick polytope of V. Pilaud and F. Santos to spherical subword complexes for finite Coxeter groups. This construction provides polytopal realizations for a certain class of subword complexes containing all cluster complexes of finite types. For the latter, the brick polytopes turn out to coincide with the known realizations of generalized associahedra, thus opening new perspectives on these constructions. This new approach yields in particular the vertex description of generalized associahedra, a Minkowski sum decomposition into Coxeter matroid polytopes, and a combinatorial description of the exchange matrix of any cluster in a finite type cluster algebra.

We develop a general approach to finding combinatorial models for cluster algebras. The approach is to construct a labeled graph called a framework. When a framework is constructed with certain properties, the result is a model incorporating information about exchange matrices, principal coefficients, g-vectors, and g-vector fans. The idea behind frameworks arises from Cambrian combinatorics and sortable elements, and in this paper, we use sortable elements to construct a framework for any cluster algebra with an acyclic initial exchange matrix. This Cambrian framework yields a model of the entire exchange graph when the cluster algebra is of finite type. Outside of finite type, the Cambrian framework models only part of the exchange graph. In a forthcoming paper, we extend the Cambrian construction to produce a complete framework for a cluster algebra whose associated Cartan matrix is of affine type.

Motivated by the theory of cluster algebras, F. Chapoton, S. Fomin and A. Zelevinsky associated to each finite type root system a simple convex polytope called \emph{generalized associahedron}. They provided an explicit realization of this polytope associated with a bipartite orientation of the corresponding Dynkin diagram. In the first part of this paper, using the parametrization of cluster variables by their $g$-vectors explicitly computed by S.-W. Yang and A. Zelevinsky, we generalize the original construction to any orientation. In the second part we show that our construction agrees with the one given by C. Hohlweg, C. Lange, and H. Thomas in the setup of Cambrian fans developed by N. Reading and D. Speyer.

We construct two bases for each cluster algebra coming from a triangulated surface without punctures. We work in the context of a coefficient system coming from a full-rank exchange matrix, for example, principal coefficients.

$Q$-systems are recursion relations satisfied by the characters of the restrictions of special finite-dimensional modules of quantum affine algebras. They can also be viewed as mutations in certain cluster algebras, which have a natural quantum deformation. In this paper, we explain the relation in the simply-laced case between the resulting quantum $Q$-systems and the graded tensor product of Feigin and Loktev. We prove the graded version of the $M=N$ identities, and write expressions for these as non-commuting evaluated multi-residues of suitable products of solutions of the quantum $Q$-system. This leads to a simple reformulation of Feigin and Loktev's fusion coefficients as matrix elements in a representation of the quantum $Q$-system algebra.

Hohlweg and Lange (2007) and Santos (2004, unpublished) have found two different ways of constructing exponential families of realizations of the n-dimensional associahedron with normal vectors in {0,1,-1}^n, generalizing the constructions of Loday (2004) and Chapoton-Fomin-Zelevinsky (2002). We classify the associahedra obtained by these constructions modulo linear equivalence of their normal fans and show, in particular, that the only realization that can be obtained with both methods is the Chapoton-Fomin-Zelevinsky (2002) associahedron. For the Hohlweg-Lange associahedra our classification is a priori coarser than the classification up to isometry of normal fans, by Bergeron-Hohlweg-Lange-Thomas (2009). However, both yield the same classes. As a consequence, we get that two Hohlweg-Lange associahedra have linearly equivalent normal fans if and only if they are isometric. The Santos construction, which produces an even larger family of associahedra, appears here in print for the first time. Apart of describing it in detail we relate it with the c-cluster complexes and the denominator fans in cluster algebras of type A. A third classical construction of the associahedron, as the secondary polytope of a convex n-gon (Gelfand-Kapranov-Zelevinsky, 1990), is shown to never produce a normal fan linearly equivalent to any of the other two constructions.

In this chapter, we trace the path from the Tamari lattice, via lattice congruences of the weak order, to the definition of Cambrian lattices in the context of finite Coxeter groups, and onward to the construction of Cambrian fans. We then present sortable elements, the key combinatorial tool for studying Cambrian lattices and fans. The chapter concludes with a brief description of the applications of Cambrian lattices and sortable elements to Coxeter-Catalan combinatorics and to cluster algebras.

This paper concerns cluster algebras with principal coefficients A(S,M) associated to bordered surfaces (S,M), and is a companion to a concurrent work of the authors with Schiffler [MSW2]. Given any (generalized) arc or loop in the surface -- with or without self-intersections -- we associate an element of (the fraction field of) A(S,M), using products of elements of PSL_2(R). We give a direct proof that our matrix formulas for arcs and loops agree with the combinatorial formulas for arcs and loops in terms of matchings, which were given in [MSW, MSW2]. Finally, we use our matrix formulas to prove skein relations for the cluster algebra elements associated to arcs and loops. Our matrix formulas and skein relations generalize prior work of Fock and Goncharov [FG1, FG2, FG3], who worked in the coefficient-free case. The results of this paper will be used in [MSW2] in order to show that certain collections of arcs and loops comprise a vector-space basis for A(S,M).

In this paper, we prove Conjecture 4.8 of "Cluster algebras IV" by S. Fomin and A. Zelevinsky, stating that the mutation classes of rectangular matrices associated with cluster algebras of finite type are precisely those classes which are finite.

We give explicit atomic bases of arbitrary coefficient-free cluster algebras of types $A$ and $\widetilde A$.