Biinvariant metric on the group of diffeomorphisms of a three-dimensional manifold (Q789794)

Ist \(M\) eine \((4k-1)\)-dimensionale geschlossene Riemannsche Mannigfaltigkeit, so wird auf dem Raum \(\Gamma(\Lambda^{2k-1}M)\) der \((2k-1)\)-Formen auf \(M\) eine quadratische Form \(Q\) gegeben durch \(Q(\alpha)=\int_{M}\alpha \bigwedge d\alpha\). Die Form \(Q\) definiert auf dem Raum \(d\Gamma(\Lambda^{2k-1}M)\) der exakten \(2k\) Formen eine nicht-ausgeartete quadratische Form. Dieser quadratischen Form kann eine Signatur zugeordnet werden, die nach \textit{M. F. Atiyah}, \textit{V. K. Patodi} und \textit{I. M. Singer} [Math. Proc. Camb. Philos. Soc. 77, 43--69 (1975; Zbl 0297.58008)] gerade die \(\eta\)-Invariante von \(M\) ist. In der vorliegenden Arbeit wird zunächst gezeigt, daß diese quadratische Form unter der natürlichen Aktion der \(C^{\infty}\)-Diffeomorphismen von \(M\) auf \(d\Gamma(\Lambda^{2k-1}M)\) invariant ist. Ist \(k=1\), also \(\dim M=3\), so liefert der Übergang von 1-Formen zu Vektorfeldern eine Bilinearform, auf dem Raum der jenigen Vektorfelder auf \(M\), die als Rotation eines Vektorfeldes auftreten. Mit \({\mathcal D}_{\mu}\) wird die Liesche Gruppe der Diffeomorphismen von \(M\) bezeichnet, die das Volumen \(\mu\) invariant lassen. Die zugehörige Lie-Algebra \(T_e{\mathcal D}_{\mu}\) ist die Lie-Algebra der Vektorfelder \(X\) mit \(\operatorname{div} X=0\). Ist \(H^2(M,{\mathbb{R}})=0\), so ist die obige Bilinearform \(\prec X,Y\succ =\int_{M}\prec X\), \(\text{rot}^{-1}Y\succ \mu\) für alle \(X,Y\in T_e{\mathcal D}_{\mu}\) definiert. Es wird gezeigt, daß die Bilinearform biinvariant ist unter der Aktion von \(T_e{\mathcal D}_{\mu}\), d.h. es ist \(\prec [X,Y],Z\succ +\prec Y,[X,Z]\succ =0\) für alle \(X,Y,Z\in T_e{\mathcal D}_{\mu}\). Schließlich wird für dreidimensionale Mannigfaltigkeiten \(M\) mit \(H^2(M,{\mathbb{R}})=0\) die Eulersche Gleichung auf \(T_e{\mathcal D}_{\mu}\) diskutiert.