The Szegő kernel in analytic regularity and analytic Fourier Integral Operators

Abstract

We build a general theory of microlocal (homogeneous) Fourier Integral Operators in real-analytic regularity, following the general construction in the smooth case by Hörmander and Duistermaat. In particular, we prove that the Boutet-Sjöstrand parametrix for the Szegő projector at the boundary of a strongly pseudo-convex real-analytic domain can be realised by an analytic Fourier Integral Operator. We then study some applications, such as FBI-type transforms on compact, real-analytic Riemannian manifolds and propagators of one-homogeneous (pseudo)differential operators.