arXiv++ Combinatorics

We consider the cluster algebra associated to the $Q$-system for $A_r$ as a tool for relating $Q$-system solutions to all possible sets of initial data. We show that the conserved quantities of the $Q$-system are partition functions for hard particles on particular target graphs with weights, which are determined by the choice of initial data. This allows us to interpret the simplest solutions of the Q-system as generating functions for Viennot's heaps on these target graphs, and equivalently as generating functions of weighted paths on suitable dual target graphs. The generating functions take the form of finite continued fractions. In this setting, the cluster mutations correspond to local rearrangements of the fractions which leave their final value unchanged. Finally, the general solutions of the $Q$-system are interpreted as partition functions for strongly non-intersecting families of lattice paths on target lattices. This expresses all cluster variables as manifestly positive Laurent polynomials of any initial data, thus proving the cluster positivity conjecture for the $A_r$ $Q$-system. We also give an alternative formulation in terms of domino tilings of deformed Aztec diamonds with defects.

In 2003, Fomin and Zelevinsky obtained Cartan-Killing type classification of all cluster algebras of finite type, i.e. cluster algebras having only finitely many distinct cluster variables. A wider class of cluster algebras is formed by cluster algebras of finite mutation type which have finitely many exchange matrices (but are allowed to have infinitely many cluster variables). In this paper we classify all cluster algebras of finite mutation type with skew-symmetric exchange matrices. Besides cluster algebras of rank 2 and cluster algebras associated with triangulations of surfaces there are exactly 11 exceptional skew-symmetric cluster algebras of finite mutation type. More precisely, 9 of them are associated with root systems $E_6$, $E_7$, $E_8$, $\widetilde E_6$, $\widetilde E_7$, $\widetilde E_8$, $E_6^{(1,1)}$, $E_7^{(1,1)}$, $E_8^{(1,1)}$; two remaining were recently found by Derksen and Owen. We also describe a criterion which determines if a skew-symmetric cluster algebra is of finite mutation type, and discuss growth rate of cluster algebras.

We study cluster algebras with principal coefficient systems that are associated to unpunctured surfaces. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of perfect matchings of a certain graph $G_{T,γ}$ that is constructed from the surface by recursive glueing of elementary pieces that we call tiles. We also give a second formula for these Laurent polynomial expansions in terms of subgraphs of the graph $G_{T,γ}$.

There is a cell decomposition of the nonnegative Grassmannian. For each cell, totally positive bases(TP-bases) is defined as the minimal set of Plücker variables such that all other nonzero Plücker variables in the cell can be expressed in those variables in a subtraction-free rational function. This is the generalization of the TP-bases defined for nonnegative part of $GL_k$ defined in \cite{FZ5}. For each cell, we have a $\LE$-diagram and a natural way to label the dots inside the diagram with Plücker variables. Those set of Plücker variables form a TP-bases of the cell. Using mutations coming from 3-term Plücker relation, we conjecture that they can be mutated to a special set of Plücker variable $§$. All other nonzero Plücker variables in the cell will be expressed as a subtraction-free Laurent polynomial in variables of $§$. We define TP-diagrams to express the transformation procedure in terms of moves on a diagram. We will prove the conjecture for certain class of cells called weakly-connected cells. Then we will study the connection with cluster algebras through lattice-path-matroid cells.

We prove a conjecture of Geiss, Leclerc and Schröer, producing cluster algebra structures on multi-homogeneous coordinate ring of partial flag varieties, for the case $G_2$. As a consequence we sharpen the known fact that coordinate ring of the double Bruhat cell $G^{e,w_0}$ is an upper cluster algebra, by proving that it is a cluster algebra.

This is an introduction to some aspects of Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers and with Calabi-Yau triangulated categories. It is based on lectures given by the author at summer schools held in 2006 (Bavaria) and 2008 (Jerusalem). In addition to by now classical material, we present the outline of a proof of the periodicity conjecture for pairs of Dynkin diagrams (details will appear elsewhere) and recent results on the interpretation of mutations as derived equivalences.

In this note we explain how to obtain cluster algebras from triangulations of (punctured) discs following the approach of S. Fomin, M. Shapiro and D. Thurston. Furthermore, we give a description of m-cluster categories via diagonals (arcs) in (punctured) polygons and of m-cluster categories via powers of translation quivers as given in joint work with R. Marsh.

We use the representation theory of preprojective algebras to construct and study certain cluster algebras related to semisimple algebraic groups.

In this paper, we give a description of the skew-symmetrizable matrices and their mutation classes which are determined by the generalized Cartan matrices of affine type.

To a directed graph without loops and 2-cycles, we can associate a skew-symmetric matrix with integer entries. Mutations of such skew-symmetric matrices, and more generally skew-symmetrizable matrices, have been defined in the context of cluster algebras by Fomin and Zelevinsky. The mutation class of a graph G is the set of all isomorphism classes of graphs that can be obtained from G by a sequence of mutations. A graph is called mutation-finite if its mutation class is finite. Fomin, Shapiro and Thurston constructed mutation-finite graphs from triangulations of oriented bordered surfaces with marked points. We will call such graphs "of geometric type". Besides graphs with 2 vertices, and graphs of geometric type, there are only 9 other "exceptional" mutation classes that are known to be finite. In this paper we introduce 2 new exceptional finite mutation classes.

In a series of previous papers, we studied sortable elements in finite Coxeter groups, and the related Cambrian fans. We applied sortable elements and Cambrian fans to the study of cluster algebras of finite type and the noncrossing partitions associated to Artin groups of finite type. In this paper, as the first step towards expanding these applications beyond finite type, we study sortable elements in a general Coxeter group W. We supply uniform arguments which transform all previous finite-type proofs into uniform proofs (rather than type by type proofs), generalize many of the finite-type results and prove new and more refined results. The key tools in our proofs include a skew-symmetric form related to (a generalization of) the Euler form of quiver theory and the projection \pidown^c mapping each element of W to the unique maximal c-sortable element below it in the weak order. The fibers of \pidown^c essentially define the c-Cambrian fan. The most fundamental results are, first, a precise statement of how sortable elements transform under (BGP) reflection functors and second, a precise description of the fibers of \pidown^c. These fundamental results and others lead to further results on the lattice theory and geometry of Cambrian (semi)lattices and Cambrian fans.

We define the cluster algebra associated with the Q-system for the Kirillov-Reshetikhin characters of the quantum affine algebra $U_q(\hat{\g})$ for any simple Lie algebra g, generalizing the simply-laced case treated in [Kedem 2007]. We describe some special properties of this cluster algebra, and explain its relation to the deformed Q-systems which appeared on our proof of the combinatorial-KR conjecture. We prove that the polynomiality of the cluster variables in terms of the ``initial cluster seeds'', including solutions of the Q-system, is a consequence of the Laurent phenomenon and the boundary conditions. We also give a formulation of both Q-systems and generalized T-systems as cluster algebras with coefficients. This provides a proof of the polynomiality of solutions of generalized T-systems with appropriate boundary conditions.

This is a concise introduction to Fomin-Zelevinsky's cluster algebras and their links with the representation theory of quivers in the acyclic case. We review the definition of cluster algebras (geometric, without coefficients), construct the cluster category and present the bijection between cluster variables and rigid indecomposable objects of the cluster category.

We study cluster algebras that are associated to unpunctured surfaces with coefficients arising from boundary arcs. We give a direct formula for the Laurent polynomial expansion of cluster variables in these cluster algebras in terms of certain paths on a triangulation of the surface. As an immediate consequence, we prove the positivity conjecture of Fomin and Zelevinsky for these cluster algebras. In the special case where the cluster algebra is acyclic, we also give a formula for the expansion of cluster variables as a polynomial whose indeterminates are the cluster variables contained in the union of an arbitrary acyclic cluster and all its neighbouring clusters in the mutation graph.

We generalize to the non simply-laced case results of Geiß, Leclerc and Schröer about the cluster structure of the coordinate ring of the maximal unipotent subgroups of simple Lie groups. In this way, cluster structures in the non simply-laced case can be seen as projections of cluster structures in the simply-laced case. This allows us to prove that cluster monomials are linearly independent in the non simply-laced case.

We construct frieze patterns of type D_N with entries which are numbers of matchings between vertices and triangles of corresponding triangulations of a punctured disc. For triangulations corresponding to orientations of the Dynkin diagram of type D_N, we show that the numbers in the pattern can be interpreted as specialisations of cluster variables in the corresponding Fomin-Zelevinsky cluster algebra.

In this paper we give a graph theoretic combinatorial interpretation for the cluster variables that arise in most cluster algebras of finite type. In particular, we provide a family of graphs such that a weighted enumeration of their perfect matchings encodes the numerator of the associated Laurent polynomial while decompositions of the graphs correspond to the denominator. This complements recent work by Schiffler and Carroll-Price for a cluster expansion formula for the A_n case while providing a novel interpretation for the B_n, C_n, and D_n cases.

We prove a conjecture about the vertices and edges of the exchange graph of a cluster algebra $\A$ in two cases: when $\A$ is of geometric type and when $\A$ is arbitrary and its exchange matrix is nondegenerate. In the second case we also prove that the exchange graph does not depend on the coefficients of $\A$. Both conjectures were formulated recently by Fomin and Zelevinsky.

We establish basic properties of cluster algebras associated with oriented bordered surfaces with marked points. In particular, we show that the underlying cluster complex of such a cluster algebra does not depend on the choice of coefficients, describe this complex explicitly in terms of "tagged triangulations" of the surface, and determine its homotopy type and its growth rate.

We study the cluster variables and "imaginary" elements of the semicanonical basis for the coefficient-free cluster algebra of affine type $A_1^{(1)}$. A closed formula for the Laurent expansions of these elements was obtained by P.Caldero and the author in math.RT/0604054. As a by-product, there was given a combinatorial interpretation of the Laurent polynomials in question, equivalent to the one obtained by G.Musiker and J.Propp in math.CO/0602408. The arguments in math.RT/0604054 used a geometric interpretation of the Laurent polynomials due to P.Caldero and F.Chapoton (math.RT/0410184). This note provides a quick, self-contained and completely elementary alternative proof of the same results.