A translation principle for the four-dimensional Sklyanin algebras (Q1922890): Difference between revisions

The translation principle for a complex semisimple Lie algebra states that certain primitive quotients of its enveloping algebra are Morita equivalent. The main ingredient of the proof is the famous Beilinson-Bernstein theorem \textit{A. Beilinson} and \textit{J. Bernstein} [C. R. Acad. Sci., Paris, Sér. I 292, 15-18 (1981; Zbl 0476.14019)]. In the paper under review, a similar translation principle is established for four dimensional Sklyanin algebras. We recall that such an algebra is a certain Noetherian graded algebra \(A = A_0 \oplus A_1 \oplus \dots\) where \(A_0 = F\) is a field (say, algebraically closed of characteristic 0); it has the same Hilbert series as a polynomial ring in four variables. A Sklyanin algebra can be constructed from the following geometric data: an elliptic curve \(E\), a translation \(\sigma\) of \(E\) and a line bundle \(\mathcal L\) on \(E\), of degree 4. It is known that the graded component of degree 2 of the center of \(A\) contains a two-dimensional subspace \(W\), which generates the center when \(\sigma\) is of infinite order. The translation principle proved in this paper is stated in terms of noncommutative projective geometry [see \textit{M. Artin} and \textit{J. J. Zhang}, Adv. Math. 109, 228-287 (1994; Zbl 0833.14002)]: given a graded algebra \(B= B_0\oplus B_1 \oplus \dots\), \(B_0 = F\), its associated noncommutative projective scheme proj \(B\) is the triple \((\text{q-gr} B, s, \mathcal O)\), where \(\text{q-gr} B\) is the quotient of the category of finitely generated graded \(B\)-modules by the subcategory of finite dimensional ones, \(s\) is the autoequivalence given by the shift functor and \(\mathcal O\) is the object of \(\text{q-gr} B\) defined by \(B\) itself. For the purposes of the paper under review, let proj\(^0 B\) be the pair \((\text{q-gr} B, s)\). The translation principle for Sklyanin algebras says that for well-chosen \(\Omega, \Omega' \) in \(W\), there is an equivalence between proj\(^0 A/ A\Omega\) and proj\(^0 A/ A\Omega'\). To prove this theorem, the author obtains a noncommutative version of the Beilinson-Bernstein theorem. As a consequence of the translation principle, the author gives an intrinsic description of the so-called fat points of the Sklyanin algebra [see e.g. \textit{E. K. Sklyanin}, Funct. Anal. Appl. 17, 273-284 (1983; Zbl 0536.58007), \textit{S. P. Smith} and \textit{J. Staniszkis}, J. Algebra 160, 57-86 (1993; Zbl 0809.16052)].