Cluster algebras. II: Finite type classification (Q1411978)

For part I see the authors' paper in J. Am. Math. Soc. 15, No. 2, 497--529 (2002; Zbl 1021.16017). The authors introduced cluster algebras with a motivation to understand the structure of ``dual canonical bases'' for the homogeneous coordinate rings of algebraic varieties related to semi-simple algebraic groups. The cluster algebra structure describes these rings inside an ambient field by a distinguished family of generators called ``cluster variables''. A cluster algebra is said to be of finite type if it has a finite number of cluster variables. In this paper, the authors provide a complete classification of cluster algebras of finite type.