##
**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.

### MSC:

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 |