002ce2a064eda91b.tex
1: \begin{abstract}
2: Let $\, \mathfrak{R} \,$ be the set of isomorphism classes
3: of right ideals in the Weyl algebra $\, A = A_{1}(\c) \,$, and let 
4: $\, \mathfrak{C} \,$ be the set of isomorphism classes of
5: triples $\, (V;\, \X,\, \Y) \,$, where $\, V \,$ is a 
6: finite-dimensional (complex) vector space, and 
7: $\, \X,\, \Y \,$ are endomorphisms of $\, V \,$ such that
8: $\, [\X,\Y] + \I \,$ has rank $ 1\,$. Following a suggestion
9: of L.~Le Bruyn, we define a map $\, \theta:\, \mathfrak{R} 
10: \to \mathfrak{C} \,$ by appropriately extending an 
11: ideal of $\, A \,$ to a sheaf over a quantum projective 
12: plane, and then using standard methods of homological algebra.
13: We prove that $\, \theta\,$ is inverse to a bijection 
14: $\, \omega:\, \mathfrak{C} \to \mathfrak{R} \,$ constructed
15: in \cite{BW} by a completely different method. The main step 
16: in the proof is to show that $\,\theta \,$ is equivariant
17: with respect to natural actions of the group $\, G = 
18: \mbox{\rm Aut}(A)\,$ on 
19: $\,\mathfrak{R} \,$ and $\,\mathfrak{C} \,$: for that we have 
20: to study also the extensions of an ideal to certain {\it 
21: weighted} quantum projective planes. Along the way, we find
22: an elementary description of $\, \theta\,$.
23: \end{abstract}
24: