Flaches Bündel
# 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

    $\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 $\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

    $\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 $\gamma \in \pi _{1}M,x\in {\widetilde {M}},g\in G$.

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

