Hauptfaserbündel

In der Mathematik ist das Hauptfaserbündel, Prinzipalfaserbündel bzw. Prinzipalbündel ein Konzept der Differentialgeometrie, mit dem getwistete Produkte formalisiert werden und das unter anderem in der Physik zur Beschreibung von Eichfeldtheorien und speziell Yang-Mills-Feldern verwendet wird.

Produkte (triviale Prinzipalbündel)

Prinzipalbündel verallgemeinern den Begriff des kartesischen Produktes $X\times G$ eines Raumes $X$ und einer topologischen Gruppe $G$ . So wie das kartesische Produkt $X\times G$ besitzt auch ein Prinzipalbündel $P$ die folgenden Eigenschaften:

eine Gruppenoperation von $G$ auf $P$ in der gleichen Art wie $(x,g)h=(x,gh)$ für den Produktraum
eine Projektionsabbildung von $P$ nach $X,$ die im Falle eines Produktraumes einfach die Projektion auf den ersten Faktor darstellt: $(x,g)\to x$ .

Anders als Produkträume haben Prinzipalbündel keinen bevorzugten Schnitt, wie er im Produktfall durch das neutrale Element der Gruppe $G$ gegeben ist. Es gibt also zu Elementen $x\in X$ kein bevorzugtes Element aus $P$ als Identifikation von $(x,e)$ . Genauso wenig gibt es allgemein eine stetige Projektion auf $G,$ welche die Projektion auf das zweite Element des Produktraumes verallgemeinert: $(x,g)\to g$ . Prinzipalbündel können deswegen komplizierte Topologien haben, die eine Darstellung des Bündels als Produktraum verhindern, selbst wenn einige zusätzliche Annahmen gemacht werden.

Funktionen $F\colon X\rightarrow G$ lassen sich als Schnitte im trivialen Prinzipalbündel $\pi \colon X\times G\rightarrow X$ interpretieren, nämlich als $s(x)=(x,F(x))$ . Schnitte in Prinzipalbündeln verallgemeinern also den Begriff der G-wertigen Abbildungen.

Definition

Ein Prinzipalbündel ist ein Faserbündel $P$ über einem Raum $X$ mit der Projektion $\pi \colon P\to X$ , versehen mit einer stetigen Rechtsoperation $P\times G\rightarrow P$ (im Folgenden notiert als $(p,g)\mapsto pg$ ) einer topologischen Gruppe $G$ , sodass die Operation jede Faser auf sich selbst abbildet (das heißt $\pi (pg)=\pi (p)$ für alle $p\in P$ und alle $g\in G$ ) und die Gruppe frei (jeder Punkt wird nur unter dem neutralen Element der Gruppe invariant) und transitiv (jeder Punkt einer Faser wird von jedem anderen mittels der Gruppenoperation erreicht) auf jeder Faser operiert. Die Gruppe $G$ heißt Strukturgruppe des Prinzipalbündels.

Sind $P$ und $X$ glatte Mannigfaltigkeiten, die Strukturgruppe eine Lie-Gruppe und die Operation selbst glatt, so heißt das Prinzipalbündel glattes Prinzipalbündel.

Trivialisierung

Wie bei jedem Faserbündel ist die Projektion topologisch gesehen lokal trivialisierbar: Es gibt also zu jedem $x\in X$ eine offene Umgebung $U\subset X$ , sodass $\pi ^{-1}(U)$ homöomorph ist zu $U\times G$ . Jede Faser ist homöomorph zur als topologischer Raum aufgefassten Strukturgruppe $G$ . Eine Trivialisierung eines Prinzipalbündels ist sogar unter Berücksichtigung der Gruppenoperation möglich: Es lässt sich ein äquivarianter Homöomorphismus $\phi \colon \pi ^{-1}(U)\rightarrow U\times G$ wählen, sodass

\pi (ug)=\pi (u),\phi (ug)=\phi (u)g

für alle $u\in \pi ^{-1}(U),g\in G$ . Jede solche lokale Trivialisierung $\phi$ induziert einen lokalen Schnitt $f\colon U\to P$ vermöge $f(x)=\phi ^{-1}((x,e))$ , wobei $e\in G$ das neutrale Element bezeichne.

Umgekehrt induziert auch jeder lokale Schnitt $f\colon U\to P$ eine lokale Trivialisierung $\phi$ gegeben durch $\phi (p)=(\pi (p),g_{p})$ mit $f(\pi (p))g_{p}=p$ . Die lokale Trivialisierbarkeit folgt also aus der Existenz lokaler Schnitte, welche allgemein auf Faserbündeln existieren. Anders als bei allgemeinen Faserbündeln (man betrachte etwa das Tangentialbündel einer glatten Mannigfaltigkeit) impliziert nicht nur die globale Trivialisierbarkeit die Existenz eines globalen Schnittes, sondern auch die Existenz eines globalen Schnittes die Trivialisierbarkeit.

Im physikalischen Kontext lässt sich die Wahl einer Eichung als (je nach Situation lokale oder globale) Wahl einer Trivialisierung bzw. eines Schnittes verstehen.^[1]

Beispiele

Reperbündel

Sei $M$ eine differenzierbare n-dimensionale Mannigfaltigkeit. Das Reperbündel $F(M)$ ist die Menge aller Basen von Tangentialräumen $T_{x}M,x\in M$ , mit der kanonischen Projektion $\pi \colon F(M)\rightarrow M$ . Die Gruppe $G:=\operatorname {GL} (n,\mathbb {R} )$ wirkt transitiv und treu auf den Fasern.

Überlagerungen

Galois-Überlagerungen sind Prinzipalbündel mit der diskreten Gruppe der Decktransformationen als Strukturgruppe.

Homogene Räume

Sei $G$ eine Lie-Gruppe und $H\subset G$ eine abgeschlossene Untergruppe, dann ist $\pi \colon G\rightarrow G/H$ ein Prinzipalbündel mit Strukturgruppe $H$ .

In der Topologie und Differentialgeometrie gibt es einige Anwendungsfälle der Prinzipalbündel. Desgleichen gibt es Anwendungen der Prinzipalbündel in der Physik. Dort bilden sie einen entscheidenden Teil des mathematischen Rahmens der Eichtheorien.

Assoziierte Vektorbündel

Im Falle von $G=\operatorname {GL} (n,\mathbb {C} )$ kann man zu jedem $G$ -Prinzipalbündel $\pi \colon P\rightarrow B$ ein assoziiertes komplexes Vektorbündel $\Pi \colon E\rightarrow B$ definieren durch

E=(P\times \mathbb {C} ^{n})/\sim

mit der Äquivalenzrelation

(p,v)\sim (pg,g^{-1}v)\quad \forall g\in \operatorname {GL} (n,\mathbb {C} )

.

Analog kann man zu jedem $\operatorname {GL} (n,\mathbb {R} )$ -Prinzipalbündel ein assoziiertes reelles Vektorbündel definieren.

Zum Beispiel sei $M$ eine differenzierbare n-dimensionale Mannigfaltigkeit und $F(M)$ das Rahmenbündel. Dann ist das Tangentialbündel $TM$ das assoziierte Vektorbündel für die kanonische Wirkung von $\operatorname {GL} (n,\mathbb {R} )$ auf $\mathbb {R} ^{n}$ .

Allgemeiner lässt sich auch ein assoziiertes Vektorbündel für beliebige Hauptfaserbündel definieren. Sei hierzu $P\rightarrow M$ ein $G$ -Prinzipalbündel und $\rho :G\to \mathrm {Aut} (V)$ eine reelle oder komplexe Darstellung. Dann ist

E=(P\times _{\rho }V):=(P\times V)/G

mit der Äquivalenzrelation

(p,v)\sim (pg,\rho (g^{-1})v)\quad \forall g\in G

.

ein Vektorbündel, genannt das Vektorbündel assoziiert mit $\pi \colon P\rightarrow B$ und $\rho$ . Im Falle von $G=\operatorname {GL} (n,\mathbb {C} )$ stimmt das so konstruierte Vektorbündel mit dem obigen überein, wenn man für $\rho$ die fundamentale Darstellung wählt.

Reduktion der Strukturgruppe

Ein $G$ -Prinzipalbündel $P\rightarrow M$ lässt sich auf eine Untergruppe $H\subset G$ reduzieren, wenn das Bündel $P/H\rightarrow M$ einen Schnitt besitzt. Insbesondere ist ein Prinzipalbündel genau dann trivial, wenn es sich auf die Untergruppe $\left\{1\right\}\subset G$ reduzieren lässt.

Beispiele

Betrachte das Rahmenbündel $F(M)\rightarrow M$ einer n-dimensionalen differenzierbaren Mannigfaltigkeit, die Strukturgruppe ist $G=\operatorname {GL} (n,\mathbb {R} )$ . Dann gilt:

die Strukturgruppe lässt sich genau dann auf $\operatorname {GL} (k,\mathbb {R} )\subset \operatorname {GL} (n,\mathbb {R} )$ reduzieren, wenn das Tangentialbündel $n-k$ linear unabhängige Schnitte hat,
die Strukturgruppe lässt sich immer auf $O(n)$ reduzieren, dies entspricht der Wahl einer Riemannschen Metrik,
die Strukturgruppe lässt sich genau dann auf $\operatorname {SO} (n)$ reduzieren, wenn die Mannigfaltigkeit orientierbar ist.

Sei im Folgenden $n=2m$ eine gerade Zahl:

die Strukturgruppe lässt sich genau dann auf $\operatorname {GL} (m,\mathbb {C} )\subset \operatorname {GL} (2m,\mathbb {R} )$ reduzieren, wenn die Mannigfaltigkeit fastkomplex ist,
wenn die Mannigfaltigkeit symplektisch ist, dann lässt sich die Strukturgruppe auf $U(m)$ reduzieren.

Sei im Folgenden $n=2m+1$ eine ungerade Zahl:

wenn die Mannigfaltigkeit eine Kontaktstruktur besitzt, dann lässt sich die Strukturgruppe auf $U(m)\times \left\{1\right\}$ reduzieren.

Zusammenhang, Krümmung

Eine wichtige Rolle beim Studium von Prinzipalbündeln spielen Zusammenhangs-1-Formen $\omega \in \Omega ^{1}(P,{\mathfrak {g}})$ und deren Krümmungs-2-Formen $\Omega =d\omega +{\tfrac {1}{2}}[\omega \wedge \omega ]\in \Omega ^{2}(M,{\mathfrak {g}})$ .

Anwendung: Elektromagnetismus

In einem ladungsfreien $\mathbb {R} ^{3}$ erfüllen das elektrische Feld $E$ und das Magnetfeld $B$ die Maxwell-Gleichungen. Die Felder besitzen Potentiale $\phi$ und $A$ mit $E=-\operatorname {grad} \phi +{\tfrac {\partial A}{\partial t}}$ und $B=\operatorname {rot} A$ . Diese Potentiale sind jedoch nicht eindeutig, denn $\phi ^{\prime }=\phi +{\tfrac {\partial f}{\partial t}}$ und $A^{\prime }=A+\operatorname {grad} f$ für eine beliebige Funktion $f$ geben dieselben Felder.

Man betrachtet die Minkowski-Raum-Zeit $M=\mathbb {R} ^{4}$ und das Prinzipalbündel $M\times S^{1}$ mit der Zusammenhangsform $\omega =\mathrm {d} \theta +\phi \,\mathrm {d} t+A_{1}\,\mathrm {d} x_{1}+A_{2}\,\mathrm {d} x_{2}+A_{3}\,\mathrm {d} x_{3}$ . Deren Krümmungsform gibt das elektromagnetische Feld:

\Omega =\mathrm {d} \omega =-\Sigma E_{i}\,\mathrm {d} t\wedge \mathrm {d} x_{i}+\Sigma B_{i}\,\mathrm {d} x_{j}\wedge \mathrm {d} x_{k}.

Die Eich-Transformationen sind von der Form $\omega ^{\prime }=\omega +\mathrm {d} f$ .

Die Maxwell-Gleichungen lassen sich formulieren als $\mathrm {d} *\Omega =0$ , wobei $*$ der Hodge-Operator ist.

Literatur

David Bleecker: Gauge Theory and Variational Principles. Dover edition Auflage. Addison-Wesley Publishing, 1981, ISBN 0-486-44546-1.
Jürgen Jost: Riemannian Geometry and Geometric Analysis. (4th ed.). Springer, New York 2005, ISBN 3-540-25907-4.
R. W. Sharpe: Differential Geometry: Cartan's Generalization of Klein's Erlangen Program. Springer, New York 1997, ISBN 0-387-94732-9.
Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton 1951, ISBN 0-691-00548-6.
Martin Schottenloher: Geometrie und Symmetrie in der Physik. vieweg, Braunschweig 1995, ISBN 3-528-06565-6.
Shlomo Sternberg: Curvature in Mathematics and Physics. Dover, Mineola 2012, ISBN 0-486-47855-6.

Weblinks

Helga Baum: Vorlesung über Eichfeldtheorie (PDF; 584 kB)

Einzelnachweise

↑ Pierre Deligne, Pavel Etingof, Daniel Freed, Lisa Jeffrey, David Kazhdan, John Morgan, David Morrison, Edward Witten (Hrsg.): Quantum Fields and Strings: A Course for Mathematicians. American Mathematical Society, 1999, ISBN 0-8218-1987-9, S. 18.

[1] Pierre Deligne, Pavel Etingof, Daniel Freed, Lisa Jeffrey, David Kazhdan, John Morgan, David Morrison, Edward Witten (Hrsg.): Quantum Fields and Strings: A Course for Mathematicians. American Mathematical Society, 1999, ISBN 0-8218-1987-9, S. 18.

[1]