arXiv++ Combinatorics

Somos 4 sequences are a family of sequences defined by a fourth-order quadratic recurrence relation with constant coefficients. For particular choices of the coefficients and the four initial data, such recurrences can yield sequences of integers. Fomin and Zelevinsky have used the theory of cluster algebras to prove that these recurrences also provide one of the simplest examples of the Laurent phenomenon: all the terms of a Somos 4 sequence are Laurent polynomials in the initial data. The integrality of certain Somos 4 sequences has previously been understood in terms of the Laurent phenomenon. However, each of the authors of this paper has independently established the precise correspondence between Somos 4 sequences and sequences of points on elliptic curves. Here we show that these sequences satisfy a stronger condition than the Laurent property, and hence establish a broad set of sufficient conditions for integrality. As a by-product, non-periodic sequences provide infinitely many solutions of an associated quartic Diophantine equation in four variables. The analogous results for Somos 5 sequences are also presented, as well as various examples, including parameter families of Somos 4 integer sequences.

We show that the mutation class of a finite quiver without oriented cycles is finite if and only is the quiver is either Dynkin, extended Dynkin or has at most two vertices.

These lecture notes for the IAS/Park City Graduate Summer School in Geometric Combinatorics (July 2004) provide an overview of root systems, generalized associahedra, and the combinatorics of clusters. Lectures 1-2 cover classical material: root systems, finite reflection groups, and the Cartan-Killing classification. Lectures 3-4 provide an introduction to cluster algebras from a combinatorial perspective. Lecture 5 is devoted to related topics in enumerative combinatorics.

We introduce and study a family of simplicial complexes associated to an arbitrary finite root system and a nonnegative integer parameter m. For m=1, our construction specializes to the (simplicial) generalized associahedra or, equivalently, to the cluster complexes for the cluster algebras of finite type. Our computation of the face numbers and h-vectors of these complexes produces the enumerative invariants defined in other contexts by C.A.Athanasiadis, suggesting links to a host of well studied problems in algebraic combinatorics of finite Coxeter groups, root systems, and hyperplane arrangements. Recurrences satisfied by the face numbers of our complexes lead to combinatorial algorithms for determining Coxeter-theoretic invariants. That is, starting with a Coxeter diagram of a finite Coxeter group, one can compute the Coxeter number, the exponents, and other classical invariants by a recursive procedure that only uses most basic graph-theoretic concepts applied to the input diagram. In types A and B, we rediscover the constructions and results obtained by E.Tzanaki <math.CO/0501100>.

The paper is motivated by an analogy between cluster algebras and Kac-Moody algebras: both theories share the same classification of finite type objects by familiar Cartan-Killing types. However the underlying combinatorics beyond the two classifications is different: roughly speaking, Kac-Moody algebras are associated with (symmetrizable) Cartan matrices, while cluster algebras correspond to skew-symmetrizable matrices. We study an interplay between the two classes of matrices, in particular, establishing a new criterion for deciding whether a given skew-symmetrizable matrix gives rise to a cluster algebra of finite type.

We compute the list of all minimal 2-infinite diagrams, which are cluster algebraic analogues of extended Dynkin graphs.

There is a natural generalization of domino tilings to tilings of a polygon by hexagons, or, dually, configurations of oriented curves that meet in triples. We show exactly when two such tilings can be connected by a series of moves analogous to the domino flip move. The triple diagrams that result have connections to Legendrian knots, cluster algebras, and planar algebras.

Some enumerative aspects of the fans, called generalized associahedra, introduced by S. Fomin and A. Zelevinsky in their theory of cluster algebras are considered, in relation with a bicomplex and its two spectral sequences. A precise enumerative relation with the lattices of generalized noncrossing partitions is conjectured and some evidence is given.

Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive part of the tropicalization of an arbitrary affine variety, an object which has the structure of a polyhedral fan. We then investigate the case of the Grassmannian, denoting the resulting fan \Trop^+ Gr_{k,n}. We show that \Trop^+ Gr_{2,n} is the Stanley-Pitman fan, which is combinatorially the fan dual to the (type A_{n-3}) associahedron, and that \Trop^+ Gr_{3,6} and \Trop^+ Gr_{3,7} are closely related to the fans dual to the types D_4 and E_6 associahedra. These results are reminiscent of the results of Fomin and Zelevinsky, and Scott, who showed that the Grassmannian has a natural cluster algebra structure which is of types A_{n-3}, D_4, and E_6 for Gr_{2,n}, Gr_{3,6}, and Gr_{3,7}. We suggest a general conjecture about the positive part of the tropicalization of a cluster algebra.

This is an expanded version of the notes of our lectures given at the conference "Current Developments in Mathematics 2003" held at Harvard University on November 21--22, 2003. We present an overview of the main definitions, results and applications of the theory of cluster algebras.

This paper demonstrates that the homogeneous coordinate ring of the Grassmannian $\Bbb{G}(k,n)$ is a {\it cluster algebra of geometric type} - as defined by S. Fomin and A. Zelevinsky. Grassmannians having {\it finite cluster type} are classified and the associated cluster variables are studied in connection with the geometry of configurations of points in $\Bbb{R}\Bbb{P}^2$.

This paper continues the study of cluster algebras initiated in math.RT/0104151. Its main result is the complete classification of the cluster algebras of finite type, i.e., those with finitely many clusters. This classification turns out to be identical to the Cartan-Killing classification of semisimple Lie algebras and finite root systems, which is intriguing since in most cases, the symmetry exhibited by the Cartan-Killing type of a cluster algebra is not at all apparent from its geometric origin. The combinatorial structure behind a cluster algebra of finite type is captured by its cluster complex. We identify this complex as the normal fan of a generalized associahedron introduced and studied in hep-th/0111053 and math.CO/0202004. Another essential combinatorial ingredient of our arguments is a new characterization of the Dynkin diagrams.

We introduce a Poisson variety compatible with a cluster algebra structure and a compatible toric action on this variety. We study Poisson and topological properties of the union of generic orbits of this toric action. In particular, we compute the number of connected components of the union of generic toric orbits for cluster algebras over real numbers. As a corollary we compute the number of connected components of refined open Bruhat cells in Grassmanians G(k,n) over real numbers.