arXiv++ Combinatorics

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 consider (local) parametrizations of Teichmuller space $T_{g,n}$ (of genus $g$ hyperbolic surfaces with $n$ boundary components) by lengths of $6g-6+3n$ geodesics. We find a large family of suitable sets of $6g-6+3n$ geodesics, each set forming a special structure called "admissible double pants decomposition". For admissible double pants decompositions containing no double curves we show that the lengths of curves contained in the decomposition determine the point of $T_{g,n}$ up to finitely many choices. Moreover, these lengths provide a local coordinate in a neighborhood of all points of $T_{g,n}\setminus X$, where $X$ is a union of $3g-3+n$ hypersurfaces. Furthermore, there exists a groupoid acting transitively on admissible double pants decompositions and generated by transformations exchanging only one curve of the decomposition. The local charts arising from different double pants decompositions compose an atlas covering the Teichmuller space. The gluings of the adjacent charts are coming from the elementary transformations of the decompositions, the gluing functions are algebraic. The same charts provide an atlas for a large part of the boundary strata in Deligne-Mumford compactification of the moduli space.

We complete classification of mutation-finite cluster algebras by extending the technique derived by Fomin, Shapiro, and Thurston to skew-symmetrizable case. We show that for every mutation-finite skew-symmetrizable matrix a diagram characterizing the matrix admits an unfolding which embeds its mutation class to the mutation class of some mutation-finite skew-symmetric matrix. In particular, this establishes a correspondence between a large class of skew-symmetrizable mutation-finite cluster algebras and triangulated marked bordered surfaces.

We consider a union of two pants decompositions of the same orientable 2-dimensional surface of any genus g. Each pants decomposition corresponds to some handlebody bounded by this surface, so two pants decompositions correspond to a Heegaard splitting of a 3-manifold. We introduce a groupoid FT acting on double pants decompositions. This groupoid is generated by two simple transformations (called flips and handle twists), each transformation affecting only one curve of the double pants decomposition. We prove that FT acts transitively on all double pants decompositions corresponding to Heegaard splittings of a 3-dimensional sphere. As a corollary, the mapping class group is contained in FT.

We introduce a notion of essential hyperbolic Coxeter polytope as a polytope which fits some minimality conditions. The problem of classification of hyperbolic reflection groups can be easily reduced to classification of essential Coxeter polytopes. We determine a potentially large combinatorial class of polytopes containing, in particular, all the compact hyperbolic Coxeter polytopes of dimension at least 6 which are known to be essential, and prove that this class contains finitely many polytopes only. We also construct an effective algorithm of classifying polytopes from this class, realize it in four-dimensional case, and formulate a conjecture on finiteness of the number of essential polytopes.

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.

Given a root system $\mathsf{R}$, the vector system $\tilde{\mathsf{R}}$ is obtained by taking a representative $v$ in each antipodal pair $\{v, -v\}$. The matroid $M(\mathsf{R})$ is formed by all independent subsets of $\tilde{\mathsf{R}}$. The automorphism group of a matroid is the group of permutations preserving its independent subsets. We prove that the automorphism groups of all irreducible root systems matroids $M(\mathsf{R})$ are uniquely determined by their independent sets of size 3. As a corollary, we compute these groups explicitly, and thus complete the classification of the automorphism groups of root systems matroids.

We consider compact hyperbolic Coxeter polytopes whose Coxeter diagram contains a unique dotted edge. We prove that such a polytope in d-dimensional hyperbolic space has at most d+3 facets. In view of results of Lannér, Kaplinskaja, Esselmann, and the second author, this implies that compact hyperbolic Coxeter polytopes with a unique pair of non-intersecting facets are completely classified. They do exist only up to dimension 6 and in dimension 8.

We prove that, apart from some well-known low-dimensional examples, any compact hyperbolic Coxeter polytope has a pair of disjoint facets. This is one of very few known general results concerning combinatorics of compact hyperbolic Coxeter polytopes. We also obtain a similar result for simple non-compact polytopes.