Companion bases for cluster-tilted algebras (Q742936)

Cluster algebras were introduced in [\textit{S. Fomin} and \textit{A. Zelevinsky}, J. Am. Math. Soc. 15, No. 2, 497--529 (2002; Zbl 1021.16017)]. Those of finite type are classified by the Dynkin diagrams [\textit{S. Fomin} and \textit{A. Zelevinsky}, Invent. Math. 154, No. 1, 63--121 (2003; Zbl 1054.17024)]. A cluster algebra consists of a collection of seeds, each containing a quiver and a free generating set of a fixed field of rational functions in finitely many variables. Given one such seed, the others can be obtained via mutation. Given a cluster algebra of finite type with associated Dynkin diagram which is simply-laced, the article under review introduces the notion of a companion basis for a seed in the cluster algebra. Such a basis is a \(\mathbb{Z}\)-basis (consisting of roots) of the integral root lattice of the corresponding root system indexed by the vertices in the quiver of the seed. It has the property that the absolute value of the inner product of a pair of distinct roots in the basis is \(1\) if there is an arrow between the corresponding vertices in the quiver, and zero otherwise. The article explains the relationship between the different companion bases for a fixed seed. It also shows, in the type \(A\) case, that the dimension vectors of the finite dimensional indecomposable modules over a cluster-tilted algebra may be found, up to sign, by writing each of the positive roots in terms of a companion basis for a seed containing the quiver of the algebra (noting that such a seed necessarily exists). This can be regarded as a generalization of part of Gabriel's Theorem. Finally, it is shown (in the simply-laced Dynkin case) how a companion basis for the mutation of a quiver can be obtained from a companion basis for the original quiver.