Geometry of pseudodifferential algebra bundles and Fourier integral operators (Q2403440)

The authors study the geometry and topology of (filtered) algebra bundles \(\Psi^\mathbb{Z}\) over a smooth manifold \(X\) with typical fiber \(\Psi^\mathbb{Z}(Z;V)\), and the algebra of classical pseudo-differential operators acting on smooth sections of a vector bundle \(V\) over the compact manifold \(Z\). The theorem of Duistermaat and Singer is generalized to the assertion that the group of projective invertible Fourier integral operators \(PG(\mathcal{F}^\mathbb{C}(Z;V))\) is the automorphism group of the filtered algebra of pseudo-differential operators. Moreover the authors define a natural class of connections and B-fields on the principal bundle to which \(\Psi^\mathbb{Z}\) is associated. De Rham's representative of the Dixmier-Douady class in terms of the outer derivation on the Lie algebra and the residue trace of Guillemin and Wodzicki is obtained. The resulting formula depends only on the formal symbol algebra \(\Psi^\mathbb{Z}/\Psi^{-\infty}\). The following subjects are studied: {\parindent=0.7cm\begin{itemize}\item[1.] the Lie algebra of derivations of \(\Psi^\mathbb{Z}(Z;V)\) and the Hochschild cohomology of \(\Psi^\mathbb{Z}(Z;V)\), \item[2.] the structure of the Lie algebra of derivations of the filtered \(\star\)-algebra of formal pseudodifferential operators \(\Psi^\mathbb{Z}(Z;V)/ \Psi^\infty(Z;V)\), \item[3.] the Fréchet Lie groups of automorphisms of both the filtered \(\star\)-algebra of formal pseudo-differential operators and the filtered algebra of all pseudo-differential operators, \item[4.] the groups of invertible pseudo-differential and Fourier integral operators, \item[5.] a connection on the central extension \(\mathbb{ C}^*\rightarrow G(\mathcal{F}^0(Z;V)\rightarrow PG(\mathcal{F}^0(Z;V)\) with curvature computed in terms of the residue trace of Guillemin and Wodzicki, \item[6.] the principal bundle of trivializations of a filtered algebra bundle of pseudo-differential operators and the image in the de Rham cohomology of the Dixmier-Douady class, \item[7.] examples with nontorsion Dixmier-Douady class. \end{itemize}}