Cluster algebras, Coxeter groups and hyperbolic manifolds

考克斯特群在数学中作为许多对象的对称群出现，特别是正多面体的对称群（古希腊人已经知道的五个柏拉图立体）以及艺术和真实的生活中使用的许多瓷砖的对称群。簇代数是Fomin和Zelevinsky在2002年提出的一个非常新的概念。不久之后，事实证明，簇代数与数学中的许多其他领域有关，例如多面体组合学，表示论，泊松几何，Teichmuller理论，可积系统。这些联系汇集了来自数学和数学物理的许多不同分支的研究人员，这引起了令人惊讶的快速增长理论的集群代数和相关领域。这是已知的，因为介绍了集群代数，一些集群代数连接到一些考克斯特群。更确切地说，有限簇代数（唯一的那些是双生成的）是由有限晶体Coxeter群枚举的。这个建议的第一个目的是将这种对应进一步推到簇代数的下一个复杂类（称为有限突变型簇代数，包括由三角化边界曲面产生的一大类簇代数）。这类代数应该对应于Coxeter群的某些子代数。对于由曲面生成的代数，所构造的群中的关系应该对应于曲面上的某些路，一旦构造了代数与群之间的对应关系，就会产生许多自然问题。特别是，它是有趣的知道，如果一些组构造为coxeter群的替代品是Coxeter群本身？如果簇代数不是有限的，那么所构造的群能是有限的吗？不同的代数能导出不同的群吗？在曲面代数的情况下，所得到的群如何与初始曲面相连？作为理论的应用之一，我们将构造具有大对称群的有限体积双曲流形。

Coxeter groups appear in mathematics as symmetry groups of many objects, in particular, symmetry groups of regular polyhedra (the five Platonic solids known already to ancient Greeks) as well as symmetry groups of many tilings used both in art and real life. Cluster algebras is a very recent notion introduced by Fomin and Zelevinsky in 2002. Soon after that, it turned out that cluster algebras are connected to many other fields in mathematics, such as combinatorics of polytopes, representation theory, Poisson geometry, Teichmuller theory, integrable systems. These connections brought together researchers from many different branches of mathematics and mathematical physics, which induced amazingly rapid growth both of the theory of cluster algebras and of related fields.It was known since introduction of cluster algebras that some cluster algebras are connected to some Coxeter groups. More precisely, finite cluster algebras (the only ones which are finitely generated) are enumerated by finite crystallographic Coxeter groups. The first aim of this proposal is to push this correspondence further to the next complexity class of cluster algebras (called cluster algebras of finite mutation type and including a large class of cluster algebras arising from triangulated boardered surfaces). Algebras from this class should correspond to certain quotients of Coxeter group. For algebras arising from surfaces, the relations in the constructed group should correspond to certain paths on the surface.There are many natural questions arising once the correspondence between algebras and groups constructed. In particular, it is interesting to know if some of the groups constructed as quotients of Coxeter groups are Coxeter groups themselves? Can the constructed group be finite if the cluster algebra is not a finite one? Do different algebras induce different groups? How the obtained group is connected to the initial surface, in the case of a surface algebra?As one of the applications of the theory, we will construct finite volume hyperbolic manifolds with large symmetry groups.