Tubular cluster algebras. I: Categorification (Q444168): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Bethany R. Marsh / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F60 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 16G20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14F05 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 18E30 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 57Q15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6065374 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cluster category | |||
Property / zbMATH Keywords: cluster category / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
tubular | |||
Property / zbMATH Keywords: tubular / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cluster algebra | |||
Property / zbMATH Keywords: cluster algebra / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
elliptic root system | |||
Property / zbMATH Keywords: elliptic root system / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
finite mutation type | |||
Property / zbMATH Keywords: finite mutation type / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
coherent sheaf | |||
Property / zbMATH Keywords: coherent sheaf / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
weighted projective line | |||
Property / zbMATH Keywords: weighted projective line / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Schur root | |||
Property / zbMATH Keywords: Schur root / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cluster variable | |||
Property / zbMATH Keywords: cluster variable / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rigid | |||
Property / zbMATH Keywords: rigid / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
triangulation | |||
Property / zbMATH Keywords: triangulation / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
sphere | |||
Property / zbMATH Keywords: sphere / rank | |||
Normal rank |
Revision as of 02:45, 30 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Tubular cluster algebras. I: Categorification |
scientific article |
Statements
Tubular cluster algebras. I: Categorification (English)
0 references
13 August 2012
0 references
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.
0 references
cluster category
0 references
tubular
0 references
cluster algebra
0 references
elliptic root system
0 references
finite mutation type
0 references
coherent sheaf
0 references
weighted projective line
0 references
Schur root
0 references
cluster variable
0 references
rigid
0 references
triangulation
0 references
sphere
0 references