Foundation of symbol theory for analytic pseudodifferential operators. I. (English) Zbl 1381.32014

Summary: A new symbol theory for pseudodifferential operators in the complex analytic category is given. Here the pseudodifferential operators mean integral operators with real holomorphic microfunction kernels. The notion of real holomorphic microfunctions had been introduced by Sato, Kawai and Kashiwara by using sheaf cohomology theory. Symbol theory for those operators was partly developed by Kataoka and by the first author and it has been effectively used in the analysis of operators of infinite order. However, there was a missing part that links the symbol theory and the cohomological definition of operators, that is, the consistency of the Leibniz-Hörmander rule and the cohomological definition of composition for operators. This link has not been established completely in the existing symbol theory. This paper supplies the link and provides a cohomological foundation of the symbolic calculus of pseudodifferential operators.


32W25 Pseudodifferential operators in several complex variables
14F05 Sheaves, derived categories of sheaves, etc. (MSC2010)
35A27 Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs
35S05 Pseudodifferential operators as generalizations of partial differential operators
58J40 Pseudodifferential and Fourier integral operators on manifolds
Full Text: DOI arXiv Euclid