Faserbündel

In der algebraischen Topologie, einem Teilgebiet der Mathematik, ist ein Faserbündel ein topologischer Raum, der lokal als kartesisches Produkt zweier topologischer Räume dargestellt werden kann, zusammen mit einer Abbildung, die diese Ähnlichkeit wiedergibt.

Faserbündel spielen eine wichtige Rolle in der Homotopietheorie, Differentialgeometrie und Differentialtopologie.

Geschichte

Das Konzept eines Faserbündels kam erstmals im Zusammenhang mit der Topologie und Geometrie von Mannigfaltigkeiten auf.^[1] Herbert Seifert führte im Jahr 1933 die Begriffe Faser und gefaserter Raum ein.^[2]

Die erste Definition eines Faserbündels gab Hassler Whitney im Jahr 1935 unter dem Namen Sphären-Raum (engl. sphere space). In den Jahren von 1935 bis 1940 wurden Faserbündel in der Mathematik ein eigenes Forschungsgebiet. Die Arbeiten von Whitney, Heinz Hopf und Eduard Stiefel gaben Ausblicke auf die Bedeutung von Faserbündeln in Topologie und Differentialgeometrie.^[3]

Bis zum Jahr 1950 wurde die Definition eines Faserbündels klar notiert und die Theorie über Homotopieklassifikation und Charakteristikklassen von Faserbündeln von mehreren Mathematikern, darunter Shiing-Shen Chern, Lew Pontrjagin, Stiefel und Whitney, vorangetrieben. In den Jahren von 1950 bis 1955 konnte Friedrich Hirzebruch unter Verwendung der Charakteristikklassen von Faserbündeln den Satz von Hirzebruch-Riemann-Roch beweisen. John Milnor gab eine Konstruktion eines universellen Faserbündels für beliebige topologische Gruppen im Jahr 1955 an. In den frühen 1960ern entwickelten Alexander Grothendieck, Michael Atiyah und Hirzebruch eine verallgemeinerte Kohomologietheorie, die K-Theorie, mit Hilfe von Stabilitätsklassen von Vektorbündeln.^[4]

Definition

Ein Faserbündel ist ein Quadrupel ${\displaystyle (E,B,\pi ,F)}$ bestehend aus topologischen Räumen ${\displaystyle E}$, ${\displaystyle B}$ und ${\displaystyle F}$ und einer stetigen surjektiven Abbildung ${\displaystyle \pi \colon E\to B}$, wobei für jedes ${\displaystyle x\in B}$ eine offene Umgebung ${\displaystyle U\subseteq B}$ von ${\displaystyle x}$ und ein Homöomorphismus ${\displaystyle \varphi \colon \pi ^{-1}(U)\to U\times F}$ existieren, sodass das folgende Diagramm kommutiert:

Hierbei ist ${\displaystyle \operatorname {proj} _{1}\colon U\times F\to U}$ die natürliche Projektion. Ein solcher Homöomorphismus ${\displaystyle \varphi }$ wird lokale Trivialisierung des Bündels und die Abbildung ${\displaystyle \pi }$ Projektion genannt. Der Raum ${\displaystyle B}$ heißt der Basisraum des Bündels, ${\displaystyle E}$ der Totalraum und ${\displaystyle F}$ die Faser.

Der Raum ${\displaystyle U\times F}$ ist mit der Produkttopologie versehen und ${\displaystyle \pi ^{-1}(U)}$ mit der Teilraumtopologie.

Um zusätzlich die Faser des Bündels zu nennen, wird auch die Notation ${\displaystyle F\hookrightarrow E\to B}$ für ein Faserbündel verwendet. Hierbei ist die Abbildung ${\displaystyle F\hookrightarrow E}$ die Inklusion und ${\displaystyle F}$ wird mit ${\displaystyle F_{b}=\pi ^{-1}(\{b\})}$, der Faser über einem Punkt ${\displaystyle b\in B}$, identifiziert.^[5]

Jedes Faserbündel ist eine Serre-Faserung.^[6]

Beispiele

Triviales Bündel

Sei ${\displaystyle E=B\times F}$ und ${\displaystyle \pi \colon E\to B}$ die Projektion auf den ersten Faktor, dann ist ${\displaystyle E}$ nicht nur lokal ein Produkt, sondern auch global. Ein solches Faserbündel heißt triviales Bündel oder Produktbündel.^[7]

Überlagerung

Ein Faserbündel mit diskreter Faser ist eine Überlagerung. Ebenso ist jede Überlagerung, deren Fasern alle die gleiche Kardinalität haben, ein Faserbündel mit diskreter Faser. Insbesondere ist eine Überlagerung über einem zusammenhängenden Basisraum ein Faserbündel.^[8]

Möbiusband

Das Möbiusband ist ein anschauliches Beispiel für ein nichttriviales Faserbündel. Der Basisraum ist die Kreislinie ${\displaystyle S^{1}}$, die mittig des Bandes verläuft. Die Faser ist durch ein abgeschlossenes Intervall gegeben, z. B. ${\displaystyle [-1,1].}$

Der Totalraum ist gegeben durch den Quotientenraum ${\displaystyle E=([0,1]\times [-1,1])/\sim }$ mit der Äquivalenzrelation ${\displaystyle \sim }$ gegeben durch ${\displaystyle (0,a)\sim (1,-a).}$ Die Bündelprojektion ${\displaystyle \pi \colon E\to S^{1}}$ ist die von der Projektion ${\displaystyle \operatorname {proj} \colon [0,1]\times [-1,1]\to [0,1]}$ induzierten Abbildung, d. h., eine Äquivalenzklasse ${\displaystyle [(x,y)]\in E}$ wird unter der Bündelprojektion auf die Äquivalenzklasse ${\displaystyle [x]}$ abgebildet, wobei die Äquivalenzrelation auf ${\displaystyle S^{1}}$ durch ${\displaystyle (0\sim 1)}$ gegeben ist.

Das entsprechende triviale Bündel ${\displaystyle S^{1}\times [-1,1]}$ ist ein Zylinder. Möbiusband und Zylinder unterscheiden sich durch eine Verdrehung der Faser. Diese Verdrehung ist nur global sichtbar, lokal sind Möbiusband und Zylinder identisch.^[9]

Kleinsche Flasche

Ein weiteres nichttriviales Faserbündel ist die Kleinsche Flasche. Der Basisraum und die Faser sind durch ${\displaystyle S^{1}}$ und der Totalraum durch den Quotientenraum ${\displaystyle E=([0,1]\times [0,1])/\sim }$ gegeben, wobei die Äquivalenzrelation ${\displaystyle \sim }$ durch ${\displaystyle (0,y)\sim (1,y)}$ und ${\displaystyle (x,0)\sim (1-x,1)}$ gegeben ist. Die Bündel-Projektion ${\displaystyle \pi \colon E\to S^{1}}$ bildet ein Element ${\displaystyle [(a,b)]\in E}$ auf ${\displaystyle \pi ([(a,b)])=[b]}$ mit der Äquivalenzrelation ${\displaystyle (0\sim 1)}$ auf ${\displaystyle S^{1}}$ ab.

Das entsprechende triviale Bündel ${\displaystyle S^{1}\times S^{1}}$ ist ein Torus, der lokal von der Kleinschen Flasche nicht unterscheidbar ist.^[10]

Hopf-Bündel

Das Hopf-Bündel ${\displaystyle S^{1}\hookrightarrow S^{3}\to S^{2}}$ hat als Faser, Totalraum und Basisraum Sphären und ist eines der ersten entdeckten nicht trivialen Faserbündel. Es ist ein Spezialfall für ${\displaystyle n=1}$ des Faserbündels ${\displaystyle S^{1}\hookrightarrow S^{2n+1}\to \mathbb {C} P^{n}}$ über dem ${\displaystyle n}$-dimensionalen komplexen projektiven Raum. Weitere Hopf-Bündel, auch verallgemeinerte Hopf-Bündel genannt, lassen sich durch Ersetzen der komplexen Zahlen durch die reellen Zahlen, die Quaternionen und die Oktonionen herleiten:

• Die Überlagerung ${\displaystyle S^{0}\hookrightarrow S^{n}\to \mathbb {R} P^{n}}$ über dem ${\displaystyle n}$-dimensionalen projektiven Raum ergibt für ${\displaystyle n=1}$ das reelle Hopf-Bündel ${\displaystyle S^{0}\hookrightarrow S^{1}\to S^{1}}$.

• Für die Quaternionen ergibt sich das Hopf-Bündel ${\displaystyle S^{3}\hookrightarrow S^{7}\to S^{4}\cong \mathbb {H} P^{1}}$.

• Für die Oktionen ergibt sich das Hopf-Bündel ${\displaystyle S^{7}\hookrightarrow S^{15}\to S^{8}}$.

Weitere Faserbündel, deren Faser, Totalraum und Basisraum Sphären sind, existieren nicht. Dies ist eine Folgerung aus dem Satz von Adam, welcher das Problem von Hopf über die Anzahl der Abbildungen zwischen Sphären mit Hopf-Invariante 1 löst.^[11]

Schnitt

Ein globaler Schnitt eines Faserbündels ${\displaystyle (E,B,\pi ,F)}$ ist eine stetige Abbildung ${\displaystyle s\colon B\to E}$, die zur Projektion ${\displaystyle \pi }$ rechtsinvers ist. Für alle ${\displaystyle b\in B}$ gilt also, dass die Verknüpfung von Projektion und Schnitt gleich der Identität ist: ${\displaystyle (\pi \circ s)(b)=b}$. Anders ausgedrückt liegt für alle ${\displaystyle b\in B}$ das Bild des Schnitts in der Faser über ${\displaystyle b}$: ${\displaystyle s(b)\in \pi ^{-1}(\{b\})}$.

Ein lokaler Schnitt eines Faserbündels ist eine stetige Abbildung ${\displaystyle s\colon V\to E}$, wobei ${\displaystyle V\subseteq B}$ eine offene Teilmenge ist und ${\displaystyle (\pi \circ s)(b)=b}$ für alle ${\displaystyle b\in V}$ gilt.^[12]

Bündelmorphismus

Ein Bündelmorphismus (auch Bündelabbildung genannt) zwischen zwei Faserbündeln ${\displaystyle (E_{1},B_{1},\pi _{1},F_{1})}$ und ${\displaystyle (E_{2},B_{2},\pi _{2},F_{2})}$ ist eine Abbildung, die die Bündelstruktur erhält; in gewissem Sinne ist er eine Faser-erhaltende Abbildung. Genauer ist ein Bündelmorphismus durch ein Tupel ${\displaystyle (u,f)}$ von zwei Abbildungen ${\displaystyle u\colon E_{1}\to E_{2}}$ und ${\displaystyle f\colon B_{1}\to B_{2}}$ gegeben, sodass ${\displaystyle \pi _{2}\circ u=f\circ \pi _{1}}$ gilt. Die Situation wird durch das folgende kommutative Diagramm verdeutlicht:

Eine Faser über ${\displaystyle b\in B_{1}}$ wird unter ${\displaystyle u}$ auf eine Faser über ${\displaystyle f(b)}$ abgebildet; dies wird durch die Beziehung ${\displaystyle u(\pi _{1}^{-1}(b))\subseteq \pi _{2}^{-1}(f(b))}$ dargestellt.

Sind die Basisräume identisch, so ist der Bündelmorphismus durch ${\displaystyle (u,\operatorname {id} _{B})}$ gegeben und man spricht von einem ${\displaystyle B}$-Morphismus oder einem Bündelmorphismus über ${\displaystyle B}$, wobei ${\displaystyle B=B_{1}=B_{2}}$ gilt. Die Beziehung ${\displaystyle \pi _{1}=\pi _{2}\circ u}$ ist durch das folgende Diagramm gegeben:

Für alle ${\displaystyle b\in B}$ gilt die Bedingung ${\displaystyle u(\pi _{1}^{-1}(\{b\}))\subseteq \pi _{2}^{-1}(\{b\})}$, weshalb ${\displaystyle u}$ auch Faser-erhaltend genannt wird.^[13]

Koordinatenbündel

Für jeden Basisraum eines Faserbündels existiert ein Atlas ${\displaystyle \{(U_{i},h_{U_{i}}^{-1})|i\in I\}}$ von Karten, wobei ${\displaystyle U_{i}\subseteq B}$ offene Teilmengen und ${\displaystyle h_{U_{i}}}$ lokale Trivialisierungen des Faserbündels sind. Zwei Karten ${\displaystyle (U_{i},h_{U_{i}}^{-1})}$ und ${\displaystyle (U_{j},h_{U_{j}}^{-1})}$ können mittels stetiger Kartenwechsel ${\displaystyle \Phi _{i,j}\colon (U_{i}\cap U_{j})\to Aut(F)}$ gewechselt werden. Die Kartenwechsel geben Auskunft darüber, welche Symmetrien der Fasern beim Übergang benutzt werden, weshalb sie auch Übergangsfunktionen genannt werden. Für ein Punkt ${\displaystyle b\in U_{i}\cap U_{j}}$ ist die Übergangsfunktion durch den Ausdruck ${\displaystyle \Phi _{i,j}(b)=(pr_{F}\circ h_{U_{i}}\circ h_{U_{j}}^{-1})(b,\cdot )\colon F\to F}$ gegeben. Das folgende Diagramm verdeutlicht die Situation:

In der ersten Zeile ist die erste Komponente durch die Identität und die zweite Komponente durch die Übergangsfunktion gegeben.^[14]

Eine topologische Transformationsgruppe ${\displaystyle G}$ eines topologischen Raumes ${\displaystyle F}$ relativ zu einer Abbildung ${\displaystyle \eta \colon G\times F\to F}$ ist eine topologische Gruppe ${\displaystyle G,}$ sodass:

• ${\displaystyle \eta }$ stetig ist
• ${\displaystyle \eta (e,f)=f}$ wobei ${\displaystyle e}$ die Identität von ${\displaystyle G}$ ist und
• ${\displaystyle \eta (g_{1},g_{2},f)=\eta (g_{1},\eta (g_{2},f))}$ für alle ${\displaystyle g_{1},g_{2}\in G}$ und ${\displaystyle f\in F.}$

Oft betrachtet man mehr als nur eine solche Abbildung ${\displaystyle \eta }$ und ersetzt deshalb ${\displaystyle \eta (g,f)}$ durch ${\displaystyle g\cdot f.}$^[15]

Ein Koordinatenbündel ist ein Faserbündel zusammen mit einer effektiven topologischen Transformationsgruppe ${\displaystyle G,}$ sodass die folgenden zwei Bedingungen gelten:

• Für jedes ${\displaystyle b\in U_{i}\cap U_{j}}$ und ${\displaystyle i,j\in I}$ entspricht der Homöomorphismus ${\displaystyle (h_{U_{j}}\circ h_{U_{i}}^{-1})(b,\cdot )\colon F\to F}$ der Operation eines Gruppenelements in ${\displaystyle G}$
• für jedes ${\displaystyle i,j\in I}$ ist die Abbildung ${\displaystyle \tau _{j,i}\colon U_{i}\cap U_{j}\to G}$ mit ${\displaystyle \tau _{j,i}(b)=(h_{U_{j}}\circ h_{U_{i}}^{-1})(b,\cdot )}$ stetig.

Die Abbildungen ${\displaystyle \tau _{j,i}}$ heißen Koordinaten-Übergangsfunktionen (teilweise auch nur Übergangsfunktionen genannt^[16]) und ${\displaystyle G}$ heißt die Strukturgruppe des Bündels. Die Koordinaten-Überangsfunktionen haben die folgenden drei Eigenschaften:

1. ${\displaystyle \tau _{k,j}(b)\tau _{j,i}(b)=\tau _{k,i}(b)}$ für jedes ${\displaystyle i,j,k\in I}$ und jedes ${\displaystyle b\in U_{i}\cap U_{j}\cap U_{k}.}$
2. ${\displaystyle \tau _{i,i}(b)=id_{G}}$ für jedes ${\displaystyle b\in U_{i}.}$
3. ${\displaystyle \tau _{j,k}(b)=(\tau _{k,j}(b))^{-1}}$ für jedes ${\displaystyle b\in U_{j}\cap U_{k}.}$

Zwei Koordinatenbündel mit selbem Basisraum und Totalraum, gleicher Faser, Projektion und Strukturgruppe heißen äquivalent, wenn die Atlanten${\displaystyle \{(U_{i},h_{U_{i}})|i\in I\}}$ und ${\displaystyle \{(U_{j}^{\prime },h_{U_{j}^{\prime }}^{\prime })|j\in J\}}$ für zwei Indexmengen ${\displaystyle I}$ und ${\displaystyle J}$ die folgenden zwei Bedingungen erfüllen:

• Für jedes ${\displaystyle b\in U_{i}\cap U_{k}^{\prime }}$ stimmt ${\displaystyle {\tilde {\tau }}_{k,i}(b)=(h_{U_{k}^{\prime }}^{\prime }\circ h_{U_{i}}^{-1})(b,\cdot )}$ mit der Operation eines Gruppenelements überein und
• die so definierten Koordinaten-Übergangsfunktionen ${\displaystyle {\tilde {\tau }}_{k,i}\colon U_{i}\cap U_{k}^{\prime }\to G}$ sind stetig.

Ein ${\displaystyle G}$-Faserbündel ist eine Äquivalenzklasse von Koordinatenbündeln. Häufig wird ein ${\displaystyle G}$-Faserbündel auch als maximales Koordinatenbündel definiert.^[17]

Der Bündelkonstruktionssatz liefert Bedingungen, unter welchen die Existenz eines Koordinatenbündels garantiert ist:

Für jede topologische Transformationsgruppe ${\displaystyle G}$ von einem Raum ${\displaystyle F}$ und System von Übergangsfunktionen in einem Raum ${\displaystyle B}$, das heißt eine Überdeckung ${\displaystyle \{U_{i}|i\in I\}}$ und eine Menge ${\displaystyle \{\tau _{j,i}|i,j\in I\}}$ von stetigen Abbildungen mit den drei oben genannten Eigenschaften für Koordinaten-Übergangsfunktionen, existiert ein Koordinatenbündel mit Basisraum ${\displaystyle B,}$ Faser ${\displaystyle F,}$ Strukturgruppe ${\displaystyle G}$ und Übergangsfunktionen ${\displaystyle \tau _{j,i}.}$^[18]

Hauptfaserbündel

Ein ${\displaystyle G}$-Hauptfaserbündel ist ein Faserbündel ${\displaystyle \pi \colon E\to B}$ mit Faser ${\displaystyle F}$ und einer Strukturgruppe ${\displaystyle G,}$ die auf der Faser durch Linksmultiplikation operiert. Die Strukturgruppe operiert frei auf dem Totalraum durch Rechtsmultiplikation mit Bahnenraum ${\displaystyle B.}$^[19]

Eine offene Überdeckung ${\displaystyle (U_{i})_{i\in I}}$ von ${\displaystyle B}$ wird abzählbar genannt, falls eine lokal endliche Zerlegung der Eins existiert:

${\displaystyle 1=\sum _{i\in I}u_{i}}$ mit ${\displaystyle \operatorname {supp} (u_{i})\subseteq U_{i}}$ für jedes ${\displaystyle i\in I.}$

Ein ${\displaystyle G}$-Hauptfaserbündel ${\displaystyle \pi \colon E\to B}$ heißt abzählbar, falls eine abzählbare Überdeckung ${\displaystyle (U_{i})_{i\in I}}$ von ${\displaystyle B}$ existiert, sodass die eingeschränkten Bündel ${\displaystyle p_{i}=p|_{p^{-1}(U_{i})}\colon p^{-1}(U_{i})\to U_{i}}$ für jedes ${\displaystyle i\in I}$ triviale Bündel sind. Ein abzählbares ${\displaystyle G}$-Hauptfaserbündel heißt universelles Bündel, falls für jeden Raum ${\displaystyle X}$ die Abbildung ${\displaystyle \rho \colon [X,B]\to Prin_{G}(X)}$ von der Menge der Homotopieklassen von Abbildungen von ${\displaystyle X}$ nach ${\displaystyle B}$ in die Menge der Isomorphieklassen von ${\displaystyle G}$-Hauptfaserbündeln eine Bijektion ist. Bei einem universellen Bündel ${\displaystyle \pi \colon E\to B}$ wird der Basisraum klassifizierender Raum von ${\displaystyle G}$ genannt.^[20]

Hauptfaserbündel spielen eine wichtige Rolle bei der Klassifikation von Bündeln. Zudem kann jedes ${\displaystyle G}$-Faserbündel mit einem Hauptfaserbündel assoziiert werden und umgekehrt jedes Hauptfaserbündel mit einem ${\displaystyle G}$-Faserbündel.

Assoziierte Hauptfaserbündel

Für ein gegebenes ${\displaystyle G}$-Faserbündel lässt sich ein ${\displaystyle G}$-Hauptfaserbündel konstruieren. Die Existenz ist durch den Bündelkonstruktionssatz gegeben, wobei die Faser als ${\displaystyle G}$ gewählt wird und ${\displaystyle G}$ zusätzlich auf sich selbst durch Linksmultiplikation operiert. Der Basisraum und das System von Übergangsfunktionen werden identisch mit denen des ${\displaystyle G}$-Faserbündels gewählt.^[21]

Assoziierte G-Faserbündel

Für ein gegebenes ${\displaystyle G}$-Hauptfaserbündel ${\displaystyle \pi \colon E\to B}$ und einen links ${\displaystyle G}$-Raum ${\displaystyle F}$ lässt sich ein ${\displaystyle G}$-Faserbündel konstruieren:

Auf dem Produktraum ${\displaystyle E\times F}$ ist eine rechts ${\displaystyle G}$-Raum Struktur durch ${\displaystyle ((x,b),g)=(gx,g^{-1}b)}$ definiert. Das ${\displaystyle G}$-Faserbündel ist durch die Abbildung ${\displaystyle \pi _{F}\colon (E\times F)/G\to B}$ mit ${\displaystyle \pi _{F}((x,b)G)=\pi (x)}$ und der Faser ${\displaystyle F}$ gegeben.^[22]

Vektorbündel

Ein Vektorbündel vom Rang ${\displaystyle n}$ über einem Körper ${\displaystyle \mathbb {K} }$ ist ein Faserbündel ${\displaystyle V\to E\xrightarrow {\pi } B,}$ dessen Fasern die Struktur eines ${\displaystyle n}$-dimensionalen ${\displaystyle \mathbb {K} }$-Vektorraumes haben und zusätzlich jede lokale Trivialisierung ${\displaystyle \varphi \colon \pi ^{-1}(U)\to U\times V,}$ für ein ${\displaystyle U\subseteq B,}$ einen ${\displaystyle \mathbb {K} }$-linearen Isomorphismus auf den einzelnen Fasern induziert. Das bedeutet, dass die Abbildung ${\displaystyle \varphi }$ eingeschränkt auf ein ${\displaystyle x\in U}$ ein Isomorphismus ist und somit ${\displaystyle \pi ^{-1}(x)\cong \{x\}\times V}$ gilt. Häufig betrachtet man reelle oder komplexe Vektorbündel, bei denen der Körper ${\displaystyle \mathbb {K} }$ durch die reellen Zahlen ${\displaystyle \mathbb {R} }$ bzw. durch die komplexen Zahlen ${\displaystyle \mathbb {C} }$ gegeben sind.

Es gibt eine natürliche Bijektion zwischen den Isomorphieklassen von Vektorbündeln mit Rang ${\displaystyle k}$ von parakompakten Räumen ${\displaystyle B}$ und der Menge der Homotopieklassen von Abbildungen von ${\displaystyle B}$ in die Graßmann-Mannigfaltigkeit von ${\displaystyle k}$-dimensionalen Unterräumen in ${\displaystyle \mathbb {R} ^{\infty }:}$ ${\displaystyle [B,G_{n}(\mathbb {R} ^{\infty })]\cong Vect^{n}(B).}$^[23]

Beispiele

• Das Tangentialbündel der ${\displaystyle S^{n}\subseteq \mathbb {R} ^{n+1}}$ mit Totalraum ${\displaystyle E=\{(x,v)\in S^{n}\times \mathbb {R} ^{n+1}|x\perp v=0\}}$ und Projektion ${\displaystyle p\colon E\to S^{n}}$ ist ein Vektorbündel mit Fasern ${\displaystyle p^{-1}(b)\cong \mathbb {R} ^{n}}$ für jedes ${\displaystyle b\in S^{n}.}$
• Das kanonische Vektorbündel ${\displaystyle \gamma _{k}^{n}}$ mit Rang ${\displaystyle k}$ der Graßmann-Mannigfaltigkeit ${\displaystyle G_{k}(\mathbb {R} ^{n})}$ ist durch den Totalraum ${\displaystyle E=\{(V,x)\in G_{k}(\mathbb {R} ^{n})\times \mathbb {R} ^{n}|x\in V\}}$ und die Projektion ${\displaystyle \gamma _{k}^{n}\colon E\to G_{k}(\mathbb {R} ^{n})}$ gegeben.^[24]

Sphärenbündel

Ein ${\displaystyle n}$-Sphärenbündel ist ein Faserbündel ${\displaystyle \pi \colon E\to B}$ mit der ${\displaystyle n}$-Sphäre ${\displaystyle S^{n}}$ als Faser. Oft ist ein Sphärenbündel zusammen mit der orthogonalen Gruppe ${\displaystyle O(n+1)}$ als Strukturgruppe gegeben.^[25]

Ein Sphärenbündel wird orientierbar genannt, falls die Strukturgruppe durch die Drehgruppe gegeben ist.^[26]

Die Kohomologie von Sphärenbündeln kann mittels der Gysin-Sequenz berechnet werden.

Kohomologie von Faserbündeln

Die Bestimmung der Kohomologiegruppen von Faserbündeln ist deutlich schwieriger, als die Bestimmung der Homotopiegruppen. Die Homotopiegruppen sind durch eine lange exakte Sequenz gegeben, die Kohomologiegruppen haben dagegen nur unter bestimmten Voraussetzungen eine lange exakte Sequenz.

Für ein triviales Bündel ist die Beziehung der Kohomologiegruppen durch die Künneth-Formel gegeben. Für beliebige Faserbündel werden Hilfsmittel, wie Spektralsequenzen benötigt.

Der Satz von Leray-Hirsch liefert ausreichende Bedingungen an ein Faserbündel, sodass die Struktur der Kohomologiegruppen der eines trivialen Bündels sehr ähnlich ist.

Für ${\displaystyle (n-1)}$-Sphärenbündel ${\displaystyle p\colon E\to B,}$ die zusätzlich eine Orientierbarkeitsbedingung erfüllen, existiert eine lange exakte Sequenz von Kohomologiegruppen. Die Sequenz ist unter dem Namen Gysin-Sequenz bekannt:

${\displaystyle \cdots \to H^{i-n}(B;R){\xrightarrow[{}]{\smile e}}H^{i}(B;R){\xrightarrow[{}]{p^{*}}}H^{i}(E;R)\to H^{i-n+1}(B;R)\to \cdots .}$

Hierbei ist ${\displaystyle e}$ eine bestimmte Eulerklasse in ${\displaystyle H^{n}(B;R).}$^[27]

Beispiele

• Das Hopf-Bündel ${\displaystyle S^{1}\to S^{3}\to S^{2}}$ hat nicht die Kohomologiestruktur eines trivialen Bündels, da ${\displaystyle H^{*}(S^{3})\not \approx H^{*}(S^{2})\otimes H^{*}(S^{1})}$ gilt.^[28]
• Für das Faserbündel ${\displaystyle U(n-1)\hookrightarrow U(n)\to S^{2n-1}}$ gilt: ${\displaystyle H^{*}(U(n);\mathbb {Z} )\approx \Lambda _{\mathbb {Z} }[x_{1},x_{3},\cdots ,x_{2n-1}].}$^[29]

Einzelnachweise

1. ↑ Herbert Seifert: Topologie Dreidimensionaler Gefaserter Räume. Band 60. Acta Mathematica, 1933, S. 147–238, doi:10.1007/BF02398271. 
2. ↑ Hassler Whitney: Sphere-Spaces. Band 21, Nr. 7. Proceedings of the National Academy of Science of the United States of America, 12. Juni 1935, S. 464–468, doi:10.1073/pnas.21.7.464, PMC 1076627 (freier Volltext). 
3. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0.  Preface
4. ↑ Dale Husemoller: Fibre Bundles. Springer Verlag, Princeton NJ 1994, ISBN 978-0-387-94087-8.  Preface
5. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 376–377. 
6. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 379. 
7. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0, S. 3. 
8. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 377. 
9. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 377. 
10. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0, S. 4. 
11. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 377–379. 
12. ↑ Dale Husemoller: Fibre Bundles. Springer Verlag, Princeton NJ 1994, ISBN 978-0-387-94087-8, S. 11. 
13. ↑ Dale Husemoller: Fibre Bundles. Springer Verlag, Princeton NJ 1994, ISBN 978-0-387-94087-8, S. 14. 
14. ↑ Gerd Laures, Markus Szymik: Grundkurs Topologie. 2. Auflage. Springer Spektrum, Berlin / Heidelberg 2014, ISBN 978-3-662-45952-2, S. 184, doi:10.1007/978-3-662-45953-9. 
15. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0, S. 7. 
16. ↑ James F. Davis, Paul Kirk: Lecture Notes in Algebraic Topology. 1991, S. 77–80. 
17. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0, S. 6–9. 
18. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0, S. 14. 
19. ↑ James F. Davis, Paul Kirk: Lecture Notes in Algebraic Topology. 1991, S. 84. 
20. ↑ Dale Husemoller: Fibre Bundles. Springer Verlag, Princeton NJ 1994, ISBN 978-0-387-94087-8, S. 48–50. 
21. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0, S. 36. 
22. ↑ Dale Husemoller: Fibre Bundles. Springer Verlag, Princeton NJ 1994, ISBN 978-0-387-94087-8, S. 43–44. 
23. ↑ Dale Husemoller: Fibre Bundles. Springer Verlag, Princeton NJ 1994, ISBN 978-0-387-94087-8, S. 23. 
24. ↑ Dale Husemoller: Fibre Bundles. Springer Verlag, Princeton NJ 1994, ISBN 978-0-387-94087-8, S. 12–13. 
25. ↑ Edwin H. Spanier: Algebraic Topology. Springer Science & Business Media, ISBN 978-0-387-94426-5, S. 91, doi:10.1007/978-1-4684-9322-1. 
26. ↑ Norman Steenrod: The Topology of Fibre Bundles. Princeton University Press, Princeton NJ 1951, ISBN 0-691-08055-0, S. 34. 
27. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 438. 
28. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 432. 
29. ↑ Allen Hatcher: Algebraic Topology. Cambridge University Press, NY 2001, ISBN 0-521-79160-X, S. 434. 

Weblinks

• PlanetMath: Fiber Bundle
• MathWorld: Fiber Bundle