A non-commutative homogeneous coordinate ring for the degree six del Pezzo surface
The surface obtained by blowing up \(\mathbb P^2\) at three non-collinear points is independent of the points. It is called the del Pezzo surface of degree six, and is denoted \(\mathbb B_3\). Let \(R\) be the non-commutative algebra \(\mathbb C\langle x,y\rangle/(x^5-yxy,y^2-xyx)\), given a grading by \(\deg x=1\) and \(\deg y=2\). The main result of the article is the following:NEWLINENEWLINELet \(\text{Gr} R\) be the category of \(\mathbb Z\)-graded left \(R\)-modules. There is an equivalence of categories NEWLINE\[NEWLINE\text{Qcoh}\mathbb B_3\equiv\frac{\text{Gr}}{\text{F}\dim R}NEWLINE\]NEWLINE where the left-hand side is the category of quasi coherent \(\mathcal O_{\mathbb B_3}\)-modules and the right-hand side is the quotient category modulo the the full subcategory \(\text{F}\dim R\) consisting of those modules that are the sum of their finite submodules.NEWLINENEWLINELet \(\mathcal L=\mathcal O(-E)\) be the invertible \(\mathcal O_{\mathbb B_3}\)-module corresponding to a \((-1)\)-curve \(E\) and \(\sigma\) an order \(6\) automorphism of \(\mathbb B_3\) that cyclically permutes the six \((-1)\)-curves on \(\mathbb B_3\). Then the result above follows from the fact that \(R\) is isomorphic to the twisted homogeneous coordinate ring NEWLINE\[NEWLINEB(\mathbb B_3,\mathcal L,\sigma)=\bigoplus_{n\geq 0}H^0(\mathbb B_3,\mathcal L_n)NEWLINE\]NEWLINE where \(\mathcal L_n=\mathcal L\otimes (\sigma^\ast)\mathcal L\otimes\cdots\otimes(\sigma^\ast)^{n-1}\mathcal L.\) Results from Artin, Tate, Van den Bergh, and Stephenson imply that \(R\), as it is isomorphic to \(B(\mathbb B_3,\mathcal L,\sigma)\), is a 3-dimensional Artin-Schelter regular algebra and therefore has specific properties of non-commutative algebras, listed in the article. The close connection between \(R\) and \(\mathbb B_3\) means that almost all aspects of the representation theory of \(R\) can be expressed in terms of the geometry of \(\mathbb B_3\).NEWLINENEWLINEThe justification of calling \(R\) a non-commutative homogenous coordinate ring for \(\mathbb B_3\) is the similarity between the equivalence of categories and the theorem of Serre: If \(X\subset\mathbb P^n\) is the scheme-theoretic zero locus of a graded ideal \(I\) in \(S=\mathbb C[x_0,\dots,x_n]\) with its standard grading, and \(A=S/I\), then there is an equivalence of categories NEWLINE\[NEWLINE\text{Qcoh}X\equiv\frac{\text{Gr}A}{\text{Fdim}A}NEWLINE\]NEWLINE where the right hand side is the quotient category of graded \(A\)-modules by the full subcategory consisting of modules whose non-zero finitely generated submodules have support only at the origin.NEWLINENEWLINEThe author proves that \(R\) is an iterated Ore extension. The main point is to prove that \(R\) has the same Hilbert series as the weighted polynomial ring on three variables of weight \(1,2\), and \(3\). Then the main theorem is proved by constructing the del Pezzo surface \(\mathbb B_3\) and the the twisted homogeneous coordinate ring \(B(\mathbb B_3,\mathcal L,\sigma)\) explicitly. Then a graded isomorphism from \(R\) to \(B(\mathbb B_3,\mathcal L,\sigma)\) is also explicitly given.NEWLINENEWLINEThis is a nice article pinpointing the noncommutative algebraic geometry, and also inspiring to similar investigations.
- Algebras associated to elliptic curves
- Artin-Schelter regular algebras of global dimension three
- Faisceaux algébriques cohérents
- scientific article; zbMATH DE number 16072 (Why is no real title available?)
- scientific article; zbMATH DE number 729195 (Why is no real title available?)
- Modules over regular algebras of dimension 3
- Noncommutative projective schemes
- The center of the \(3\)-dimensional and \(4\)-dimensional Sklyanin algebras
- Twisted Graded Algebras and Equivalences of Graded Categories
- Twisted homogeneous coordinate rings
This page was built for publication: A non-commutative homogeneous coordinate ring for the degree six del Pezzo surface
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q448397)
