Tubular cluster algebras. I: Categorification (Q444168)

In [\textit{A. Felikson, M. Shapiro} and \textit{P. Tumarkin}, J. Eur. Math. Soc. (JEMS) 14, No. 4, 1135--1180 (2012; Zbl 1262.13038)] it was shown that every skew-symmetric cluster algebra of finite mutation type arises from a surface, via \textit{S. Fomin, M. Shapiro} and \textit{D. Thurston} [Acta Math. 201, No. 1, 83--146 (2008; Zbl 1263.13023)], or is of type \(E_6,E_7\) or \(E_8\), or the corresponding affine or elliptic type, or one of two exceptional diagrams \(X_6,X_7\) introduced in [\textit{H. Derksen} and \textit{Th. Owen}, Electron. J. Comb. 15, No. 1, Research Paper R139, 15 p. (2008; Zbl 1180.05052)]. The article under review focuses on four of these: those of elliptic type \(D_4^{(1,1)}\), \(E_6^{(1,1)}\), \(E_7^{(1,1)}\) and \(E_8^{(1,1)}\). The first corresponds in the above picture to a surface: a sphere with four marked points. The main result is that these cluster algebras can be categorified by cluster categories corresponding to weighted projective lines with weight sequences \((2,2,2,2)\), \((3,3,3)\), \((4,4,2)\) and \((6,3,2)\), respectively. Each cluster category has a cluster structure in the sense of \textit{A. Buan} et al. [Compos. Math. 145, No. 4, 1035--1079 (2009; Zbl 1181.18006)]. It is shown that in each case there is a cluster character in the sense of \textit{Y. Palu} [Ann. Inst. Fourier 58, No. 6, 2221--2248 (2008; Zbl 1154.16008)] giving a bijection between the set of isomorphism classes of indecomposable rigid objects of the cluster category and the set of cluster variables of the cluster algebra inducing a bijection between the set of isomorphism classes of cluster-tilting objects and the set of clusters. These cluster algebras are named tubular cluster algebras, because of their categorification by tubular cluster categories. The main result implies that for these cluster algebras, the cluster complex coincides with the clique complex of the compatibility relation and that, in the elliptic type \(E\) cases, the cluster algebra is finitely generated and the cluster monomials are linearly independent.