On Traces of Fourier Integral Operators on Submanifolds

Abstract

Given a smooth embedding of manifolds and a Fourier integral operator on the ambient manifold, the trace of this operator on the submanifold (i.e., its composition with the boundary and coboundary operators, which is an operator on the submanifold) is considered. Conditions under which such a trace is also a Fourier integral operator are determined, and its amplitude in canonical local coordinates is calculated. The results are applied to quantized canonical transformations.