Noncommutative quadric surfaces

The4-dimensional Sklyanin algebra is the homogeneous coordinate ring of a non- commutative analogue of projective3-space. The degree-two component of the algebra con- tains a 2-dimensional subspace of central elements. The zero loci of those central elements, except0, form a pencil of noncommutative quadric surfaces. We show that the behavior of this pencil is similar to that of a generic pencil of quadrics in the commutative projective3-space. There are exactly four singular quadrics in the pencil. The singular and non-singular quadrics are characterized by whether they have one or two rulings by noncommutative lines. The Picard groups of the smooth quadrics are free abelian of rank two. The alternating sum of dimensions of Ext groups allows us to define an intersection pairing on the Picard group of the smooth noncommutative quadrics. A surprise is that a smooth noncommutative quadric can sometimes contain a "curve" having self-intersection number� 2. Many of the methods used in our paper are noncommutative versions of methods developed by Buchweitz, Eisenbud and Herzog: in particular, the correspondence between the geometry of a quadric hypersurface and maximal Cohen-Macaulay modules over its homogeneous coordinate ring plays a key role. An important aspect of our work is to introduce definitions of noncommutative analogues of the familiar commutative terms used in this abstract. We expect the ideas we develop here for 2-dimensional noncommutative quadric hypersurfaces will apply to higher dimensional noncommutative quadric hypersurfaces and we develop them in sufficient generality to make such applications possible.

[1]  James J. Zhang,et al.  Noncommutative Projective Schemes , 1994 .

[2]  B. Shelton,et al.  Embedding a quantum rank three quadric in a quantum P3 , 1999 .

[3]  S. Paul Smith,et al.  Subspaces of non-commutative spaces , 2001, math/0104033.

[4]  Michel Van den Bergh,et al.  Blowing up non-commutative smooth surfaces , 1998, math/9809116.

[5]  Wolfgang Soergel,et al.  Koszul Duality Patterns in Representation Theory , 1996 .

[6]  S. P. Smith,et al.  Irreducible Representations of the 4-Dimensional Sklyanin Algebra at Points of Infinite Order , 1993 .

[7]  J. Tate,et al.  Homological properties of Sklyanin algebras , 1996 .

[8]  Amnon Yekutieli,et al.  Serre duality for noncommutative projective schemes , 1997 .

[9]  Thierry Levasseur,et al.  Some properties of non-commutative regular graded rings , 1992, Glasgow Mathematical Journal.

[10]  David Eisenbud,et al.  Homological algebra on a complete intersection, with an application to group representations , 1980 .

[11]  Peter Jørgensen.  Non‐Commutative Graded Homological Identities , 1998 .

[12]  S. P. Smith,et al.  Homogenized sl(2) , 1993 .

[13]  J. T. Stafford,et al.  Regularity of the four dimensional Sklyanin algebra , 1992 .

[14]  M. Bergh,et al.  Modules over regular algebras of dimension 3 , 1991 .

[15]  J. T. Stafford.  Homological properties of the enveloping algebra U(Sl2) , 1982, Mathematical Proceedings of the Cambridge Philosophical Society.

[16]  E. Sklyanin.  Some algebraic structures connected with the Yang—Baxter equation , 1982 .

[17]  S. P. Smith,et al.  Modules over the 4-dimensional Sklyanin algebra , 1993 .

[18]  M. Bergh.  Existence Theorems for Dualizing Complexes over Non-commutative Graded and Filtered Rings , 1997 .

[19]  M. Bergh.  A translation principle for the four-dimensional Sklyanin algebras , 1996 .

[20]  D. Eisenbud,et al.  Cohen-Macaulay modules on quadrics , 1987 .

[21]  S. P. Smith,et al.  Central extensions of three dimensional Artin–Schelter regular algebras , 1996 .

[22]  Ragnar-Olaf Buchweitz,et al.  Maximal Cohen-Macaulay Modules and Tate-Cohomology Over Gorenstein Rings , 1986 .

[23]  S. P. Smith.  The Four-Dimensional Sklyanin Algebras , 1994 .

[24]  Peter Jørgensen.  Linear free resolutions over non-commutative algebras , 2003, Compositio Mathematica.