The sheaf DX and its modules
- 492 Downloads
This chapter is devoted to the construction and basic properties of rings of differential operators. The ring D n of differential operators on the local ring of convergent power series is constructed and its ring-theoretic properties are analyzed in the first section. The sheaf D X on a complex analytic manifold is studied in the subsequent sections. We establish its coherence and construct good filtrations on every coherent D X -module M. This enables us to associate a conic analytic set in the holomorphic cotangent bundle, called the characteristic variety and denoted by SS(M). Counting multiplicities there exists the characteristic cycle of M.
An important result is that SS(M) is involutive in the symplectic manifold T*(X). We prove this together with certain homological results with the aid of material in the appendix. Special topics include Spencer’s resolution of coherent D X -modules with good filtrations and some non-trivial facts about the left D X -module O X . The notable fact is that every left D X -module whose underlying O X -module is coherent is locally isomorphic to a finite direct sum of O X in the category of left D X -modules. The proof relies on the existence of solutions to Pfaffian equations. A section about twisted rings of differential operators is included at the end of this chapter.
The material in this chapter is of course basic and will be used throughout the book.
KeywordsExact Sequence Irreducible Component Left Ideal Noetherian Ring Principal Symbol
Unable to display preview. Download preview PDF.
- Stafford, J. T and Levasseur, T., Rings of differential operators on classical rings of invariants, Mem. Amer. Math. Soc. 81, 1989.Google Scholar
- Kashiwara, M., Representation theory and D-modules on flag varieties, Astérisque (1989), 55–190.Google Scholar
- Bien, F., D-modules and spherical representations, Princeton Univ. Press, 1990.Google Scholar
- Golovin, V. D., Cohomology of analytic sheaves (in Russian), Nauka, Moscow, 1986.Google Scholar