Cluster algebras arising from cluster tubes I: integer vectors (Q2663106)

Let \(A\) be a cluster algebra of finite type and let \(\{y_1,\dots,y_n\}\) be a cluster. Then each \(y_i\) can be written as a polynomial in the cluster variables \(x_1,\dots,x_n\) divided by a monomial in the cluster variables, where the fraction can be assumed without common factor. Such monomials are encoded by the integer tuple \((d_1,\dots,d_n)\), called denominator vector, encoding the monomial \(x_1^{d_1}\cdot \dots\cdot x_n^{d_n}\). Fomin and Zelevinsky conjectured that different cluster monomials have different denominator vectors and the denominator vectors of \(y_1,\dots,y_n\) form a basis of \({\mathbb Q}^n\). One of the main results of the present paper shows that for cluster algebras of type \(A\), \(B\), or \(C\), the denominator vectors as explained above are linearly independent. The proof uses a large part of the theory of cluster algebras and its categorifications and in particular \(\tau\)-tilting theory. The first three chapters of the paper also give a very nice introduction of what is known in this direction.