Blowup subalgebras of the Sklyanin algebra (Q616890)

The main goal of noncommutative projective geometry is the classification of noncommutative projective curves and surfaces. Since there is no direct analog of a scheme for noncommutative rings, this problem is stated as classifying connected graded rings that are thought of as corresponding to noncommutative projective curves and surfaces. Let \(k\) be an algebraically closed field. Consider the associative graded \(k\)-algebra \(A=\bigoplus_{n=0}^{\infty} A_n\). \(A\) is called \textit{connected} if \(A_0=k\), and finitely graded if it is finitely generated as a \(k\)-algebra. The Gelfand-Kirillov (GK) dimension of a connected finitely graded (cfg) domain \(A\) is defined as \(GK(A)=1+\limsup_{n \geq 0} \log_n(\dim_k A_n)\). Assume that \(A\) has integer \(GK\)-dimension \(GK(A)=d+1\). Then \(A\) can be thought of a noncommutative projective variety of dimension \(d\). \textit{M. Artin} and \textit{J. T. Stafford} [Invent. Math. 122, No. 2, 231--276 (1995; Zbl 0849.16022)] studied cfg domains of GK-dimension two. The next natural problem is to classify cfg domains of GK-dimension 3 (thought of as noncommutative projective surfaces). In this paper, the author works with the \textit{generic Sklyanin algebra} \(S\), which is the \(k\)-algebra with presentation \(S(a,b,c)=k\langle x,y,z\rangle /\{ axy+byx+cz^2, ayz+bzy+cx^2, azx+bxz+cy^2 \}\) with \(a,b,c \in k\). (For general choices of \(a,b,c\), \(S\) has desirable properties as explained in Section 4 of the paper). There is a central element \(g \in S_3\) such that \(S/Sg \cong B(E,\mathcal{L},\sigma)\) where \(E\) is a nonsingular elliptic curve in \(\mathbb{P}^{2}\), \(\mathcal{L}=\mathcal{O}(1)|_E\) and \(\sigma:E \to E\) is an automorphism of infinite order. Let \(T=S^{(3)}=\bigoplus_{n \geq 0} S_{3n}\) be the 3-Veronese. The main result of the paper states that if \(V \subseteq T_1\) is a vector subspace, and \(A=k\langle V\rangle \subseteq T\), under the assumption that \(Q_{gr}(A)=Q_{gr}(T)\), there exists a unique effective divisor \(D\) on \(E\) with \(0 \leq \text{deg} D \leq 7\) such that \(A \subseteq R(D)\) with \(A\) and \(R(D)\) equivalent orders. The rings \(R(D)\) are the degree-1-generated subalgebras of \(T\) which are maximal orders in \(Q_{gr}(T)\), and geometrically they can be thought of as blowups of \(\mathbb{P}^{2}\) at 7 or fewer points.