Cluster-concealed algebras. (Q616892): Difference between revisions

A cluster-tilted algebra is the endomorphism algebra of a cluster-tilting object in a cluster category. A cluster-tilted algebra is called cluster-concealed if the corresponding cluster-tilting object is obtained from a preprojective tilting module. The first main result of the paper under review is: Theorem. Let \(C\) be a representation-finite cluster-tilted algebra and \(N\), \(N'\) be indecomposable \(C\)-modules with equal dimension vectors. Then \(N\) and \(N'\) are isomorphic. The second main result of the paper describes dimension vectors for indecomposable modules over cluster-concealed algebras: Theorem. Let \(A\) be a finite-dimensional hereditary algebra, \(B\) a concealed algebra for \(A\) and \(C\) the corresponding cluster-concealed algebra (the trivial extension of \(B\)). 1) The dimension vectors of indecomposable \(C\)-modules are precisely the vectors of the form \((|x_1|,\dots,|x_n|)\) where \((x_1,\dots,x_n)\) belong to the image (under the tilting functor from \(A\)-mod to \(B\)-mod) of the roots of the Kac-Moody root system corresponding to \(A\). 2) If \(Z\) is an indecomposable \(C\)-module, then \(q_B(\dim Z)\leq 1\) if and only if \(Z\) is a \(B\)-module (here \(q_B\) is the Euler form for \(B\)); if \(Z\) is not a \(B\)-module, then \(q_B(\dim Z)\) is an odd integer greater than \(2\). 3) If \(Z\) is an indecomposable \(C\)-module which is not a \(B\)-module, then \(Z\) has only scalar endomorphisms.