On Diff(M)-pseudo-differential operators and the geometry of non linear Grassmannians

DOI10.3390/MATH4010001MaRDI QIDQ272113zbMATH OpenOpenAlexWikidataFDO

Authors Jean-Pierre Magnot

Publication date 20 April 2016

Published in Mathematics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1407.1427

zbMATH Keywords

Chern-Weil formsFourier-integral operatorsinfinite-dimensional frame bundlenonlinear Grassmannian

Mathematics Subject Classification ID

Other transforms and operators of Fourier type (43A32) Groups of diffeomorphisms and homeomorphisms as manifolds (58D05)

Abstract: We consider two principal bundles of embeddings with total space $Emb(M,N),$ with structure groups $Diff(M)$ and $Dif{f}_{+}(M),$ where $Dif{f}_{+}(M)$ is the groups of orientation preserving diffeomorphisms. The aim of this paper is to describe the structure group of the tangent bundle of the two base manifolds: ${\displaystyle }$ B(M,N) = Emb(M,N)/Diff(M) hbox{ and } B_+(M,N)= Emb(M,N)/Diff_+(M).${\displaystyle }$ From the various properties described, an adequate group seems to be a group of Fourier integral operators, which is carefully studied. This is the main goal of this paper to analyze this group, which is a central extension of a group of diffeomorphisms by a group of pseudo-differential operators which is slightly different from the one developped in cite{OMYK4}. We show that these groups are regular, and develop the necessary properties for applications to the geometry of $B(M,N).$ A case of particular interest is $M=S^1,$ where connected components of $B_{+}(S^1,N)$ are deeply linked with homotopy classes of oriented knots. In this example, the structure group of the tangent space $T{B}_{+}(S^1,N)$ is a subgroup of some group $G{L}_{res},$ following the classical notations of cite{PS}. These constructions suggest some approaches in the spirit of cite{Ma2006} that could lead to knot invariants through a theory of Chern-Weil forms.

Review text

Summary: We consider two principal bundles of embeddings with total space \(\mathrm{Emb}(M,N)\), with structure groups \(\mathrm{Diff}(M)\) and \(\mathrm{Diff}_+(M)\), where \(\mathrm{Diff}+(M)\) is the groups of orientation preserving diffeomorphisms. The aim of this paper is to describe the structure group of the tangent bundle of the two base manifolds: \[ B(M,N)=\mathrm{Emb}(M,N)/\mathrm{Diff}(M)\text{ and }B+(M,N)=\mathrm{Emb}(M,N)/\mathrm{Diff}_+(M) \] from the various properties described, an adequate group seems to be a group of Fourier integral operators, which is carefully studied. It is the main goal of this paper to analyze this group, which is a central extension of a group of diffeomorphisms by a group of pseudo-differential operators which is slightly different from the one developed in the mathematical literature, e.g. by H. Omori and by T. Ratiu. We show that these groups are regular, and develop the necessary properties for applications to the geometry of \(B(M,N)\). A case of particular interest is \(M=S^1\), where connected components of \(B_+(S^1,N)\) are deeply linked with homotopy classes of oriented knots. In this example, the structure group of the tangent space \(TB_+(S^1,N)\) is a subgroup of some group \(\mathrm{GL}_{\mathrm{res}}\), following the classical notations of \textit{A. Pressley} and \textit{G. Segal} [Loop groups. Repr. with corrections. Oxford (UK): Clarendon Press (1988; Zbl 0638.22009)]. These constructions suggest some approaches in the spirit of one of our previous works on Chern-Weil theory that could lead to knot invariants through a theory of Chern-Weil forms.

Recommendations

• Principal bundles of embeddings and nonlinear Grassmannians
• scientific article; zbMATH DE number 4001020
• On the geometry of \(\operatorname{Diff}(S^1)\)-pseudodifferential operators based on renormalized traces
• scientific article; zbMATH DE number 19529
• Geometry of pseudodifferential algebra bundles and Fourier integral operators

Cites work

• A central extension of the algebra of pseudodifferential symbols
• A Lie group structure for Fourier integral operators
• A Lie group structure for pseudodifferential operators
• Ambrose-Singer theorem on diffeological bundles and complete integrability of the KP equation
• Chern forms on mapping spaces
• Fourier integral operators. I
• scientific article; zbMATH DE number 3676455 (Why is no real title available?)
• scientific article; zbMATH DE number 976344 (Why is no real title available?)
• scientific article; zbMATH DE number 1077733 (Why is no real title available?)
• scientific article; zbMATH DE number 3256081 (Why is no real title available?)
• Lie algebras of differential operators, their central extensions, and W- algebras
• Local invariants of spectral asymmetry
• Nonlinear Grassmannians as coadjoint orbits
• On a trace functional for formal pseudo-differential operators and the symplectic structure of the Korteweg-deVries type equations
• On regular Frechet-Lie groups. I: Some differential geometrical expressions of Fourier-integral operators on a Riemannian manifold
• On regular Frechet-Lie groups. II: Composition rules of Fourier-integral operators on a Riemannian manifold
• On regular Frechet-Lie groups. III: A second cohomology class related to the Lie algebra of pseudo-differential operators of order one
• On regular Frechet-Lie groups. IV: Definition and fundamental theorems
• On regular Frechet-Lie groups. V: Several basic properties
• On regular Fréchet-Lie groups. VI: Infinite dimensional Lie groups which appear in general relativity
• On regular Fréchet-Lie groups. VII: The group generated by pseudo- differential operators of negative order
• On regular Fréchet-Lie groups. VIII: Primordial operators and Fourier integral operators
• On the noncommutative residue for pseudodifferential operators with log-polyhomogeneous symbols
• Opérateurs différentiels sur une variété différentiable
• Regularised integrals, sums and traces. An analytic point of view
• Renormalized traces and cocycles on the algebra of \(S^{1}\)-pseudo-differential operators
• RENORMALIZED TRACES AS A LOOKING GLASS INTO INFINITE-DIMENSIONAL GEOMETRY
• Schwinger terms and cohomology of pseudodifferential operators
• Structure groups and holonomy in infinite dimensions
• The differentiable structure of three remarkable diffeomorphism groups
• The geometry of loop groups
• The Lie group of automorphisms of a principal bundle
• The Schwinger cocycle on algebras with unbounded operators
• Traces and determinants of pseudodifferential operators
• Uniformization of nonlocal elliptic operators and KK-theory
• WEIGHTED TRACES ON ALGEBRAS OF PSEUDO-DIFFERENTIAL OPERATORS AND GEOMETRY ON LOOP GROUPS

Cited in

(8)

• The diffeology of Milnor's classifying space
• On the Kadomtsev-Petviashvili hierarchy in an extended class of formal pseudo-differential operators
• Smooth constructions of homotopy-coherent actions
• On the geometry of \(\operatorname{Diff}(S^1)\)-pseudodifferential operators based on renormalized traces
• On diffeological principal bundles of non-formal pseudo-differential operators over formal ones
• Smooth simplicial sets and universal Chern-Weil for infinite-dimensional groups
• Kadomtsev-Petviashvili hierarchies with non-formal pseudo-differential operators, non-formal solutions, and a Yang-Mills-like formulation
• On the geometry of diffeological vector pseudobundles and infinite dimensional vector bundles: automorphisms, connections and covariant derivatives

This page was built for publication: On \(\mathrm{Diff}(M)\)-pseudo-differential operators and the geometry of non linear Grassmannians

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q272113)