Applications to O-modules and D-modules
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 , Cartan , Hörmander , Serre .
For a more detailed exposition of the theory of Q X -modules, we refer to Björk , Kashiwara  and Schapira .
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 , under the light of the theory of micro-support of sheaves.
In this chapter all sheaves, unless otherwise specified, are sheaves of ℂ-vector spaces.
KeywordsExact Sequence Open Subset Holomorphic Function Complex Manifold Finite Type
Unable to display preview. Download preview PDF.