For a (commutative) scheme XX, the sheaf D(X)D(X) of regular differential operators is a sheaf of noncommutative rings, more precisely a sheaf of noncommutative algebras in the monoidal category of 𝒪 X\mathcal{O}_X-modules. Thus it may be considered as a case of noncommutative algebraic geometry, namely it is sort of a space XX with a noncommutative “structure ring” D(X)D(X). In the usual algebraic geometry, if XX is affine, i.e. of the form X=SpecAX = Spec A, where AA is a commutative ring, the global sections ΓO XA\Gamma O_X\cong A, and this extends for quasicoherent modules (this is sometimes called the affine Serre’s global sections theorem). This phenomenon that global sections determine the sheaf is hence an affine phenomenon. An analogues phenomenon in the world of DD-modules holds for DD-modules on some nonaffine varieties, for example the flag varieties. Such schemes are called D-affine.


Beilinson-Bernstein localization theorem and generalizations…


D-affinity is studied in

  • A. Beilinson, I. N. Bernstein, A proof of Jantzen conjecture, Adv. in Soviet Math. 16, Part 1 (1993), 1-50, MR95a:22022, pdf

The phenomenon has also its abstract counterpart in the language of differential monads of Lunts and Rosenberg, see here especially part I:

  • V. A. Lunts, A. L. Rosenberg, Differential calculus in noncommutative algebraic geometry I. D-calculus on noncommutative rings, MPI 1996-53 pdf, II. D-Calculus in the braided case. The localization of quantized enveloping algebras, MPI 1996-76 pdf
Created on May 8, 2011 10:51:48 by Zoran Škoda (