Three dimensional Sklyanin algebras and Gröbner bases

详细信息    查看全文

• 作者：Natalia Iyudu^a ; ^{niyudu@staffmail.ed.ac.uk" class="auth_mail" title="E-mail the corresponding author} ; Stanislav Shkarin^b ; ^{s.shkarin@qub.ac.uk" class="auth_mail" title="E-mail the corresponding author}
• 关键词：17A45 ; 16A22
• 刊名：Journal of Algebra
• 出版年：2017
• 出版时间：15 January 2017
• 年：2017
• 卷：470
• 期：Complete
• 页码：379-419
• 全文大小：720 K

文摘

We consider a Sklyanin algebra S   with 3 generators, which is the quadratic algebra over a field K$\mathbb{K}$ with 3 generators x, y, z   given by 3 relations pxy+qyx+rzz=0$pxy+qyx+rzz=0$, pyz+qzy+rxx=0$pyz+qzy+rxx=0$ and fcb709bd024da4fd402c40c710e8" title="Click to view the MathML source">pzx+qxz+ryy=0$pzx+qxz+ryy=0$, where p,q,r∈K$p,q,r\in \mathbb{K}$. This class of algebras enjoyed much of attention, in particular, using tools from algebraic geometry, Feigin, Odesskii [15], and Artin, Tate and Van den Bergh [3], showed that if at least two of the parameters p, q and r   are non-zero and at least two of three numbers p³$p^3$, q³$q^3$ and r³$r^3$ are distinct, then S is Koszul and has the same Hilbert series as the algebra of commutative polynomials in 3 variables.

It became commonly accepted, that it is impossible to achieve the same objective by purely algebraic and combinatorial means, like the Gröbner basis technique. The main purpose of this paper is to trace the combinatorial meaning of the properties of Sklyanin algebras, such as Koszulity, PBW, PHS, Calabi–Yau, and to give a new constructive proof of the above facts due to Artin, Tate and Van den Bergh.

Further, we study a wider class of Sklyanin algebras, namely the situation when all parameters of relations could be different. We call them generalized Sklyanin algebras. We classify up to isomorphism all generalized Sklyanin algebras with the same Hilbert series as commutative polynomials on 3 variables. We show that generalized Sklyanin algebras in general position have a Golod–Shafarevich Hilbert series (with exception of the case of field with two elements).