Cluster algebras of type \(A\) \(_{{2}}^{{(1)}}\) (Q1926571)

In the paper under review, the author studies cluster algebras \({\mathcal{A}}\) of type \(A_2^{(1)}\). The author solves the recurrence relations among the cluster variables which form a T--system of type \(A_2^{(1)}\) and also solves the recurrence relations among the coefficients of \({\mathcal{A}}\) which form a Y--system of type \(A_2^{(1)}\). In \({\mathcal{A}}\) there is a natural notion of positivity. The author finds linear bases {\textbf{B}} of \({\mathcal{A}}\) such that positive linear combinations of elements of {\textbf{B}} coincide with the cone of positive elements. These bases are called atomic bases of \({\mathcal{A}}\) which are the analogue of the ``canonical bases'' found by \textit{P. Sherman} and \textit{A. Zelevinsky} in type \(A_{1}^{(1)}\) [Mosc. Math. J. 4, No. 4, 947--974 (2004; Zbl 1103.16018)]. Every atomic basis consists of cluster monomials together with extra elements. The explicit expressions for the elements of such bases in every cluster are provided. The author proves that the elements of {\textbf{B}} are parameterized by \(\mathbb{Z}^3\) via their {\textbf{g}}--vectors in every cluster. He proves that the denominator vector map in every acyclic seed of \({\mathcal{A}}\) restricts to a bijection between {\textbf{B}} and \(\mathbb{Z}^3\). In particular this gives an explicit algorithm to determine the ``virtual'' canonical decomposition of every element of the root lattice of type \(A_2^{(1)}\). The explicit recurrence relations to express every element of \({\mathcal{A}}\) as linear combinations of elements of {\textbf{B}} are found.