Classification of Zamolodchikov periodic cluster algebras
Ariana Chin
TL;DR
The paper establishes a precise correspondence between Zamolodchikov periodicity in cluster algebras and pairs of commuting finite-type Cartan matrices, extending the known ADE framework. By introducing Dynkin biagrams and detailing folding, transposition, and binding operations, it achieves a complete classification into 29 infinite families and 14 exceptional types (beyond Stembridge) and shows these arise from simply-laced types via folding and transpose. A key bridge is built between periodicity, tropical T-systems, and strictly subadditive/fixed-point labelings, proving equivalences that ground the periodic behavior in Cartan data. The work further connects to Kazhdan-Lusztig theory through $W$-graphs and discusses implications for nonnegative $W$-cells in products of dihedral groups, while proposing conjectures on tropical mutations and root-system interpretations that point to rich future directions.
Abstract
Zamolodchikov periodicity is a property of certain discrete dynamical systems and was one of the primary motivations for the creation of cluster algebras. It was first observed by Zamolodchikov in his study of thermodynamic Bethe ansatz, initially for simply-laced Dynkin diagrams. It was proved by Keller to hold for tensor products of two Dynkin diagrams, and further shown by Galashin and Pylyavskyy to hold for pairs of commuting simply-laced Cartan matrices of finite type, which Stembridge classified in his study of admissible $W$-cells. We prove that the Zamolodchikov periodic cluster algebras are in bijection with pairs of commuting (not necessarily reduced or simply-laced) Cartan matrices of finite type. We fully classify all such pairs into 29 infinite families and 14 exceptional types in addition to the 6 infinite families and 11 exceptional types in Stembridge's classification, and show that all of these families can be derived from simply-laced types through two operations preserving Zamolodchikov periodicity, folding and taking transpose. Our work holds connections to Kazhdan--Lusztig theory, and our main theorem helps classify all nonnegative $W$-cells for products of two dihedral groups, $W = I_2(p)\times I_2(q)$.
