Flaches Bündel

In der Mathematik kommen flache Bündel unter anderem in Differentialgeometrie und Mathematischer Physik vor.

Definition

Ein flaches Bündel ist ein Prinzipalbündel P\rightarrow M, das einen flachen Zusammenhang besitzt.

Ein Zusammenhang \omega heißt flach, falls seine Krümmung \Omega verschwindet, also falls

{\displaystyle \Omega :=d\omega +{\tfrac {1}{2}}[\omega \wedge \omega ]=0.}

Geometrische Interpretation

Nach dem Satz von Ambrose-Singer misst die Krümmung die infinitesimale Holonomie. Für ein Prinzipalbündel mit flachem Zusammenhang muss die Holonomie also infinitesimal (aber nicht unbedingt global) trivial sein, d.h. homotope Wege haben dieselbe Holonomie. Insbesondere induziert die Holonomie eine wohldefinierte Darstellung {\displaystyle \pi _{1}M\rightarrow G} der Fundamentalgruppe der Basis in die Strukturgruppe des Prinzipalbündels.

Holonomie-Darstellung

Flache G-Bündel über einer zusammenhängenden Mannigfaltigkeit M sind in Bijektion mit Darstellungen

{\displaystyle \rho :\pi _{1}M\rightarrow G}.

Das zu einer Darstellung assoziierte flache Bündel erhält man – mit Hilfe der Wirkung von \pi _{1}M auf der universellen Überlagerung \widetilde{M} – als

E_{\rho }:=\widetilde {M}\times G/\sim

mit der Äquivalenzrelation (\gamma x,g)\sim (x,\rho (\gamma )g) für {\displaystyle \gamma \in \pi _{1}M,x\in {\widetilde {M}},g\in G}.

Schnitte in E_{\rho } entsprechen eindeutig den \rho -äquivarianten Abbildungen {\displaystyle f\colon {\widetilde {M}}\to G}, der f entsprechende Schnitt ist {\displaystyle s(x)=\left[{\widetilde {x}},f({\tilde {x}})\right]} für ein (beliebiges) zu x\in M projizierendes {\displaystyle {\tilde {x}}\in {\widetilde {M}}}.

Literatur

Trenner
Basierend auf einem Artikel in: Extern Wikipedia.de
Seitenende
Seite zurück
© biancahoegel.de
Datum der letzten Änderung: Jena, den: 03.04. 2023