Cluster algebras II: Finite type classification

We study the cluster automorphism group $Aut(\mathcal{A})$ of a coefficient free cluster algebra $\mathcal{A}$ of finite type. A cluster automorphism of $\mathcal{A}$ is a permutation of the cluster variable set $\mathscr{X}$ that is compatible with cluster mutations. We show that, on the one hand, by the well-known correspondence between $\mathscr{X}$ and the almost positive root system $\Phi_{\geq -1}$ of the corresponding Dynkin type, the piecewise-linear transformations $...

We give a new simple description of the canonical bijection between the set of triangulations of n-gon and some set of Young diagrams. Using this description, we find flip transformations on this set of Young diagrams which correspond to the edges of the associahedron. This construction is generalized on the set of all Young diagrams and the corresponding infinite-dimensional associahedron is defined. We consider its relation to the properly defined infinite-type version of t...

We continue the study of cluster algebras initiated in math.RT/0104151 and math.RA/0208229. We develop a new approach based on the notion of an upper cluster algebra, defined as an intersection of certain Laurent polynomial rings. Strengthening the Laurent phenomenon from math.RT/0104151, we show that, under an assumption of "acyclicity", a cluster algebra coincides with its "upper" counterpart, and is finitely generated. In this case, we also describe its defining ideal, and...

We introduce a class of non-commutative algebras that carry a non-commutative (geometric) cluster structure which are generated by identical copies of generalized Weyl algebras. Equivalent conditions for the finiteness of the set of the cluster variables of these cluster structures are provided. Some combinatorial data, called \textit{cluster strands,} arising from the cluster structure are used to construct irreducible representations of generalized Weyl algebras.

This note introduces the superunitary region of a cluster algebra, the subspace of the totally positive region on which each cluster variable is at least 1. Our main result is that the superunitary region of a finite type cluster algebra is a regular CW complex which is homeomorphic to the generalized associahedron of the cluster algebra. As an application, the compactness of the superunitary region implies that each Dynkin diagram admits finitely many positive integral friez...

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 t...

We give a uniform geometric realization for the cluster algebra of an arbitrary finite type with principal coefficients at an arbitrary acyclic seed. This algebra is realized as the coordinate ring of a certain reduced double Bruhat cell in the simply connected semisimple algebraic group of the same Cartan-Killing type. In this realization, the cluster variables appear as certain (generalized) principal minors.

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 res...

It has been established in recent years how to approach acyclic cluster algebras of finite type using subword complexes. In this paper, we continue this study by describing the c- and g-vectors, and by providing a conjectured description of the Newton polytopes of the F-polynomials. In particular, we show that this conjectured description would imply that finite type cluster complexes are realized by the duals of the Minkowski sums of the Newton polytopes of either the F-poly...

A new construction of the associahedron was recently given by Arkani-Hamed, Bai, He, and Yan in connection with the physics of scattering amplitudes. We show that their construction (suitably understood) can be applied to construct generalized associahedra of any simply-laced Dynkin type. Unexpectedly, we also show that this same construction produces Newton polytopes for all the $F$-polynomials of the corresponding cluster algebras. In addition, we show that the toric variet...