Skip to main content

Applications to O-modules and D-modules

  • Chapter
Sheaves on Manifolds

Part of the book series: Grundlehren der mathematischen Wissenschaften ((GL,volume 292))

  • 5741 Accesses


By its definition, a complex manifold X is endowed with the sheaf of rings O X of holomorphic functions. The structure of O X , and the theory of O X -modules, are now well-understood, and it is not our aim to explain this theory from the start. We shall content ourselves with a few basic facts concerning the algebraic structure of O X , its flabby dimension and the operations on O X . References are made to Banica-Stanasila [1], Cartan [2], Hörmander [1], Serre [1].

Next, we introduce the sheaf of rings D X of finite order holomorphic differential operators on X. Here again the theory of D X -modules is now well-understood, and we shall be rather brief on this subject, having in mind to make understood the main notions, in particular that of characteristic variety, and to explain the operations on D X -modules. We shall also recall the classical Cauchy-Kowalewski theorem and its extension to D X -modules, and we shall derive the formula:

$$SS\left( {R\mathcal{H}\mathcal{O}{{\mathcal{M}}_{{\mathcal{D}X}}}\left( {\mathcal{M},{{\mathcal{O}}_{X}}} \right)} \right) \subset char\left( \mathcal{M} \right),$$

, where char(M) is the characteristic variety of the D X-module M. (In fact, this inclusion is an equality, cf. §4.) As an application of (11.0.1) one immediately obtains, with the help of the results of VIII §5 the constructibility of the complex \(RHo{m_{{D_X}}}\left( {M,{O_X}} \right)\) when M is holonomic, and one also easily proves that this complex is perverse.

For a more detailed exposition of the theory of Q X -modules, we refer to Björk [1], Kashiwara [5] and Schapira [2].

Then we study “microlocally” the sheaf O X . After having introduced the ring E X of microlocal operators we sketch the proof of an important theorem which asserts that one can locally “quantize” holomorphic contact transformations over O X . We end this chapter by introducing the sheaf L M of Sato micro-functions on a real analytic manifold M. Using (11.0.1), and the results of Chapters V and VI, it is an easy exercise to recover many classical results of the theory of linear partial differential equations, in particular those concerning elliptic equations or the analytic wave front set, micro-hyperbolic systems and propagation of singularities.

As it should be clear, the aim of this chapter is not to give a complete or systematic treatment of the theory of analytic (micro-)differential equations, but rather to introduce the reader to it, and in particular to make him better understand the basic paper of Sato-Kawai-Kashiwara [1], under the light of the theory of micro-support of sheaves.

In this chapter all sheaves, unless otherwise specified, are sheaves of ℂ-vector spaces.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
USD 119.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 159.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 159.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Author information

Authors and Affiliations


Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Kashiwara, M., Schapira, P. (1990). Applications to O-modules and D-modules. In: Sheaves on Manifolds. Grundlehren der mathematischen Wissenschaften, vol 292. Springer, Berlin, Heidelberg.

Download citation

  • DOI:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-08082-1

  • Online ISBN: 978-3-662-02661-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics