Showing 1–26 of 26 results for author: Stafford, J T

The prime spectrum of the Drinfeld double of the Jordan plane

Authors: K. A. Brown, J. T. Stafford

Abstract: The Hopf algebra $\mathcal{D}$ which is the subject of this paper can be viewed as a Drinfeld double of the bosonisation of the Jordan plane. Its prime and primitive spectra are completely determined. As a corollary of this analysis it is shown that $\mathcal{D}$ satisfies the Dixmier-Moeglin Equivalence, leading to the formulation of a conjecture on the validity of this equivalence for pointed No… ▽ More The Hopf algebra $\mathcal{D}$ which is the subject of this paper can be viewed as a Drinfeld double of the bosonisation of the Jordan plane. Its prime and primitive spectra are completely determined. As a corollary of this analysis it is shown that $\mathcal{D}$ satisfies the Dixmier-Moeglin Equivalence, leading to the formulation of a conjecture on the validity of this equivalence for pointed Noetherian Hopf algebras. △ Less

Submitted 11 January, 2023; originally announced January 2023.

Comments: Preliminary version; comments welcome

MSC Class: 16T05; 16D25

Quantum Hamiltonian Reduction for Polar Representations

Authors: G. Bellamy, T. Levasseur, T. Nevins, J. T. Stafford

Abstract: Let $G$ be a reductive complex Lie group with Lie algebra $\mathfrak{g}$ and suppose that $V$ is a polar $G$-representation. We prove the existence of a radial parts map $\mathrm{rad}: \mathcal{D}(V)^G\to A_κ$ from the $G$-invariant differential operators on $V$ to the spherical subalgebra $A_κ$ of a rational Cherednik algebra. Under mild hypotheses $\mathrm{rad}$ is shown to be surjective. If… ▽ More Let $G$ be a reductive complex Lie group with Lie algebra $\mathfrak{g}$ and suppose that $V$ is a polar $G$-representation. We prove the existence of a radial parts map $\mathrm{rad}: \mathcal{D}(V)^G\to A_κ$ from the $G$-invariant differential operators on $V$ to the spherical subalgebra $A_κ$ of a rational Cherednik algebra. Under mild hypotheses $\mathrm{rad}$ is shown to be surjective. If $V$ is a symmetric space, then $\mathrm{rad}$ is always surjective, and we determine exactly when $A_κ$ is a simple ring. When $A_κ$ is simple, we also show that the kernel of $\mathrm{rad}$ is $\left(\mathcal{D}(V)τ(\mathfrak{g}\right)^G$, where $τ:\mathfrak{g}\to \mathcal{D}(V)$ is the differential of the $G$-action. △ Less

Submitted 30 March, 2024; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: 59 pages; minor typos and references updated

MSC Class: 13N10; 16S32; 16S80; 20G05; 22E46

Invariant holonomic systems on symmetric spaces and other polar representations

Authors: G. Bellamy, T. Nevins, J. T. Stafford

Abstract: Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $\mathfrak{g}$ and discriminant $δ\in \mathbb{C}[V]$. A fundamental object is the invariant holonomic system $\mathcal{G} =\mathcal{D}(V)\Big/ \Bigl(\mathcal{D}(V)\mathfrak{g}+ \mathcal{D}(V)(\mathrm{Sym}\, V)^G_+ \Bigr) $ over the ring of differential operators $\mathcal{D}(V)$. Jointly with Levasseur we hav… ▽ More Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $\mathfrak{g}$ and discriminant $δ\in \mathbb{C}[V]$. A fundamental object is the invariant holonomic system $\mathcal{G} =\mathcal{D}(V)\Big/ \Bigl(\mathcal{D}(V)\mathfrak{g}+ \mathcal{D}(V)(\mathrm{Sym}\, V)^G_+ \Bigr) $ over the ring of differential operators $\mathcal{D}(V)$. Jointly with Levasseur we have shown that there exists a surjective radial parts map $\mathrm{rad}$ from $ \mathcal{D}(V)^G$ to the spherical subalgebra $A_κ$ of a Cherednik algebra. When $A_κ$ is simple we show that $\mathcal{G}$ has no $δ$-torsion submodule nor factor module and we determine when $\mathcal{G}$ is semisimple, thereby answering questions of Sekiguchi, respectively Levasseur-Stafford. In the diagonal case when $V=\mathfrak{g}$, these results reduce to fundamental theorems of Harish-Chandra and Hotta-Kashiwara. We generalise these results to polar representations $V$ satisfying natural conditions. By twisting the radial parts map, we obtain families of invariant holonomic systems. We introduce shift functors between the different twists. We show that the image of the simple summands of $\mathcal{G} $ under these functors is described by Opdam's KZ-twist. △ Less

Submitted 30 March, 2024; v1 submitted 23 September, 2021; originally announced September 2021.

Comments: 91 pages; typos corrected and references updated

MSC Class: 13N10; 16S32; 16S80; 20G05; 22E46

Ring-theoretic blowing down II: Birational transformations

Authors: D. Rogalski, S. J. Sierra, J. T. Stafford

Abstract: One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). In a companion paper the authors described a noncommutative version of blowing down and, for example, gave a noncommutative analogue of Castelnuovo's classic theorem tha… ▽ More One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). In a companion paper the authors described a noncommutative version of blowing down and, for example, gave a noncommutative analogue of Castelnuovo's classic theorem that lines of self-intersection (-1) on a smooth surface can be contracted. In this paper we will use these techniques to construct explicit birational transformations between various noncommutative surfaces containing an elliptic curve. Notably we show that Van den Bergh's quadrics can be obtained from the Sklyanin algebra by suitably blowing up and down, and we also provide a noncommutative analogue of the classical Cremona transform. This extends and amplifies earlier work of Presotto and Van den Bergh. △ Less

Submitted 5 July, 2021; originally announced July 2021.

Comments: 45 pages; 2 figures; comments welcome

MSC Class: Primary: 14A22; 14H52; 16E65; 16S38; 16W50; Secondary: 14J10; 16P40; 18E15

Some Noncommutative Minimal Surfaces

Authors: D. Rogalski, S. J. Sierra, J. T. Stafford

Abstract: In the ongoing programme to classify noncommutative projective surfaces (connected graded noetherian domains of Gelfand-Kirillov dimension three) a natural question is to determine the minimal models within any birational class. In this paper we show that the generic noncommutative projective plane (corresponding to the three dimensional Sklyanin algebra R) as well as noncommutative analogues of P… ▽ More In the ongoing programme to classify noncommutative projective surfaces (connected graded noetherian domains of Gelfand-Kirillov dimension three) a natural question is to determine the minimal models within any birational class. In this paper we show that the generic noncommutative projective plane (corresponding to the three dimensional Sklyanin algebra R) as well as noncommutative analogues of P^1 x P^1 and of the Hirzebruch surface F_2 (arising from Van den Bergh's quadrics R) satisfy very strong minimality conditions. Translated into an algebraic question, where one is interested in a maximality condition, we prove the following theorem. Let R be a Sklyanin algebra or a Van den Bergh quadric that is infinite dimensional over its centre and let A be any connected graded noetherian maximal order containing R, with the same graded quotient ring as R. Then, up to taking Veronese rings, A is isomorphic to R. Secondly, let T be an elliptic algebra (that is, the coordinate ring of a noncommutative surface containing an elliptic curve). Then, under an appropriate homological condition, we prove that every connected graded noetherian overring of T is obtained by blowing down finitely many lines (line modules). △ Less

Submitted 23 April, 2020; v1 submitted 25 July, 2018; originally announced July 2018.

Comments: 42 pages; Third and final version to appear in Advances in Mathematics: minor revisions from second version

MSC Class: Primary: 14A22; 16P40; 16S38; 16W50; Secondary: 14H52; 14E30

Ring-theoretic blowing down: I

Authors: D. Rogalski, S. J. Sierra, J. T. Stafford

Abstract: One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). Earlier work of the authors classified the connected graded noetherian subalgebras of Sklyanin algebras using a noncommutative analogue of blowing up. In order to unders… ▽ More One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative projective surfaces (or, slightly more generally, of noetherian connected graded domains of Gelfand-Kirillov dimension 3). Earlier work of the authors classified the connected graded noetherian subalgebras of Sklyanin algebras using a noncommutative analogue of blowing up. In order to understand other algebras birational to a Sklyanin algebra, one also needs a notion of blowing down. This is achieved in this paper, where we give a noncommutative analogue of Castelnuovo's classic theorem that (-1)-lines on a smooth surface can be contracted. The resulting noncommutative blown-down algebra has pleasant properties; in particular it is always noetherian and is smooth if the original noncommutative surface is smooth. In a companion paper we will use this technique to construct explicit birational transformations between various noncommutative surfaces which contain an elliptic curve. △ Less

Submitted 16 November, 2016; v1 submitted 26 March, 2016; originally announced March 2016.

Comments: 40 pages

MSC Class: Primary: 14A22; 16P40; 16S38; 16W50; Secondary: 14H52; 18E15

Higher symmetries of powers of the Laplacian and rings of differential operators

Authors: T. Levasseur, J. T. Stafford

Abstract: We study the interplay between the minimal representations of the orthogonal Lie algebra $\mathfrak{g}=\mathfrak{so}(n+2,\mathbb{C})$ and the \emph{algebra of symmetries} $\mathscr{S}(\Box^r)$ of powers of the Laplacian $\Box$ on $\mathbb{C}^{n}$. The connection is made through the construction of highest weight representation of $\mathfrak{g}$ via the ring of differential operators… ▽ More We study the interplay between the minimal representations of the orthogonal Lie algebra $\mathfrak{g}=\mathfrak{so}(n+2,\mathbb{C})$ and the \emph{algebra of symmetries} $\mathscr{S}(\Box^r)$ of powers of the Laplacian $\Box$ on $\mathbb{C}^{n}$. The connection is made through the construction of highest weight representation of $\mathfrak{g}$ via the ring of differential operators $\mathcal{D}(X)$ on the singular scheme $X=(F^r=0)\subset \mathbb{C}^n$, where $F$ is the sum of squares. In particular we prove that $ \mathscr{S}(\Box^r)\cong \mathcal{D}(X)$ is isomorphic to a primitive factor ring of $U(\mathfrak{g})$. Interestingly, if (and only if) $n$ is even with $2r\geq n$ then both $\mathcal{D}(X)$ and its natural module $\mathcal{O}(X)$ have a finite dimensional factor. These results all have real analogues, with $\Box$ replaced by the d'Alembertian on the pseudo-Euclidean space $\mathbb{R}^{p,q}$ and $\mathfrak{g}$ replaced by the real Lie algebra $\mathfrak{so}(p+1,q+1)$. △ Less

Submitted 12 February, 2017; v1 submitted 7 August, 2015; originally announced August 2015.

Comments: This is the final corrected version of the paper. To appear in Compositio Mathematica

MSC Class: Primary 16S32; 58J70; 17B08

Journal ref: Compositio Math. 153 (2017) 678-716

Noncommutative Blowups of Elliptic Algebras

Authors: D. Rogalski, S. J. Sierra, J. T. Stafford

Abstract: We develop a ring-theoretic approach for blowing up many noncommutative projective surfaces. Let T be an elliptic algebra (meaning that, for some central element g of degree 1, T/gT is a twisted homogeneous coordinate ring of an elliptic curve E at an infinite order automorphism). Given an effective divisor d on E whose degree is not too big, we construct a blowup T(d) of T at d and show that it i… ▽ More We develop a ring-theoretic approach for blowing up many noncommutative projective surfaces. Let T be an elliptic algebra (meaning that, for some central element g of degree 1, T/gT is a twisted homogeneous coordinate ring of an elliptic curve E at an infinite order automorphism). Given an effective divisor d on E whose degree is not too big, we construct a blowup T(d) of T at d and show that it is also an elliptic algebra. Consequently it has many good properties: for example, it is strongly noetherian, Auslander-Gorenstein, and has a balanced dualizing complex. We also show that the ideal structure of T(d) is quite rigid. Our results generalise those of the first author. In the companion paper "Classifying Orders in the Sklyanin Algebra", we apply our results to classify orders in (a Veronese subalgebra of) a generic cubic or quadratic Sklyanin algebra. △ Less

Submitted 29 November, 2015; v1 submitted 9 August, 2013; originally announced August 2013.

Comments: 39 pages. Minor changes from previous version. The final publication is available from Springer via http://dx.doi.org/10.1007/s10468-014-9506-7

MSC Class: 14A22; 14H52; 16E65; 16P40; 16S38; 16W50; 18E15

Classifying Orders in the Sklyanin Algebra

Authors: D. Rogalski, S. J. Sierra, J. T. Stafford

Abstract: One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative surfaces, and this paper resolves a significant case of this problem. Specifically, let S denote the 3-dimensional Sklyanin algebra over an algebraically closed field k and assume that S is not a finite module over its centre. (This algebra corresponds to a generic noncommutative P^2.) Let A… ▽ More One of the major open problems in noncommutative algebraic geometry is the classification of noncommutative surfaces, and this paper resolves a significant case of this problem. Specifically, let S denote the 3-dimensional Sklyanin algebra over an algebraically closed field k and assume that S is not a finite module over its centre. (This algebra corresponds to a generic noncommutative P^2.) Let A be any connected graded k-algebra that is contained in and has the same quotient ring as a Veronese ring S^(3n). Then we give a reasonably complete description of the structure of A. This is most satisfactory when A is a maximal order, in which case we prove, subject to a minor technical condition, that A is a noncommutative blowup of S^(3n) at a (possibly non-effective) divisor on the associated elliptic curve E. It follows that A has surprisingly pleasant properties; for example it is automatically noetherian, indeed strongly noetherian, and has a dualizing complex. △ Less

Submitted 9 August, 2013; originally announced August 2013.

Comments: 55 pages

MSC Class: 14A22; 14H52; 16E65; 16P40; 16S38; 16W50; 18E15

Journal ref: Algebra Number Theory 9 (2015) 2055-2119

The Auslander-Gorenstein property for Z-algebras

Authors: I. G. Gordon, J. T. Stafford

Abstract: We provide a framework for part of the homological theory of Z-algebras and their generalizations, directed towards analogues of the Auslander-Gorenstein condition and the associated double Ext spectral sequence that are useful for enveloping algebras of Lie algebras and related rings. As an application, we prove the equidimensionality of the characteristic variety of an irreducible representation… ▽ More We provide a framework for part of the homological theory of Z-algebras and their generalizations, directed towards analogues of the Auslander-Gorenstein condition and the associated double Ext spectral sequence that are useful for enveloping algebras of Lie algebras and related rings. As an application, we prove the equidimensionality of the characteristic variety of an irreducible representation of the Z-algebra, and for related representations over quantum symplectic resolutions. In the special case of Cherednik algebras of type A, this answers a question raised by the authors. △ Less

Submitted 26 February, 2013; originally announced February 2013.

Comments: 31 pages

MSC Class: 14A22; 16A62; 16W70; 18G40; 20C08

Journal ref: Journal of Algebra 399C (2014), pp. 102-130

Algebras in which every subalgebra is noetherian

Authors: D. Rogalski, S. J. Sierra, J. T. Stafford

Abstract: We show that the twisted homogeneous coordinate rings of elliptic curves by infinite order automorphisms have the curious property that every subalgebra is both finitely generated and noetherian. As a consequence, we show that a localisation of a generic Skylanin algebra has the same property. We show that the twisted homogeneous coordinate rings of elliptic curves by infinite order automorphisms have the curious property that every subalgebra is both finitely generated and noetherian. As a consequence, we show that a localisation of a generic Skylanin algebra has the same property. △ Less

Submitted 24 April, 2013; v1 submitted 16 December, 2011; originally announced December 2011.

Comments: 5 pages; comments welcome; v2 only minor changes, most suggested by referee

MSC Class: 16P40; 16S38; 16W50; 16W70

Differential operators and Cherednik algebras

Authors: V. Ginzburg, I. Gordon, J. T. Stafford

Abstract: We establish a link between two geometric approaches to the representation theory of rational Cherednik algebras of type A: one based on a noncommutative Proj construction, used in [GS]; the other involving quantum hamiltonian reduction of an algebra of differential operators, used in [GG]. In the present paper, we combine these two points of view by showing that the process of hamiltonian red… ▽ More We establish a link between two geometric approaches to the representation theory of rational Cherednik algebras of type A: one based on a noncommutative Proj construction, used in [GS]; the other involving quantum hamiltonian reduction of an algebra of differential operators, used in [GG]. In the present paper, we combine these two points of view by showing that the process of hamiltonian reduction intertwines a naturally defined geometric twist functor on D-modules with the shift functor for the Cherednik algebra. That enables us to give a direct and relatively short proof of the key result, [GS, Theorem 1.4] without recourse to Haiman's deep results on the n! theorem. We also show that the characteristic cycles defined independently in these two approaches are equal, thereby confirming a conjecture from [GG]. △ Less

Submitted 23 March, 2008; originally announced March 2008.

Comments: 37 pp

Naive noncommutative blowups at zero-dimensional schemes

Authors: D. Rogalski, J. T. Stafford

Abstract: In an earlier paper (D. S. Keeler, D. Rogalski, and J. T. Stafford, ``Naive noncommutative blowing up,'' Duke Math. J., 126 (2005), 491-546), we defined and investigated the properties of the naive blowup of an integral projective scheme X at a single closed point. In this paper we extend those results to the case when one naively blows up X at any suitably generic zero-dimensional subscheme Z.… ▽ More In an earlier paper (D. S. Keeler, D. Rogalski, and J. T. Stafford, ``Naive noncommutative blowing up,'' Duke Math. J., 126 (2005), 491-546), we defined and investigated the properties of the naive blowup of an integral projective scheme X at a single closed point. In this paper we extend those results to the case when one naively blows up X at any suitably generic zero-dimensional subscheme Z. The resulting algebra A has a number of curious properties; for example it is noetherian but never strongly noetherian and the point modules are never parametrized by a projective scheme. This is despite the fact that the category of torsion modules in the quotient category qgr A is equivalent to the category of torsion coherent sheaves over X. These results are used in the companion paper ``A class of noncommutative projective surfaces'' to prove that a large class of noncommutative surfaces can be written as naive blowups. △ Less

Submitted 21 December, 2006; originally announced December 2006.

MSC Class: 14A22; 16P40

A class of noncommutative projective surfaces

Authors: D. Rogalski, J. T. Stafford

Abstract: Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an automorphism of the integral projective surface Y. Then we prove that A can be written as a naive blowup algebra of a projective surface X birational to Y. This en… ▽ More Let A=k+A_1+A_2.... be a connected graded, noetherian k-algebra that is generated in degree one over an algebraically closed field k. Suppose that the graded quotient ring Q(A) has the form Q(A)=k(Y)[t,t^{-1},sigma], where sigma is an automorphism of the integral projective surface Y. Then we prove that A can be written as a naive blowup algebra of a projective surface X birational to Y. This enables one to obtain a deep understanding of the structure of these algebras; for example, generically they are not strongly noetherian and their point modules are not parametrized by a projective scheme. This is despite the fact that the simple objects in the quotient category qgr A will always be in (1-1) correspondence with the closed points of the scheme X. △ Less

Submitted 21 December, 2006; originally announced December 2006.

MSC Class: 14A22; 16P40

Noncommutative resolutions and rational singularities

Authors: J. T. Stafford, M. Van den Bergh

Abstract: Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative k-algebra has a noncommutative crepant resolution, as introduced by the second author, then it has rational singularities. Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative k-algebra has a noncommutative crepant resolution, as introduced by the second author, then it has rational singularities. △ Less

Submitted 1 December, 2006; originally announced December 2006.

MSC Class: 14A22; 14E15; 16S38

Rational Cherednik algebras and Hilbert schemes II: representations and sheaves

Authors: I. Gordon, J. T. Stafford

Abstract: Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c=eH_ce. Then U_c is filtered by order of differential operators with associated graded ring gr U_c=C[h + h*]^W, where W is the n-th symmetric group. Using the Z-algebra construction from our earlier paper (math.RA/0407516) it is also possible to associate to a filtered H_c- or U_c-module M a coherent sheaf on… ▽ More Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c=eH_ce. Then U_c is filtered by order of differential operators with associated graded ring gr U_c=C[h + h*]^W, where W is the n-th symmetric group. Using the Z-algebra construction from our earlier paper (math.RA/0407516) it is also possible to associate to a filtered H_c- or U_c-module M a coherent sheaf on the Hilbert scheme Hilb(n). Using this technique, we study the representation theory of U_c and H_c, and relate it to Hilb(n) and to the resolution of singularities from Hilb(n) to h+h*/W. For example, we prove: (1) If c=1/n, so that L_c(triv) is the unique one-dimensional simple H_c-module, then L_c(triv) corresponds to the structure sheaf of the punctual Hilbert scheme. (2) If c=1/n+k (for k some natural number) then, under a canonical filtration on the finite dimensional module L_c(triv), gr eL_{c}(triv) has a natural bigraded structure which coincides with that on the global sections of certain ample line bundles on the punctual Hilbert scheme; this confirms conjectures of Berest, Etingof and Ginzburg, and relates representations of H_c and U_c with Haiman's combinatorial work on the Hilbert scheme. (3) Under mild restrictions on c, the characteristic cycle of the standard H_c-modules are described in terms of certain irreducible subvarieties of the Hilbert scheme (appearing originally in work of Grojnowski) with multiplicities given by Kostka numbers. △ Less

Submitted 12 October, 2004; originally announced October 2004.

Rational Cherednik algebras and Hilbert schemes

Authors: I. Gordon, J. T. Stafford

Abstract: Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c = eH_ce. Then U_c is filtered by order of differential operators, with associated graded ring gr U_c = C[h+h*]^W, where W is the n-th symmetric group. We construct a filtered Z-algebra B such that, under mild conditions on c: (1) The category B-qgr of graded noetherian B-modules modulo torsion is equivalent… ▽ More Let H_c be the rational Cherednik algebra of type A_{n-1} with spherical subalgebra U_c = eH_ce. Then U_c is filtered by order of differential operators, with associated graded ring gr U_c = C[h+h*]^W, where W is the n-th symmetric group. We construct a filtered Z-algebra B such that, under mild conditions on c: (1) The category B-qgr of graded noetherian B-modules modulo torsion is equivalent to U_c-mod; (2) The associated graded Z-algebra gr(B) has gr(B)-qgr equivalent to Coh Hilb(n), the category of coherent sheaves on the Hilbert scheme of points in the plane. This can be regarded as saying that U_c simultaneously gives a noncommutative deformation both of (h+h*)/W and of its resolution of singularities Hilb(n) --> (h+h*)/W. As our forthcoming companion paper [GS] shows, this result is a powerful tool for studying the representation theory of H_c and its relationship to Hilb(n). △ Less

Submitted 12 October, 2004; v1 submitted 29 July, 2004; originally announced July 2004.

Comments: Minor changes: proof of Corollary 4.13 adjusted; typos corrected

Differential Operators and Cohomology Groups on the Basic Affine Space

Authors: T. Levasseur, J. T. Stafford

Abstract: We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite direct sum of non-isomorphic simple X-modules, each of which is isomorphic to a twist of O(X) by an automorphism of D(X). We also use D(X) to study the proper… ▽ More We study the ring of differential operators D(X) on the basic affine space X=G/U of a complex semisimple group G with maximal unipotent subgroup U. One of the main results shows that the cohomology group H^*(X,O_X) decomposes as a finite direct sum of non-isomorphic simple X-modules, each of which is isomorphic to a twist of O(X) by an automorphism of D(X). We also use D(X) to study the properties of D(Y) for highest weight varieties Y. For example we prove under mild hypotheses that Y is D-simple in the sense that O(Y) is a simple D(Y)-module and produce an irreducible G-module of differential operators on Y of degree -1 and specified order. △ Less

Submitted 9 August, 2004; v1 submitted 25 February, 2004; originally announced February 2004.

Comments: To appear in ``Studies in Lie Theory: A. Joseph Fest.'' (Progress in Mathematics, Birkhauser). Minor corrections made to the text

MSC Class: 17B56

Simplicity of noncommutative Dedekind domains

Authors: K. R. Goodearl, J. T. Stafford

Abstract: The following dichotomy is established: A finitely generated, complex Dedekind domain that is not commutative is simple. Weaker versions of this dichotomy are proved for Dedekind prime rings and hereditary noetherian prime rings. The following dichotomy is established: A finitely generated, complex Dedekind domain that is not commutative is simple. Weaker versions of this dichotomy are proved for Dedekind prime rings and hereditary noetherian prime rings. △ Less

Submitted 6 November, 2003; originally announced November 2003.

MSC Class: 16P40

Sklyanin algebras and Hilbert schemes of points

Authors: T. A. Nevins, J. T. Stafford

Abstract: We construct projective moduli spaces for torsion-free sheaves on noncommutative projective planes. These moduli spaces vary smoothly in the parameters describing the noncommutative plane and have good properties analogous to those of moduli spaces of sheaves over the usual (commutative) projective plane P^2. The generic noncommutative plane corresponds to the Sklyanin algebra S constructed fr… ▽ More We construct projective moduli spaces for torsion-free sheaves on noncommutative projective planes. These moduli spaces vary smoothly in the parameters describing the noncommutative plane and have good properties analogous to those of moduli spaces of sheaves over the usual (commutative) projective plane P^2. The generic noncommutative plane corresponds to the Sklyanin algebra S constructed from an automorphism sigma of infinite order on an elliptic curve E < P^2. In this case, the fine moduli space of line bundles over S with first Chern class zero and Euler characteristic (1-n) provides a symplectic variety that is a deformation of the Hilbert scheme of n points on P^2 - E. △ Less

Submitted 30 January, 2004; v1 submitted 3 October, 2003; originally announced October 2003.

Comments: 67 pages, typos corrected (including one in the statement of Theorem 1.1)

MSC Class: 14A22; 14C05; 14D22; 16D40; 16S38; 18E15; 53D30

Naive Noncommutative Blowing Up

Authors: D. S. Keeler, D. Rogalski, J. T. Stafford

Abstract: Let B(X,L,s) be the twisted homogeneous coordinate ring of an irreducible variety X over an algebraically closed field k with dim X > 1. Assume that c in X and s in Aut(X) are in sufficiently general position. We show that if one follows the commutative prescription for blowing up X at c, but in this noncommutative setting, one obtains a noncommutative ring R=R(X,c,L,s) with surprising propertie… ▽ More Let B(X,L,s) be the twisted homogeneous coordinate ring of an irreducible variety X over an algebraically closed field k with dim X > 1. Assume that c in X and s in Aut(X) are in sufficiently general position. We show that if one follows the commutative prescription for blowing up X at c, but in this noncommutative setting, one obtains a noncommutative ring R=R(X,c,L,s) with surprising properties. In particular: (1) R is always noetherian but never strongly noetherian. (2) If R is generated in degree one then the images of the R-point modules in qgr(R) are naturally in (1-1) correspondence with the closed points of X. However, both in qgr(R) and in gr(R), the R-point modules are not parametrized by a projective scheme. (3) qgr R has finite cohomological dimension yet H^1(R) is infinite dimensional. This gives a more geometric approach to results of the second author who proved similar results for X=P^n by algebraic methods. △ Less

Submitted 16 June, 2003; originally announced June 2003.

Comments: Latex, 42 pages

MSC Class: 14A22; 16P40; 16S38; 16W50; 18E15

Journal ref: Duke Math. J. 126 (2005), 491-546.

Noncommutative projective geometry

Authors: J. T. Stafford

Abstract: This article describes recent applications of algebraic geometry to noncommutative algebra. These techniques have been particularly successful in describing graded algebras of small dimension. This article describes recent applications of algebraic geometry to noncommutative algebra. These techniques have been particularly successful in describing graded algebras of small dimension. △ Less

Submitted 15 April, 2003; originally announced April 2003.

MSC Class: 14A22; 16P40; 16W50

Journal ref: Proceedings of the ICM, Beijing 2002, vol. 2, 93--104

O_e(G) is a free module over O(G)

Authors: K. A. Brown, I. Gordon, J. T. Stafford

Abstract: We show that the quantised function algebra O_e(G) of a simply-connected semisimple algebraic group G at a root of unity is a free module over the subring isomorphic to O(G). We show that the quantised function algebra O_e(G) of a simply-connected semisimple algebraic group G at a root of unity is a free module over the subring isomorphic to O(G). △ Less

Submitted 28 July, 2000; originally announced July 2000.

Comments: 3 pages

Algebras without noetherian filtrations

Authors: J. T. Stafford, J. J. Zhang

Abstract: We provide examples of finitely generated noetherian PI algebras for which there is no finite dimensional filtration with a noetherian associated graded ring; thus we answer negatively a question raised by M. Lorenz. We provide examples of finitely generated noetherian PI algebras for which there is no finite dimensional filtration with a noetherian associated graded ring; thus we answer negatively a question raised by M. Lorenz. △ Less

Submitted 6 July, 2000; originally announced July 2000.

Comments: 11 pages, Latex document

MSC Class: 16P40; 16P90; 16R99; 16W60

Noncommutative curves and noncommutative surfaces

Authors: J. T. Stafford, M. Van den Bergh

Abstract: In this survey article we describe some geometric results in the theory of noncommutative rings and, more generally, in the theory of abelian categories. Roughly speaking and by analogy with the commutative situation, the category of graded modules modulo torsion over a noncommutative graded ring of quadratic, respectively cubic growth should be thought of as the noncommutative analogue of a p… ▽ More In this survey article we describe some geometric results in the theory of noncommutative rings and, more generally, in the theory of abelian categories. Roughly speaking and by analogy with the commutative situation, the category of graded modules modulo torsion over a noncommutative graded ring of quadratic, respectively cubic growth should be thought of as the noncommutative analogue of a projective curve, respectively surface. This intuition has lead to a remarkable number of nontrivial insights and results in noncommutative algebra. Indeed, the problem of classifying noncommutative curves (and noncommutative graded rings of quadratic growth) can be regarded as settled. Despite the fact that no classification of noncommutative surfaces is in sight, a rich body of nontrivial examples and techniques, including blowing up and down, has been developed. △ Less

Submitted 26 July, 2000; v1 submitted 16 October, 1999; originally announced October 1999.

Comments: Suggestions by many people (in particular Haynes Miller and Dennis Keeler) have been incorporated. The formulation of some results has been improved

MSC Class: 14A22; 14F05; 16D90; 16P40; 16S80; 16W50; 18F10

The graded version of Goldie's Theorem

Authors: K. R. Goodearl, J. T. Stafford

Abstract: The analogue of Goldie's Theorem for prime rings is proved for rings graded by abelian groups, eliminating unnecessary additional hypotheses used in earlier versions. The analogue of Goldie's Theorem for prime rings is proved for rings graded by abelian groups, eliminating unnecessary additional hypotheses used in earlier versions. △ Less

Submitted 17 May, 1999; originally announced May 1999.

Comments: 3 pages

MSC Class: 16W50; 16U20