Fourier integral operators and the index of symplectomorphisms on manifolds with boundary (Q746918)

The authors develop a calculus of Fourier integral operators (FIOs) associated with admissible symplectomorphisms \(\chi:T^*Y\setminus 0\to T^*X\setminus 0\), where \(X\) and \(Y\) are compact manifolds with boundaries. Here, admissibility means that \(\chi\) is positively homogeneous of degree one, preserves the boundaries, and satisfies a transmission condition. The calculus extends that of \textit{L. Boutet de Monvel} [Acta Math. 126, 11-51 (1971; Zbl 0206.39401)] from pseudo-differential operators to FIOs. Ellipticity is defined as invertibility of the interior principal symbol and the operator-valued boundary principal symbol. It is shown that elliptic elements are Fredholm operators. The calculus is applied to define an index of an admissable symplectomorphism \(\chi\) and a unitary section \(u\) of the Maslov bundle over (the twisted graph of) \(\chi\) as the Fredholm index of an FIO which has \(u\) as its interior principal symbol. The problem of computing the index is not tackled. In the boundaryless case, an index formula, previously conjectured by Atiyah and Weinstein, is known.