Geometry of Pseudodifferential algebra bundles and Fourier Integral Operators

Abstract

We study the geometry and topology of (filtered) algebra-bundles ${\mathbf{\Psi }}^{\mathbb{Z}}$ over a smooth manifold $X$ with typical fibre ${\Psi }^{\mathbb{Z}}(Z;V)$, the algebra of classical pseudodifferential operators of integral order on the compact manifold $Z$ acting on smooth sections of a vector bundle $V$. First a theorem of Duistermaat and Singer is generalized to the assertion that the group of projective invertible Fourier integral operators $\mathrm{PGL}({\mathcal{F}}^{\bullet }(Z;V))$, is precisely the automorphism group, $\mathrm{Aut}({\Psi }^{\mathbb{Z}}(Z;V)),$ of the filtered algebra of pseudodifferential operators. We replace some of the arguments in their paper by microlocal ones, thereby removing the topological assumption well as extending their result to sections of a vector bundle. We define a natural class of connections and B-fields the principal bundle to which ${\mathbf{\Psi }}^{\mathbb{Z}}$ is associated and obtain a de Rham representative of the Dixmier-Douady class, in terms of the outer derivation on the Lie algebra and the residue trace of Guillemin and Wodzicki; the resulting formula only depends on the formal symbol algebra ${\mathbf{\Psi }}^{\mathbb{Z}}/{\mathbf{\Psi }}^{-\infty }.$ Examples of pseudodifferential algebra bundles are given that are not associated to a finite dimensional fibre bundle over $X.$

Latex 2e, 52 pages. Duke Math. J. (to appear)

References in corpus (2)

• Loop Groups, Higgs Fields and Generalised String Classes
• Chern-Weil calculus extended to a class of infinite dimensional manifolds

Cited by in corpus (5)

• Equivalence of string and fusion loop-spin structures
• Fourier Integral Operators of Boutet de Monvel Type
• The Weyl map and bundle gerbes
• The Geometry of Loop Spaces II: Characteristic Classes
• An Axiomatization Proposal and a Global Existence Theorem for Strong Emergence Between Parameterized Lagrangian Field Theories