April 1, 2003

1991 Mathematics Subject Classification. Primary 16D25, 16S38, 18E30.The second author is a director of research at the FWO .
<ph f="cmbx">Ideal classes of three dimensional Sklyanin algebras</ph>

Koen De Naeghel and Michel Van den Bergh

Departement WNI, Limburgs Universitair Centrum, Universitaire Campus, Building D, 3590 Diepenbeek, Belgium E-mail address, K. De Naeghel: koen.denaeghel@luc.ac.be E-mail address, M. Van den Bergh: michel.vandenbergh@luc.ac.be

Contents

1 Introduction

This paper is motivated by the recent developments on the classification of right ideals in the first Weyl algebra. We start by recalling the (for now) definite result in this subject, as it was formulated by Berest and Wilson.
Theorem 1.1. [8 Let A 1 = C x , y / ( y x x y 1 )   be the first Weyl algebra.
Put
G = Aut ( A 1 )   and let   be the set of isomorphism classes of right A 1   -ideals. Then the orbits of the natural G   -action on   are indexed by N   , and the orbit corresponding to n N   is in natural bijection with the n   'th Calogero-Moser space
C n = { X , Y M n ( C ) | rk ( Y X X Y id ) = 1 } / Gl n ( C ) (1.1)
where Gl n ( C )   acts by simultaneous conjugation on ( X , Y )   .
The fact / G = N   has also been proved by Kouakou in his (unpublished) PhD-thesis [18.
The first proof of Theorem
 1.1 used the fact that there is a description of   in terms of the adelic Grassmanian (due to Cannings and Holland [12). Using methods from integrable systems, Wilson established a relation between the adelic Grassmanian and the Calogero-Moser spaces [36.
In
[7Berest and Wilson gave a new proof of Theorem  1.1 using noncommutative algebraic geometry [1, 34(some of the original proofs in [7were slightly simplified by the second author). See also [6, 16. That an approach based on noncommutative geometry should be possible was in fact anticipated very early by Le Bruyn who in [20already came very close to proving Theorem  1.1 .
Let us briefly indicate how the methods of noncommutative algebraic geometry may be used to prove Theorem
 1.1 . We introduce the homogenized Weyl algebra H = k x , y , z / ( z x x z , z y y z , y x x y z 2 )   and then we consider A 1   as the coordinate ring of an open affine part of a noncommutative space P q 2   , with “homogeneous coordinate ring” H   (see below for more precise definitions). The problem of describing   then becomes equivalent to describing certain objects on the “noncommutative projective plane” P q 2   . Objects on P q 2   have finite dimensional cohomology groups and these may be used to define moduli spaces, just as in the ordinary commutative case.
The current paper starts from the observation that there are many more noncommutative projective planes than just the one associated to the Weyl algebra (this is in fact a fairly degenerate one)
[2, 3, 11. So below we let P q 2   be a so-called “elliptic” quantum projective plane. By definition P q 2   is noncommutative projective scheme which has as homogeneous coordinate ring a graded ring A   with generators x , y , z   (in degree one) satisfying the relations
{ a y z + b z y + c x 2 = 0 a z x + b x z + c y 2 = 0 a x y + b y x + c z 2 = 0 (1.2)
where a , b , c   are generic scalars (see below).
Such a
P q 2   is called an elliptic quantum plane because there is an inclusion (in a noncommutative geometry sense) E P q 2   where E   is a smooth (commutative) elliptic curve.
We let
  be the set of reflexive graded A   -ideals, considered up to isomorphism and shift of grading. We may think of the elements of   as line bundles on P q 2   . In this paper we prove the following result (see Theorem  5.5.5 below).
Theorem 1.2. There exist smooth affine varieties D n   of dimension 2 n   such that   is naturally in bijection with n D n   .
We would like to think of the D n   as elliptic Calogero-Moser spaces. We show below that D 0   is a point and D 1   is the complement of E   under a natural embedding in P 2   .
Remark 1.3. In fact D n   is connected, which we will prove in a subsequent paper [13.
Remark 1.4. A theorem similar to Theorem  1.2 has been announced by [24. They work in a more general setting where the associated automorphism σ   of E   may have finite order.
The reader will notice that Theorem  1.2 is weaker than Theorem  1.1 but this is probably unavoidable. Although we have a fairly succinct description of the varieties D n   (see  5.9 below) it is not as explicit as  1.1 . And very likely D n   can also not be viewed in a natural way as the orbit of a group.
Our proof of Theorem
 1.2 is similar in spirit to the proof of Theorem  1.1 . However it is substantially more involved. The reason for this is that the proofs for the Weyl algebra rely heavily on the fact that H   contains a central element in degree one (namely z   ) and the lowest central element in A   has degree three.
We also have a result which explicitly describes the elements of
  . Recall that a line module over A   is a graded A   -module of the form A / u A   with u A 1 { 0 }   .
The following theorem can be deduced easily from Theorem
 5.6.6 below.
Theorem 1.5. Let I   . Then there exists an m N   together with a monomorphism I ( m ) A   such that there exists a filtration of reflexive graded A   -ideals A = M 0 M 1 M u = I ( m )   with the property that the M i / M i + 1   are shifted line modules, up to finite length modules.
It seems plausible that this result may be used to obtain an analogue of the Cannings-Holland classification of ideals in the Weyl algebra (see [12) but we have not sorted out the details. We hope to come back on this in a subsequent paper.

2 Preliminaries

Throughout we work over an algebraically closed field k   of characteristic zero. In this section we recall some basic notions of noncommutative projective geometry.
These are collected from
[1, 22, 26, 27, 28, 33. We use the following convention:
Convention 2.1. If X y U v w ( )   denotes an abelian category then x y u v w ( )   denotes the full subcategory of X y U v w ( )   consisting of noetherian objects.
To simplify the notations we often use implicitly the following result
Lemma 2.2. Assume that C   is a locally noetherian category and C f   is the full subcategory of C   consisting of noetherian objects. Then the natural map D b ( C f ) D C f b ( C )   is an equivalence of categories.

2.1 Graded algebras and modules

Let A = i Z A i   be a Z   -graded algebra. If A i = 0   for all i < 0   we say that A   is positively graded, and if in addition A 0 = k   we say that A   is connected. Any graded connected Noetherian k   -algebra A   is locally finite, i.e. dim k A i <   , for all i Z   .
We write
GrMod ( A )   for the category of graded right A   -modules with morphisms the A   -module homomorphisms of degree zero. Let M   be a graded right A   -module.
We use the notation (for all
n Z   ) M n = d n M d   and M n = d n M d   .
We say that
M   is left (resp. right) bounded if M n = 0   (resp. M n = 0   ) for some n Z   . For any integer n   , define M ( n )   as the graded A   -module that is equal to M   with its original A   action, but which is graded by M ( n ) i = M n + i   . We refer to the functor M M ( n )   as the n   -th shift functor.
Since
GrMod ( A )   is an abelian category with enough injective objects we may define the functors Ext A n ( M , )   on GrMod ( A )   as the right derived functors of Hom A ( M , )   . It is convenient to write (for n 0   ) Ext ̲ A n ( M , N ) : = d Z Ext A n ( M , N ( d ) ) ;   whence Ext ̲ A n ( M , )   are the right derived functors of Ext ̲ A 0 ( M , ) : = Hom ̲ A ( M , )   , for n 1   .
Finally, recall that a module
M GrMod ( A )   is reflexive if M * * = M   where M * = Hom ̲ A ( M , A )   is the graded dual of M   .

2.2 Tails

Let A   be a Noetherian connected graded k   -algebra. We denote by τ   the functor that sends a graded right A   -module to the the sum of all its finite dimensional submodules.
Denote by
Tors ( A )   the full subcategory of GrMod ( A )   consisting of all modules such that τ M = M   and write Tails ( A )   for the quotient category GrMod ( A ) / Tors ( A )   . We write π : GrMod ( A ) Tails ( A )   for the (exact) quotient functor. By localization theory [29 π   has a right adjoint which we denote by ω   . It is well-known that π ω = id   . The object π A   in Tails ( A )   will be denoted by O   and it is again easy to see that ω = Hom ̲ Tails ( O , )   . The objects in Tails ( A )   will be denoted by script letters, like   .
The shift functor induces an automorphism
sh : ( 1 )   on Tails ( A )   which we also call the shift functor (in analogy with algebraic geometry it should perhaps be called the “twist” functor).
When there is no possible confusion we write
Hom   instead of Hom A   and Hom Tails ( A )   . The context will make clear in which category we work.
If
Tails ( A )   then Hom ( , )   is left exact, so we may define its right derived functors Ext n ( , )   . We also use the notation Ext ̲ n ( , N ) : = d Z Ext n ( , N ( d ) )   and we set Hom ̲ ( , N ) = Ext ̲ 0 ( , N )   .
Our Convention
 2.1 fixes the meaning of grmod ( A )   , tors ( A )   and tails ( A )   . It is easy to see that tors ( A )   consists of the finite dimensional graded A   -modules.
Furthermore
tails ( A ) = grmod ( A ) / tors ( A )   .
If
M   is finitely generated and N   is arbitrary we have
Ext ̲ n ( π M , π N ) = lim Ext ̲ A n ( M m , N ) . (2.1)
If M   and N   are both finitely generated, then ( 2.1 ) implies π M = π N in tails ( A ) M n = N n in grmod ( A ) for some n   explaining the word “tails”.
For
M GrMod ( A )   there is an exact sequence (see [1, Proposition 7.2)
0 τ M M ω π M lim Ext ̲ A 1 ( A / A n , M ) 0 . (2.2)
An object Tails ( A )   is said to be reflexive if = π M   for some reflexive M GrMod ( A )   .
We say that
A   satisfies condition χ   if dim k Ext j ( k , M ) <   for all j   and all M grmod ( A )   .
In case
A   satisfies condition χ   then for every M grmod ( A )   the cokernel of the map M ω π M   in the exact sequence ( 2.2 ) is right bounded. In particular, for M grmod ( A )   we have M d = ( ω π M ) d   for some d   .
Every graded quotient of a polynomial ring satisfies condition
χ   and so do most noncommutative algebras of importance. The condition is essential to get a theory for noncommutative schemes which resembles the commutative theory.
Proposition 2.2.1. [1Let A   be a right Noetherian connected k   -algebra satisfying condition χ   . Then Ext j ( , N )   is finite dimensional for all j   and all , N tails ( A )   .

2.3 Serre duality

It was shown in [38that under reasonable hypotheses the category tails ( A )   satisfies a classical form of Serre duality. However we will need a stronger form of Serre duality introduced by Bondal and Kapranov in [10. Let A   be a k   -linear Ext   -finite triangulated category. By this we mean that for all , N A   we have n dim k Hom ( , N [ n ] ) <   . The category A   is said to satisfy Bondal-Kapranov-Serre (BKS) duality if there is an auto-equivalence F : A A   together with for all A , B A   natural isomorphisms Hom ( A , B ) Hom ( B , F A )   (where ( )   denotes the k   -dual).
Let
C   be an abelian category. We say that C   has finite global dimension if there exists an n   such that Ext C i ( A , B ) = 0   for all A , B C   and for all i > n   . The minimal such n   is called the global dimension of C   .
In this section we assume that
A   is a connected graded noetherian ring over a k   .
By
( )   we denote the functor on graded vector spaces which sends M   to n M n *   .
If we use notations which refer to the left structure of
A   then we adorn them with a superscript “   ”.
We make the following additional assumptions on
A  
Note that if A   has finite global dimension then so does tails ( A )   by  2.1 .
Put
R = R τ ( A )   . According to [32 R   is a complex of bimodules with finitely generated cohomology on the left and on the right, which in addition has finite injective dimension, also on the left and on the right. We now have the following result
Theorem 2.3.1. (Serre duality) The category D b ( tails ( A ) )   satisfies BKS-duality with Serre functor defined by F ( π M ) = π ( M L R ) [ 1 ]  
This result is certainly not unexpected but as far as we know a written proof does not exist in the literature. We prove a more general version of Theorem  2.3.1 in Appendix  A .

2.4 Projective schemes

We use the definition of Proj A   (for a noncommutative algebra A   ) suggested by Artin and Zhang (see [1). Let A   be a Noetherian graded k   -algebra. We define the (polarized) projective scheme Proj A   of A   as the triple ( tails ( A ) , O , sh )   . In what follows we shall refer to the objects of tails ( A )   (resp. Tails ( A )   ) as the coherent (resp. quasicoherent) sheaves on X = Proj A   , even when A   is not commutative, and we shall use the notation coh ( X ) : = tails ( A )   , Qcoh ( X ) : = Tails ( A )   . By analogy we sometimes write O X = O = π A   .
The following definitions agree with the classical ones for projective schemes.
If
  is be a quasicoherent sheaf on X = Proj A   , we define the cohomology groups of   by H n ( X , ) : = Ext n ( O X , ) .   We refer to the graded right A   -modules H ̲ n ( X , ) : = d Z H n ( X , ( d ) )   as the full cohomology modules of   .
Finally, we mention the
cohomological dimension of X   cd X : = max { n N | H n ( X , ) 0 } .   It is easy to prove that cd X = max ( 0 , cd τ 1 ) .  

2.5 The Grothendieck group, the Euler form and Hilbert series

In this subsection A   will be a Noetherian connected graded k   -algebra with finite global (homological) dimension. We recall some basic tools.

2.5.1 The Euler form

Let C   be an Ext   -finite k   -linear abelian category of finite global dimension. We define χ ( A , B ) = i ( 1 ) i dim Ext C i ( A , B )   for A , B C   . It is clear that χ   defines a bilinear form χ : K 0 ( C ) × K 0 ( C ) Z   which we call the Euler form for C   .

2.5.2 Hilbert series

The Hilbert series of M grmod ( A )   is the Laurent power series h M ( t ) = i = + ( dim k M i ) t i Z ( ( t ) ) .   This definition makes sense since A   is right Noetherian. Let M grmod ( A )   . Given a resolution 0 P r . . . P 1 P 0 M 0   we have h M ( t ) = i = 0 r ( 1 ) i h P i ( t ) .   Since A   is connected, left bounded graded right A   -modules are projective if and only if they are free hence isomorphic to a sum of shifts of A   . So if we write P i = r i j = 0 A ( l i j )   we obtain the formula
q M ( t ) = h M ( t ) h A ( t ) 1 (2.3)
where q M ( t )   is the characteristic polynomial of M   , it is defined by q M ( t ) = i = 0 r ( 1 ) i j = 0 r i t l i j Z [ t , t 1 ] .  

2.5.3 The Grothendieck group K 0 ( X )   and the rank function K 0 ( X ) Z  

Set X = Proj A   . If   is a coherent sheaf on X   , we denote by [ ]   its image in K 0 ( X )   .
The shift functor on
coh ( X )   induces an automorphism of K 0 ( X )   . Following [22, we view K 0 ( X )   as a Z [ t , t 1 ]   -module with t   acting as the shift functor sh 1 : ( 1 )   . Now K 0 ( X )   may be described in terms of the Hilbert series of A   .
Theorem 2.5.1 ([22, Theorem 2.3). Let A   be a Noetherian connected graded k   -algebra of finite global dimension. Set X = Proj A   and let q = q k ( t )   . Then K 0 ( X ) = Z [ t , t 1 ] / ( q )   and for each M grmod ( A )   , the isomorphism sends [ π M ]   to the characteristic polynomial q M ( t )   of M   : θ : [ π M ] q M ( t ) ¯   In particular, [ O ( n ) ]   is sent to t n   .
Let us assume that A   is a domain generated in degree one, so it has a graded division ring of fractions (graded version of Goldie's Theorem; see [23,Ch.C,Cor.I.1.7) Fract ( A ) : = { a b 1 | a , b A homogeneous, b 0 } .   The degree zero component k ( X )   of Fract ( A )   is a division algebra which is called the function field of X   . Fract ( A )   is isomorphic to a skew Laurent extention k ( X ) [ z , z 1 ; σ ]   where z   has degree one (see [23, Chapter A, Corollary I.4.3). The rank of a finitely graded right A   -module M   is rk M = dim k ( X ) ( M A Fract ( A ) ) 0   This also defines an additive rank fuction on coh ( X )   and hence a homomorphism K 0 ( X ) Z   also denoted by “ rk   ”. Obviously rk O = 1   and rk = rk ( 1 )   .

2.6 Artin-Schelter regular algebras

Definition 2.6.1. [1A connected graded k   -algebra A   is called an Artin-Schelter regular algebra of dimension d   if it has the following properties:
If A   is commutative, then the condition (i) already implies that A   is isomorphic to a polynomial ring k [ x 1 , . . . x n ]   with some positive grading. If in this case the grading is standard then n = l   .
The Gorenstein property determines the full cohomology groups of
O   .
Theorem 2.6.2. [1 Let A   be a Noetherian Artin-Schelter regular algebra of dimension d = n + 1   , and let X = Proj A   . Then cd X = n   , and the full cohomology modules of O = π A   are given by H ̲ i ( X , O ) = { A if i = 0 0 if i 0 , n A ( l ) if i = n  
Let A   be an Artin-Schelter regular algebra as in the previous Theorem and put X = Proj A   . It is easy to see that A   satisfies the hypotheses for Theoreom  2.3.1 . In this case the Serre functor has a particularly simple form: indeed in [1it is shown that R = ( R n + 1 τ A ) = A [ n + 1 ] ( l )   as left A   -modules and in [32it is proved that R τ A = R τ A   as complexes of bimodules. Thus we also have that R = A [ n + 1 ] ( l )   as right A   -modules. In other words R = A φ [ n + 1 ] ( l )   where φ   is some graded automorphism of A   . The automorphism M M φ   of GrMod ( A )   passes to an automorphism Tails ( A )   for which we also use the notation ( ) φ   .
We find the the following formula for the Serre functor on
tails ( A )   . F = φ ( l ) [ n ]   From this we easily obtain:
Proposition 2.6.3. One has gldim tails ( A ) = gldim A 1   .

2.7 Dimension and multiplicity

Let A   be a noetherian Artin-Schelter regular algebra. If 0 M grmod ( A )   then the Gelfand-Kirilov dimension GKdim M   of M   [19can be computed as the order of the pole of h M ( t )   in 1   [3(in particular it is an integer). If GKdim M n   then we define e n ( M )   as lim t 1 ( 1 t ) n h M ( t )   . Clearly e n   is additive on short exact sequences of objects with GKdim n   . We have e n ( M ) 0   and furthermore e n ( M ) = 0   if and only if GKdim M < n   . If e n ( M ) > 0   then we put e ( M ) = e n ( M )   and we call this the multiplicity of M   . If u = GKdim A   and if A   is a domain generated in degree one then it is easy to see that rk M = e u ( M ) / e u ( A )   .
If
= π M 0   then we put dim = GKdim M 1   and e n ( ) = e n + 1 ( M )   , e ( ) = e ( M )   .
An object in
grmod ( A )   or tails ( A )   is said to be pure if it contains no subobjects of strictly smaller dimension. It is critical if all non-trivial subobjects have the same multiplicity. It is easy to see that if M grmod ( A )   is pure or critical then so is π M   , and conversely if tails ( A )   is pure or critical then there exists a module M grmod ( A )   which has the corresponding property such that = π M   .

2.8 Three dimensional Artin-Schelter regular algebras

There exists a complete classification for Artin-Schelter regular algebras of dimension three [2, 3, 30, 31:
Theorem 2.8.1. The Artin-Schelter regular algbras A   of dimension three can be classified. They are all Noetherian domains with Hilbert series of a weighted polynomial ring k [ x , y , z ]   .
It is known that three dimensional Artin-Schelter regular algebras have all expected nice homological properties. For example they are both left and right noetherian domains.
In this paper we restrict ourselves to Koszul three dimensional Artin-Schelter regular algebra. These have three generators and three defining relations in degree two. The minimal resolution of
k   has the form 0 A ( 3 ) A ( 2 ) 3 A ( 1 ) 3 A k A 0   hence q k ( t ) = ( 1 t ) 3   and the Hilbert series of A   is the same as that of the commutative polynomial algebra k [ x , y , z ]   with standard grading.
Such algebras are also referred to as
quantum polynomial ring in three variables.
The corresponding
Proj A   will be called a quantum projective plane and will be denoted by P q 2   .
So let
A   be a quantum polynomial ring in three variables. A linear module of dimension d   over A   is a cyclic A   -module generated in degree zero with Hilbert series ( 1 t ) d   . Linear modules of dimension one and two are respectively called point and line modules. The images of these objects in coh ( P q 2 )   will be called point and line objects respectively. Line and point modules are classified in [2, 3.
Line modules are of the form
A / u A = L   with u A 1   . Hence line modules correspond naturally to lines in P 2   . To classify point modules we write the relations of A   as f i = j = 1 3 m i j x j   . Set M = ( m i j ) i , j   . We introduce auxiliary (commuting) variables x i ( p )   (for p Z   ) and for a monomial u = x i 0 x i n   we define the multilinearization of m   as m ~   as x i 0 ( 0 ) x i n ( n )   . We extend this operation linearly to homogeneous polynomials in the variables ( x i ) i   .
Let
Γ P 2 × P 2   denote the locus of common zeros of the f ~ i   . It turns out that Γ   is the graph of an automorphism σ   of E = pr 1 ( Γ )   , the locus of zeros of the multihomogenized polynomial det ( M ~ )   . If det ( M ~ )   is not identically zero then E   is a divisor of degree 3   in P 2   . We then say that A   is elliptic. Otherwise, E   is all of P 2   and we call A   linear in this case.
The connection between
E   and point modules is as follows: let P = k e u   be a point module where e u P u   . Put e u x i = e u + 1 λ i ( u )   with λ i ( u ) k   . From the fact that e 0 f i = 0   we deduce that ( ( λ i ( 0 ) ) i , ( λ i ( 1 ) ) i ) Γ   and hence ( λ i ( 0 ) ) i E   . This construction is reversible and defines a bijection between the closed points of E   and the point modules over A   . If P q   is the pointmodule corresponding to q E   then we have P q ( 1 ) 0 = P σ p   .
Let
j : E P 2   be the inclusion and put = j * O P 2 ( 1 )   . Associated to the geometric data ( E , σ , )   is a so-called “twisted” homogeneous coordinate ring B = B ( E , σ , )   . This is a special case of a general construction in [1. See also [4. Denote the auto-equivalence σ * ( E )   by σ   . For Qcoh ( X )   put Γ * ( ) = u Γ ( E , ( σ ) u )   and B = Γ * ( O E )   . It is easy to see that B   has a natural ring structure and Γ * ( )   is a right B   -module. A straightforward verification shows Γ * ( O q ) = P q .  
In [3it is shown that there is a surjective morphism p : A B   of graded k   -algebras.
Its kernel is trivial in the linear case and it is generated by a regular normalizing element
g   of degree three in the elliptic case. All point modules are B   -modules. In other words: g   annihilates all point modules.
By analogy with the commutative case we may say that
Proj A   contains Proj B   as a “closed” subscheme. Though the structure of Proj A   is somewhat obscure, that of Proj B   is well understood.
Indeed it follows from
[1, 4that the functor Γ * : Qcoh ( E ) GrMod ( B )   defines an equivalence Qcoh ( E ) = Tails ( B )   . The inverse of this equivalence and its composition with π : GrMod ( B ) Tails ( B )   are both denoted by ( ) ~  
For further properties of point modules and line modules over three dimensional quantum polynomial algebras we refer to [2, 3.
We will frequently use the following result
Lemma 2.8.2. Assume that we are in the elliptic case. Let M grmod ( A )   be such that M / M g tors A   . Then GKdim M = 1   . If σ   has infinite order then M tors ( A )   .
In the sequel it will be useful to cast the relationship between the noncommutative graded ring A   and the commutative scheme E   into the language of noncommutative algebraic geometry exhibited in [26, 33although we will use this language only in an intuitive way. Let X = Proj A   , Y = Proj B   .
We define a map of noncommutative schemes
i : E X   by
i * π M = ( M A B ) ~
i * = π ( Γ * ( ) A )
We will call i * ( π M )   the restriction of π M   to E   . i *   is clearly an exact functor.
For the left derived functor of
i *   we have:
Lemma 2.8.3. If M D ( GrMod ( A ) )   then L i * ( π M ) = ( M L A B ) ~  
We easily obtain the following consequence:
Lemma 2.8.4. Assume that we are in the elliptic case and let D ( Qcoh ( P q 2 ) )   . Then there are short exact sequences: 0 i * H j ( ) H j ( L i * ) L 1 i * H j + 1 ( ) 0  

2.9 Three dimensional Sklyanin algebras

Below we are interested in Sklyanin algebras of dimension three which are elliptic Artin-Schelter regular algebras such that the corresponding elliptic curve E   is smooth and the automorphism is a translation. More specificly, we are interested in the algebras Skl 3 ( a , b , c ) = k { x , y , z } / ( f 1 , f 2 , f 3 )   where f 1 , f 2 , f 3   are the quadratic equations
{ f 1 = a y z + b z y + c x 2 f 2 = a z x + b x z + c y 2 f 3 = a x y + b y x + c z 2 (2.4)
and ( a , b , c ) P 2 \ F   where F = { ( a , b , c ) P 2 | a b c = 0 or a 3 = b 3 = c 3 or ( 3 a b c ) 3 = ( a 3 + b 3 + c 3 ) 3 } .   The algebras Skl 3 ( a , b , c )   are elliptic quantum polynomial rings. They correspond to Artin-Schelter algebras of dimension three where, in the associated geometric data, E   is a smooth elliptic curve and σ   is given by translation under the group law. We refer to [2for the description of E   and σ   . The regular normalizing element g   of degree three turns out to be central in this case.
Put
A = Skl 3 ( a , b , c )   . Combining the results in [32with Theorem  2.3.1 we see that Serre duality for A   takes a particularly simple form:
Theorem 2.9.1. Let , N D b ( tails ( A ) )   . Then there are natural isomorphisms Ext i ( , N ) = Ext 2 i ( N , ( 3 ) ) *  
Corollary 2.9.2. Let D b ( tails ( A ) )   and let P tails ( A )   be a point object corresponding to p E   . Then Ext i ( P , ) = Ext 2 i ( , P ) *   where P   is the point object corresponding to σ 3 p   .

3 Cohomology of rank one sheaves on a quantum projective plane

In this section, A   will be a quantum polynomial ring in three variables, and P q 2 = Proj A   the associated quantum projective plane. As usual O = π A   .
We say that a graded right
A   -module M 0   is torsion if rk M = 0   . M   is called torsion-free if M   contains no torsion submodule. This is the same as saying that M   is pure three dimensional. We use the same terminology for objects in coh ( P q 2 )   .
The graded right ideals of
A   are, up to isomorphism, precisely the shifts of torsion-free rank one right A   -modules.
A torsion-free rank one graded
A   -module I   gives rise to a torsion-free coherent sheaf = π I   on P q 2   of rank one. Conversely, every torsion-free coh ( P q 2 )   determines a torsion-free rank one graded A   -module ω   .
Any shift
l   of a torsion-free rank one graded A   -module I   gives rise to a torsion-free rank one coherent sheaf ( l ) = π I ( l )   on P q 2   . Our first aim is to normalize this shift.
We will use the following natural basis for
K 0 ( P q 2 )   .
Proposition 3.1. Let P   be a point module and S   a line module over A   . Denote the corresponding objects in coh ( P q 2 )   by P   and S   .
Then
{ [ O ] , [ S ] , [ P ] }   is a Z   -module basis of K 0 ( P q 2 )   , which does not depend on the particular choice of S   and P   , and the action of the shift functor on that basis is
[ O ( 1 ) ] = [ O ] + [ S ] + [ P ] [ S ( 1 ) ] = [ S ] + [ P ] [ P ( 1 ) ] = [ P ] (3.1)
From now on, we fix such a Z   -module basis { [ O ] , [ S ] , [ P ] }   of K 0 ( P q 2 )   . For any coherent sheaf J   on P q 2   we may write [ J ] = r [ O ] + a [ S ] + b [ P ]   where r   is the rank of J   .
It follows from (
 3.1 ) that we have
[ J ( l ) ] = r [ O ] + ( a + l r ) [ S ] + ( 1 2 l ( l + 1 ) r + l a + b ) [ P ] (3.2)
for all integers l   .
Proposition 3.2.
We call the integer n   appearing in Proposition  3.2 the “invariant” of   (or of the corresponding torsion-free rank one graded A   -module I   such that = π I   ). Note that two torsion-free rank one graded A   -modules I , J   have the same invariant if and only if dim k I i = dim k J ( d ) i   for i 0   and for a fixed integer d   .
We will call a torsion-free rank one coherent sheaf
  on P q 2   normalized if [ ] = [ O ] n [ P ]   for an integer n   . We will prove later that this n   is actually positive.
We will call a torsion-free reflexive rank one sheaf on
P q 2   a line bundle. Our aim is to classify line bundles on P q 2   up to shift. By the above discussion this is equivalent to classifying normalized line bundles up to isomorphism.
It is also easy to see that through the functors
π   and ω   classifying line bundles up to shift is equivalent to classifying reflexive torsion-free rank one graded A   -modules, also up to shift.
We recall two elementary lemmas.
Lemma 3.3. Let , N   be torsion-free coherent sheaves on P q 2   of rank one. Then every nonzero morphism in Hom ( , N )   is injective.
Lemma 3.4. Let coh ( P q 2 )   . Then   is reflexive if and only if   is torsion-free and Ext 1 ( N , ) = 0   for all N coh ( P q 2 )   of dimension zero.
Now we can partially compute the cohomology of line bundles on P q 2   . This computation is similar to the one for the homogenized Weyl algebra in [20. However the computations for the homogenized Weyl algebra rely on the existense of a central element in degree one. So they do not apply in a straightforward way to the case we consider.
Theorem 3.5. Let   be a rank one torsion-free coherent sheaf on P q 2   where [ ] = [ O ] n [ P ]   . Assume that O   . Then
As a consequence, n   is positive and nonzero.
If
  is a line bundle then we have in addition: H 2 ( P q 2 , ( l ) ) = 0 for l = 3   and dim k H 1 ( P q 2 , ( 3 ) ) = n 1   .
Using Theorem  3.5 the torsion-free rank one graded A   -modules having invariant zero are easy to determine.
Corollary 3.6. Let   be a torsion-free coherent sheaf of rank one on P q 2   with invariant n   . Then n = 0 = O ( d )   for some integer d   .

4 Restriction of coherent sheaves

In this section, A   will be a Sklyanin algebra Skl 3 ( a , b , c )   as defined in § 2.9 . We recycle the notations of sections § 2.6 -§ 2.9 . In particular the symbols O , E , σ , , B , i   have their usual meaning.
Note that
E   is a smooth elliptic curve. We fix a grouplaw on E   . Then σ   is a translation by some element ξ E   .
The dimension of objects in
grmod ( B )   or tails ( B )   will be computed in grmod ( A )   or tails ( A )   . The dimension of objects in coh ( E )   is the dimension of their support.
There is a group homomorphism
K 0 ( P q 2 ) K 0 ( E ) : [ ] [ i * ] [ L 1 i * ]   which as usual is also denoted by i *   .
Lemma 4.1. We have
i * [ O ] = [ O E ]
i * [ S ] = [ O u ] + [ O v ] + [ O w ] u , v , w arbitrary but colinear
i * [ P ] = [ O p ] [ O p σ 3 ] p arbitrary
According to [15,ExII.6.11we have K 0 ( E ) = Z Pic ( E )   . The projection K 0 ( E ) Z   is given by the rank and the projection K 0 ( E ) Pic ( E )   is given the first Chern class. If   is a vector bundle on E   then c 1 ( ) = rk   . We also have for q E   : c 1 ( O q ) = O E ( q )   .
There is a homomorphism
deg : Pic ( E ) Z   which assigns to a line bundle its degree. For simplicity we will denote the composition deg c 1   also by deg   . If U   is a line bundle then deg [ U ] = deg U   . If F coh ( E )   has finite length then deg [ F ] = length F   [15,Ex.6.12. From lemma  4.1 we deduce that if [ ] = a [ O ] + b [ S ] + c [ P ]   then
(4.1) rk i * [ ] = a = rk deg i * [ ] = 3 b (4.2)
Lemma 4.2.
We deduce
Proposition 4.3.
Now we prove a converse of Proposition  4.3 .
Proposition 4.4. Assume that σ   has infinite order and that D b ( coh ( P q 2 ) )   is such that L i *   is a vector bundle on E   . Then   is a reflexive object in coh ( P q 2 )   .

5 Elliptic quantumspaces

5.1 Generalities

Let A   be a Sklyanin algebra Skl 3 ( a , b , c )   . We use again our standard notations as in the previous section.
We set
= O ( 2 ) O ( 1 ) O   and D = Hom P q 2 ( , ) = i , j = 0 2 Hom P q 2 ( O ( i ) , O ( j ) )   the algebra of endomorphisms of   . We consider the left exact functor Hom P q 2 ( , )   which takes coherent sheaves on P q 2   to right D   -modules.
Hom P q 2 ( , )   extends to a functor RHom P q 2 ( , )   on bounded derived categories
RHom P q 2 ( , ) : D b ( coh ( P q 2 ) ) D b ( mod ( D ) ) . (5.1)
This is done as follows: Qcoh ( P q 2 )   has enough injectives and this yields a functor RHom P q 2 ( , ) : D coh ( P q 2 ) b ( Qcoh ( P q 2 ) ) D mod ( D ) b ( Mod ( D ) )   . Now coh ( P q 2 )   and mod ( D )   are noetherian abelian categories and this yields equivalences D b ( coh ( P q 2 ) ) = D coh ( P q 2 ) b ( Qcoh ( P q 2 ) )   and D b ( mod ( D ) ) = D mod ( D ) b ( Mod ( D ) )   (lemma  2.2 ). The functor  5.1 is obtained by composing with these equivalences.
In a similar way as in
[9,Theorem6.2one shows that RHom P q 2 ( , )   is an equivalence of derived categories. The inverse functor is given by L D   . For a non-negative integer i   the equivalence restricts to an equivalence between X i   and Y i   where X i coh ( P q 2 )   is the full subcategory with objects X i = { coh ( P q 2 ) | Ext P q 2 j ( , ) = 0 for j i }   and Y i mod ( D )   the full subcategory with objects Y i = { M mod ( D ) | Tor j D ( M , ) = 0 for j i } .   The inverse equivalences between these categories are given by Ext P q 2 i ( , )   and Tor i D ( , )   .
Let
( Δ , R )   be the quiver
X 2 X 1 2 Y 2 1 Y 1 0 Z 2 Z 1 (5.2)
with relations
{ a Y 2 Z 1 + b Z 2 Y 1 + c X 2 X 1 = 0 a Z 2 X 1 + b X 2 Z 1 + c Y 2 Y 1 = 0 a X 2 Y 1 + b Y 2 X 1 + c Z 2 Z 1 = 0 (5.3)
We write Mod ( Δ )   for the category of representations of the quiver Δ   (representations are always assumed to satisfy the relations  5.3 ). If i = 2 , 1 , 0   then we denote by P i , S i   respectively the projective representation and the simple representation corresponding to i   .
It is easy to see that
D = k Δ / ( R )   . Since the category Mod ( Δ )   of representations of Δ   is equivalent to the category of right k Δ / ( R )   -modules we deduce Mod ( Δ ) = Mod ( D )   .
Let
X 1   and M = Ext P q 2 1 ( , )   . By functoriality, multiplication by x , y , z A   induces linear maps M ( λ 1 ) : Ext 1 ( O ( 1 ) , ) Ext 1 ( O , )   and M ( λ 2 ) : Ext 1 ( O ( 2 ) , ) Ext 1 ( O ( 1 ) , )   ( λ = X , Y , Z   ). Hence M   is determined by the following representation of Δ  
M ( X 2 ) M ( X 1 ) H 1 ( P q 2 , ( 2 ) ) M ( Y 2 ) H 1 ( P q 2 , ( 1 ) ) M ( Y 1 ) H 1 ( P q 2 , ) M ( Z 2 ) M ( Z 1 )
For further use we note that the Euler form χ ( S i , S j )   is given by the following matrix
( 1 3 3 0 1 3 0 0 1 ) (5.4)
where i   refers to the columns and j   refers to the rows.
Let
Δ 0   be the full subquiver of Δ   consisting of the vertices 2 , 1   and let Res : Mod ( Δ ) Mod ( Δ 0 )   be the obvious restriction functor. Res   has a left adjoint which we denote by Ind   . If e   is the sum of the vertices of Δ 0   then Ind = k Δ 0 e k Δ   .
Note that
Res Ind = id   .
The following was already observed by Le Bruyn in the case of the homogenized Weyl algebra.
Lemma 5.1.1. If O   is a normalized line bundle on P q 2   and M = Ext 1 ( , )   then M = Ind Res M   .
Lemma 5.1.2. Let M mod Δ   . Then M = Ind Res M   if and only if M S 0   .
Lemma 5.1.3. Let p = ( α , β , γ ) E   and put ( α i , β i , γ i ) = p σ i   . p   corresponds to a point module P   of A   . Put P = π P   and P ¯ = ω P   .
To simplify the discussion below we define n   (for n 1   ) as the category in which the objects are the normalized line bundles on P q 2   with invariant n   and the morphisms are the isomorphisms in coh ( P q 2 )   . Thus n   is a groupoid. Note that we do not know yet if n   . This question will be addressed below.

5.2 n   is non-empty

To simplify things we assume that σ   has infinite order. The following result is necessary for the dimension computations in § 5.5 .
Lemma 5.2.1. The set n   is not empty.
Below we will show that n   is parametrized by an algebraic variety of dimension 2 n   . The amount of freedom in the construction exhibited in the proof of lemma  5.2.1 is less than or equal to 2 ( choice of S ) + n ( choice of f )   parameters, hence for n > 2   this construction can not possibly yield all elements of n   . In § 5.6 we will exhibit a related construction which works for all n   .

5.3 First description of n  

Let C n   be the image of n   under the equivalence X 1 = Y 1   .
Theorem 5.3.1. Let n 1   . There is an equivalence of categories
n Ext P q 2 1 ( , ) Tor 1 D ( , ) C n (5.5)
where
C n = { M mod ( Δ ) | dim ̲ M = ( n , n , n 1 ) and Hom Δ ( M , p ) = 0 , Hom Δ ( p , M ) = 0 for all p E } .  

5.4 Application

Using the material in the previous sections it is now easy to parametrize the line bundles on P q 2   with invariant one.
Theorem 5.4.1. The representations in C 1   are the representations
α 0 k β k 0 0 γ 0 (5.6)
for some ( α , β , γ ) P 2 E  

5.5 Second description of n  

Although the category C n   has a fairly elementary description, it is not so easy to handle. In particular the analogy with the Weyl algebra case is not obvious. We will now give another description of   which is more similar to the one used for the Weyl algebra. In particular it will follow that the isomorphism classes of objects in n   are parametrized by smooth affine varieties of dimension 2 n   .
In general, let
Q   be a quiver without oriented cycles and write Q 0   , Q 1   for respectively the set of vertices and edges of Q   . Let “   ” be the standard scalar product on Z Q 0   : ( α v ) v ( β v ) v = v α v β v   .
Let
θ Z Q 0   . A representation F   of Q   is called θ   -semistable (resp. stable) if θ dim ̲ F = 0   and θ dim ̲ N 0   (resp. > 0   ) for every non-trivial subrepresentation N   of F   .
We have
K 0 ( mod Q ) = Z Q 0   , canonically. It is a fundamental fact [25that F   is semistable for some θ   if and only there exists G mod ( Q )   such that F G   . The relation between θ   and dim ̲ G   is such that the forms θ   and χ ( , dim ̲ G )   are proportional.
Fix a dimension vector
α Z Q 0   and let Rep ( Q , α )   be the corresponding representation space, i.e. Rep ( Q , α ) = i Q 1 M α h ( i ) × α t ( i ) ( k )   where the maps h , t : Q 1 Q 0   associate to an arrow its begin and end vertex. The isomorphism class of representations of dimension vector α   are in one-one correspondence with the orbits of the group Gl ( α ) = v Q 0 Gl α v ( k )   acting on Rep ( Q , α )   by conjugation.
Associated to
G mod ( Q )   there is a semi-invariant function φ G   on Rep ( Q , α )   such that the set
G = { F Rep ( Q , α ) | F G } (5.7)
coincides with { φ G 0 }   . In particular  5.7 is affine.
Lemma 5.5.1. There exists V mod ( Δ 0 )   with dim ̲ V = ( 6 , 3 )   such that
We obtain the following consequence.
Lemma 5.5.2. If M C n   and M 0 = Res M   then M 0   is θ   -semistable for θ = ( 1 , 1 )   .
Lemma 5.5.3. Assume that σ   has infinite order. Let N   be a representation of Δ 0   of dimension vector ( n , n )   , n 1   . If Hom Δ 0 ( N , Res p ) = Hom Δ 0 ( Res p , N ) = 0   for all p E   then dim ( Ind N ) 0 n 1   .
We can now prove our main result.
Theorem 5.5.4. Assume that σ   has infinite order. Let V mod ( Δ 0 )   be as in lemma  5.5.1 .
Below we will define some varieties. We take the classical viewpoint. So they are always reduced.
Let
V   as in lemma  5.5.1 . Let α = ( n , n )   and put
D ~ n = { F Rep ( Δ 0 , α ) | F D n } = { F Rep ( Δ 0 , α ) | φ V ( F ) 0 , dim ( Ind F ) 0 n 1 } . (5.9)
It is clear that D ~ n   is a closed subset of { φ V 0 }   so in particular D ~ n   is affine.
Put
D n = D ~ n / / Gl ( α )   .
Theorem 5.5.5. The affine variety D n   is smooth of dimension 2 n   .
The isomorphism classes in
D n   (and hence in C n   and n   ) are in natural bijection with the points in D n   .

5.6 Explicit construction of the elements in n  

For simplicity we assume throughout that σ   has infinite order.
In the discussion below we have to compute the cohomology of a line object.
Lemma 5.6.1. Let S = π ( A / u A )   be a line object on P q 2   . Let m 1   . Then H 1 ( P q 2 , S ( m ) ) = ( A / A u ) m 2 *   and H i ( P q 2 , S ( m ) ) = 0   for i 1   . Furthermore if η A 1   then the induced linear map H 1 ( P q 2 , S ( m ) ) η H 1 ( P q 2 , S ( m + 1 ) )   corresponds to ( η ) *   on ( A / A u ) *   .
Corollary 5.6.2. Let S = π ( A / u A )   be a line object on P q 2   . Then S ( 1 )   corresponds to S [ 1 ]   where S   is the representation of Δ   given by
( x ) * ( A / A u ) 1 * ( y ) * k 0 ( z ) * (5.10)
Since line objects on P q 2   are of the form π ( A / u A )   they are naturally parametrized by points in P ( A 1 )   .
Proposition 5.6.3. Let   be a normalized line bundle on P q 2   with invariant n > 0   . Then the set of line objects S   such that Hom ( , S ( 1 ) ) 0   is a curve of degree n   in P ( A 1 )   . In particular this set is non-empty.
Lemma 5.6.4. Let   be a normalized line bundle on P q 2   with invariant n   and let P   be a point object on P q 2   . Then, modulo zero dimensional objects, there exist at most n   different line objects S   such that Hom ( , S ( 1 ) ) 0   and such that Hom ( S , P ) 0   .
The following lemma shows how to reduce the invariant of a line bundle.
Lemma 5.6.5. Let   be a normalized line bundle on P q 2   with invariant n > 0   . Then there exists a line object S   on P q 2   such that Ext 1 ( S ( 1 ) , ( 1 ) ) 0   . If J = π J   is the middle term of a corresponding non-trivial extension and J * * = π J * *   then J * *   is a normalized line bundle with invariant n 1   . Furthermore J * * / ( 1 )   is a shifted line object.
We can now prove another main result.
Theorem 5.6.6. Let   be a normalized line bundle on P q 2   . Then there exists an m N   together with a monomorphism ( m ) O   such that there exists a filtration of line bundles O = 0 1 u = ( m )   on P q 2   with the property that the i / i + 1   are shifted line objects.
Remark 5.6.7. There is some freedom in choosing the line objects occurring in Theorem  5.6.6 . We may assume for example that they all map to the same point object.

A Serre duality for graded rings

In this section we prove that (a generalization of ) BKS-duality holds for graded rings. For the convenience of the reader we restate some definitions so that this appendix can be read independently of the rest of this paper.
Let
A   be a k   -linear Ext   finite triangulated category. By this we mean that for all , N A   we have n dim k Hom ( , N [ n ] ) <   . The category A   is said to satisfy Bondal-Kapranov-Serre (BKS) duality if there is an autoequivalence F : A A   together with for all A , B A   natural isomorphisms Hom ( A , B ) Hom ( B , F A )   (where ( )   denotes the k   -dual).
Let
C   be an abelian category. An object O   in D b ( C )   is said to have finite projective (injective) dimension if Ext i ( O , C ) = 0   ( Ext i ( C , O ) = 0   ) for | i | > u   for some u 0   . The minimal such u   we call the projective (injective) dimension of O   .
In this appendix we assume that
A   is a connected graded noetherian ring over a k   . By ( )   we denote the functor on graded vectorspaces which sends M   to n M n *   . If we use notations which refer to the left structure of A   then we adorn them with a superscript “   ”.
We make the following additional assumptions on
A   :
These conditions imply that A   has a balanced dualizing complex [37given by R = R τ ( A ) = R τ ( A )   [32, 37. Below we freely use the properties of such dualizing complexes.
We let
D ( A )   be the derived category of graded right A   -modules. D f b ( A )   will be the full subcategory of objects in D b ( A )   with finitely generated homology.
The category
D f b ( Tails ( A ) )   is the full subcategory of D b ( Tails ( A ) )   consisting of complexes with homology in tails ( A )   .
We let
D f b ( A ) fpd   ( D f b ( A ) fid   ) be the full category of D f b ( A )   consisting of objects of finite projective (injective) dimension. The categories D f b ( Tails ( A ) ) fpd   and D f b ( Tails ( A ) ) fid   are defined in a similar way. The fact that τ   has finite cohomological dimension implies π A ( n ) D f b ( Tails ( A ) ) fpd   .
We will denote the functors
R Hom ̲ A ( , R )   and R Hom ̲ A ( , R )   by D   . Since they define a duality between D f b ( A )   and D f b ( A )   it is clear that they define a duality between D f b ( A ) fid   and D f b ( A ) fpd   and between D f b ( A ) fpd   and D f b ( A ) fid   .
It is also clear that these functors induce a duality between
D f b ( Tails ( A ) )   and D f b ( Tails ( A opp ) )   . We denote these induced functors also by D   . Again they define a duality between D f b ( Tails ( A ) ) fid   and D f b ( Tails ( A ) ) fpd   and between D f b ( Tails ( A ) ) fpd   and D f b ( Tails ( A ) ) fid   . Recall the following:
Lemma A.1. Let P D f b ( Tails ( A ) ) fpd   . Then there exists an object P D f b ( A ) fpd   such that P   is a direct summand of π P   .
We recall the following fact.
Proposition A.2. The functors L A R   and R Hom ̲ A ( R , )   induce inverse equivalences between D f b ( A ) fpd   and D f b ( A ) fid   .
The functor A R   induces a functor D ( Tails ( A ) ) D ( Tails ( A ) )   which we denote by   . Similarly the functor RHom A ( R , )   induces a functor D + ( Tails ( A ) ) D + ( Tails ( A ) )   which we denote by Rℋom ( , )   .
Proposition A.3. The functors   and Rℋom ( , )   induces inverse equivalences between D f b ( Tails ( A ) ) fpd   and D f b ( Tails ( A ) ) fid   .
Theorem A.4. (Serre duality) For all D f b ( Tails ( A ) ) fpd   , N D f b ( Tails ( A ) )   there are natural isomorphisms Hom ( , N ) = Hom ( N , F )   where
F = ( L ) [ 1 ] (A.1)
Furthermore the functor F   defines an equivalence between D f b ( Tails ( A ) ) fpd   and D f b ( Tails ( A ) ) fid   .
Corollary A.5. If Tails ( A )   has finite global dimension then D f b ( Tails ( A ) )   satisfies BKS-duality.
References

  1. M. Artin and J. J. Zhang, Noncommutative projective schemes, Adv. in Math. 109 (1994), no. 2, 228–287.
  2. M. Artin, J. Tate, and M. Van den Bergh, Some algebras associated to automorphisms of elliptic curves, The Grothendieck Festschrift, vol. 1, Birkhäuser, 1990, pp. 33–85.
  3. , Modules over regular algebras of dimension 3, Invent. Math. 106 (1991), 335–388.
  4. M. Artin and M. Van den Bergh, Twisted homogeneous coordinate rings, J. Algebra 133 (1990), 249–271.
  5. D. Baer, Tilting sheaves in representation theory of algebras, Manuscripta Math. 60 (1988), no. 3, 323–347.
  6. V. Baranovsky, V. Ginzburg, and A. Kuznetsov, Quiver varieties and a non-commutative P 2   , Compositio Math. 134 (2002), no. 3, 283–318.
  7. Y. Berest and G. Wilson, Ideal classes of the Weyl algebra and noncommutative projective geometry (with an appendix by Michel Van den Bergh), Int. Math. Res. Not. (2002), no. 26, 1347–1396.
  8. , Automorphisms and ideals of the Weyl algebra, Math. Ann. 318 (2000), no. 1, 127–147.
  9. A. I. Bondal, Helices, representions of quivers and Koszul algebras, Helices and Vector bundles, 75–95, London Math. Soc. Lecture Note Ser., 148, Cambridge Univ. Press, Cambridge, (1990).
  10. A. I. Bondal and M. M. Kapranov, Representable functors, Serre functors, and reconstructions, Izv. Akad. Nauk SSSR Ser. Mat. 53 (1989), no. 6, 1183–1205, 1337.
  11. A. I. Bondal and A. E. Polishchuk, Homological properties of associative algebras: the method of helices, Russian Acad. Sci. Izv. Math 42 (1994), 219–260.
  12. R. C. Cannings and M. P. Holland, Right ideals of rings of differential operators, J. Algebra 167 (1994), no. 1, 116–141.
  13. K. De Naeghel and M. Van den Bergh, Ideal classes of three dimensional Sklyanin algebras 2, in preparation.
  14. R. Hartshorne, Residues and duality, Lecture notes in mathematics, vol. 20, Springer Verlag, Berlin, 1966.
  15. , Algebraic geometry, Springer-Verlag, 1977.
  16. A. Kapustin, A. Kuznetsov, and D. Orlov, Noncommutative instantons and twistor transform, Comm. Math. Phys. 221 (2001), no. 2, 385–432.
  17. M. Kashiwara and P. Schapira, Sheaves on manifolds, Die Grundlehren der Mathematischen Wissenschaften, vol. 292, Springer Verlag, 1994.
  18. K. M. Kouakou, Isomorphismes entre algèbres d'opérateurs différentiels sur les courbes algébriques affines, Ph.D. thesis, Université Claude Bernard-Lyon 1, 1994.
  19. G. R. Krause and T. H. Lenagan, Growth of algebras and Gelfand-Kirillov dimension, Research Notes in Mathematics, vol. 116, Pitman, Boston, 1985.
  20. L. Le Bruyn, Moduli spaces for right ideals of the Weyl algebra, J. Algebra 172 (1995), 32–48.
  21. D. Luna, Slices étales, Bull. Soc. Math. France 33 (1973), 81–105.
  22. I. Mori and S. P. Smith, Bézout's theorem for non-commutative projective spaces, J. Pure Appl. Algebra 157 (2001), no. 2-3, 279–299.
  23. C. Nastasescu and F. Van Oystaeyen, Graded and filtered rings and modules, Springer, Berlin, 1979.
  24. T. A. Nevins and J. T. Stafford, Sklyanin algebras and Hilbert schemes of points, to appear.
  25. A. Schofield, Semi-invariants of quivers, J. London Math. Soc. (2) 43 (1991), no. 3, 385–395.
  26. S. P. Smith, Subspaces of non-commutative spaces, Trans. Amer. Math. Soc. 354 (2002), no. 6, 2131–2171 (electronic).
  27. J. T. Stafford and M. Van den Bergh, Noncommutative curves and noncommutative surfaces, Bull. Amer. Math. Soc. (N.S.) 38 (2001), no. 2, 171–216 (electronic).
  28. S. T. Stafford, Noncommutative projective geometry (ICM '2002 talk).
  29. B. Stenström, Rings of quotients, Die Grundlehren der Mathematischen Wissenschaften in Einzeldarstellungen, vol. 217, Springer Verlag, Berlin, 1975.
  30. D. R. Stephenson, Artin-Schelter regular algebras of global dimension three, J. Algebra 183 (1996), 55–73.
  31. , Algebras associated to elliptic curves, Trans. Amer. Math. Soc. 349 (1997), 2317–2340.
  32. M. Van den Bergh, Existence theorems for dualizing complexes over non-commutative graded and filtered rings, J. Algebra (1997), 662–679.
  33. , Blowing up of non-commutative smooth surfaces, Mem. Amer. Math. Soc. 154 (2001), no. 734, x+140.
  34. F. Van Oystaeyen and L. Willaert, Grothendieck topology, coherent sheaves and Serre's theorem for schematic algebras, J. Pure Appl. Algebra 104 (1995), no. 1, 109–122.
  35. D. Voigt, Induzierte Darstellungen in der Theorie der endlichen, algebraischen Gruppen, Springer-Verlag, Berlin, 1977, Mit einer englischen Einführung, Lecture Notes in Mathematics, Vol. 592.
  36. G. Wilson, Collisions of Calogero-Moser particles and an adelic Grassmannian, Invent. Math. 133 (1998), no. 1, 1–41, With an appendix by I. G. Macdonald.
  37. A. Yekutieli, Dualizing complexes over noncommutative graded algebras, J. Algebra 153 (1992), 41–84.
  38. A. Yekutieli and J. J. Zhang, Serre duality for non-commutative projective schemes, Proc. Amer. Math. Soc. (1997), no. 125, 697–707.

Departement WNI, Limburgs Universitair Centrum, Universitaire Campus, Building D, 3590 Diepenbeek, Belgium E-mail address, K. De Naeghel: koen.denaeghel@luc.ac.be E-mail address, M. Van den Bergh: michel.vandenbergh@luc.ac.be