# zbMATH — the first resource for mathematics

Théorie de la deuxième microlocalisation dans le domaine complexe. (English) Zbl 0561.32013
Progress in Mathematics, Vol. 53. Boston-Basel-Stuttgart: Birkhäuser. XVI, 311 p. DM 82.00 (1985).
This book is an original research monograph whose aim is to iterate the construction of the microdifferential operators as done by M. Sato, T. Kawai and M. Kashiwara [in Hyperfunctions pseudodiff. Equations, Proc. Conf. Katata 1971, Lect. Notes Math. 287, 263-529 (1973; Zbl 0277.46039)]. Namely, let X be a complex analytic manifold, $$\pi: T^*X\to X$$ its cotangent bundle, and $${\mathcal D}_ X$$ its sheaf of differential operators of finite order with analytic coefficients. Then Sato, Kawai and Kashiwada constructed the sheaf $${\mathcal E}_ X$$ of ”microdifferential operators” on $$T^*X$$ such that $$P\in \pi^{-1}{\mathcal D}_ X$$ is invertible in $${\mathcal E}_ X$$ outside its characteristic variety. Now, let $$\Lambda$$ be a homogeneous involutive submanifold of $$T^*X$$, $${\tilde \Lambda}$$ its union of bicharacteristic leaves, and the bundle $$\pi: T^*_{\Lambda}{\tilde \Lambda}\to \Lambda$$. Then the author succeeds to use the sheaves defined by Sato, Kawai and Kashiwada instead of the structural sheaf $${\mathcal O}_ X$$ such as to construct a sheaf $${\mathcal E}^ 2_{\Lambda}$$ of 2-microdifferential operators on $$T^*_{\Lambda}{\tilde \Lambda}$$ with the property that $$P\in \pi^{- 1}({\mathcal E}_ X/\Lambda)$$ is invertible in $${\mathcal E}^ 2_{\Lambda}$$ outside its microcharacteristic variety. Then he develops a symbol theory (involving double series of holomorphic functions), and studies sheaves $${\mathcal E}^ 2_{\Lambda}(r,s)$$ for rational numbers r,s with $$1\leq s\leq r\leq +\infty$$ which generalize $${\mathcal E}^ 2_{\Lambda}={\mathcal E}^ 2_{\Lambda}(1,1)$$. All these objects are used in the third chapter of the book for applications to systms of differential and microdifferential equations which include a generalization of the Newton polygon, a generalization of the Levi conditions, convergence results for formal series solutions, a study of the Cauchy problem in the complex domain etc.
Reviewer: I.Vaisman

##### MSC:
 32L10 Sheaves and cohomology of sections of holomorphic vector bundles, general results 32-02 Research exposition (monographs, survey articles) pertaining to several complex variables and analytic spaces 58-02 Research exposition (monographs, survey articles) pertaining to global analysis 47-02 Research exposition (monographs, survey articles) pertaining to operator theory 58J10 Differential complexes 32Q99 Complex manifolds 47Gxx Integral, integro-differential, and pseudodifferential operators 32K15 Differentiable functions on analytic spaces, differentiable spaces 14F10 Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials