# Applications to O-modules and D-modules

• Chapter

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

• 5741 Accesses

## Summary

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),$$
(11.0.1)

, 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

Chapter
USD 29.95
Price excludes VAT (USA)
• Available as PDF
• Read on any device
• Own it forever
eBook
USD 119.00
Price excludes VAT (USA)
• Available as PDF
• Read on any device
• 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

## Preview

Unable to display preview. Download preview PDF.

Authors

## Rights and permissions

Reprints and permissions

© 1990 Springer-Verlag Berlin Heidelberg

### 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. https://doi.org/10.1007/978-3-662-02661-8_13

• DOI: https://doi.org/10.1007/978-3-662-02661-8_13

• Publisher Name: Springer, Berlin, Heidelberg

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

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

• eBook Packages: Springer Book Archive