Kurs:Fundamentalgruppe und Vektorbündel (Osnabrück 2011)/Vorlesung 3/latex
\setcounter{section}{3}
Zu einem ${\mathbb K}$-Vektorbündel
\maabb {p} {E} {X
} {}
auf einem topologischen Raum $X$ und einem stetigen Weg
\maabbdisp {\gamma} {[0,1]} {X
} {}
mit
\mavergleichskette
{\vergleichskette
{ \gamma(0)
}
{ = }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und einem Punkt
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ E_x
}
{ = }{ p^{-1}(x)
}
{ }{
}
{ }{
}
}
{}{}{}
gibt es im Allgemeinen keine wohldefinierte eindeutige Liftung
\maabbdisp {\tilde{\gamma}} {[0,1]} {E
} {}
mit
\mavergleichskette
{\vergleichskette
{ \tilde{\gamma}(0)
}
{ = }{ e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Um dies sicherzustellen braucht man eine zusätzliche \anfuehrung{horizontale}{} oder \anfuehrung{parallele Struktur}{} auf $E$, die die \anfuehrung{Basisrichtungen}{} in $x$ zu Richtungen in $e$ liftet. In dieser Vorlesung besprechen wir im differentialgeometrischen Kontext, wie man Vektorbündel mit linearen Darstellungen der topologischen Fundamentalgruppe von $X$ in Zusammenhang bringen kann.
\zwischenueberschrift{Zusammenhänge auf Vektorbündeln}
Es sei $X$ eine
\zusatzklammer {reell- oder komplex-} {} {}
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und
\maabbdisp {p} {E} {X
} {}
ein Vektorbündel über $X$, das wir ebenfalls als eine differenzierbare Mannigfaltigkeit ansetzen. Die
\definitionsverweis {Tangentialabbildung}{}{}
ist eine Abbildung
\maabbdisp {Tp} {TE} {TX
} {}
bzw. eine
\definitionsverweis {Bündelabbildung}{}{}
\maabbdisp {Tp} {TE} {p^* TX
} {}
von Vektorbündeln auf $E$. Für jeden Punkt
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit Basispunkt
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ p(e)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
liegt also eine
\definitionsverweis {lineare Abbildung}{}{}
\maabbdisp {} {T_e E} { T_{x}X
} {}
vor. Diese ist natürlich surjektiv: Für eine offene Menge
\mavergleichskette
{\vergleichskette
{ U
}
{ \subseteq }{ M
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
über der $E$ trivialisiert, also die Gestalt
\mavergleichskette
{\vergleichskette
{ E {{|}}_U
}
{ \cong }{ U \times W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit einem ${\mathbb K}$-Vektorraum $W$ hat, ist
\mavergleichskettedisp
{\vergleichskette
{ T { \left( E {{|}}_U \right) }
}
{ =} { T(U \times W )
}
{ =} { T U \times T W
}
{ =} { TU \times W \times W
}
{ } {
}
}
{}{}{,}
und die Tangentialabbildung ist dabei die Projektion auf $TU$.
Das Kernbündel des surjektiven Bündelhomomorphismus
\maabbdisp {} {TE} {p^*TX
} {}
heißt \stichwort {Vertikalbündel} {,} das wir mit $V$ bezeichnen. Es liegt also eine kurze exakte Sequenz
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, V \, \stackrel{ }{ \longrightarrow} \, TE \, \stackrel{ }{\longrightarrow} \, p^* TX \,\stackrel{ } {\longrightarrow} \, 0} { . }
Dabei hat man eine
\definitionsverweis {Bündelisomorphie}{}{}
\mavergleichskette
{\vergleichskette
{ V \cong p^*E
}
{ = }{ E \oplus E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
wie ebenfalls aus der lokalen Beschreibung folgt.
Wenn $E$ das triviale Bündel ist, also
\mavergleichskette
{\vergleichskette
{ E
}
{ = }{ X \times {\mathbb K}^r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
so gibt es eine direkte Zerlegung
\mavergleichskette
{\vergleichskette
{ TE
}
{ = }{ V \oplus p^* TX
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Für jeden Punkt
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
repräsentieren dann die Tangentialvektoren
\mavergleichskette
{\vergleichskette
{ t
}
{ \in }{ V
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die vertikalen Richtungen und
\mavergleichskette
{\vergleichskette
{ t
}
{ \in }{ p^* T_xX
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die \anfuehrung{horizontalen Richtungen}{.} Für jedes Vektorbündel kann man lokal mit Hilfe von Trivialisierungen den Tangentialraum
\mathl{T_eE}{} in die direkte Summe aus vertikalem Raum und horizontalem Raum zerlegen. Allerdings hängen die horizontalen Unterräume wesentlich von der gewählten Trivialisierung ab und lassen sich nicht ohne Weiteres
\zusatzklammer {im Gegensatz zu den vertikalen Unterräumen, die zusammen das Vertikalbündel bilden} {} {}
zu einem Unterbündel zusammenfassen. Die Existenz eines solchen Bündels wird durch den Begriff des Zusammenhangs beschrieben.
\inputdefinition
{}
{
Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{}
auf $X$. Unter einem
\definitionswort {Zusammenhang}{}
auf $E$ versteht man eine direkte Summenzerlegung des
\definitionsverweis {Tangentialbündels}{}{}
\mavergleichskette
{\vergleichskette
{ TE
}
{ = }{ V \oplus H
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in zwei
\definitionsverweis {Untervektorbündel}{}{}
\mathkor {} {V} {und} {H} {,}
wobei
\mavergleichskette
{\vergleichskette
{ V
}
{ \subseteq }{ TE
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das
\definitionsverweis {Vertikalbündel}{}{}
ist. Das Unterbündel
\mavergleichskette
{\vergleichskette
{ H
}
{ \subseteq }{ TE
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
nennt man das
\definitionswort {Horizontalbündel}{.}
}
Gemäß dieser Definition ist also ein Zusammenhang nichts anderes als ein zum Vertikalbündel komplementäres Unterbündel des Tangentialbündels. Es gibt einige inhaltlich äquivalente Beschreibungen eines Zusammenhangs. Ein Zusammenhang ist äquivalent zu einem Bündelhomomorphismus
\maabbdisp {\pi_V} {TE} {V
} {}
mit
\mavergleichskettedisp
{\vergleichskette
{ \pi_V \circ \iota
}
{ =} {
\operatorname{Id}_{ V }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
wobei $\iota$ die Einbettung von $V$ in $TE$ bezeichne. Das horizontale Bündel ist dann der Kern von $\pi_V$, und umgekehrt liefert die Summenzerlegung eine Projektion auf die beiden Summanden.
\inputdefinition
{}
{
Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{}
auf $X$, das mit einem
\definitionsverweis {Zusammenhang}{}{}
versehen sei. Es sei $Z$ eine weitere
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und
\maabbdisp {\psi} {Z} {X
} {}
eine
\definitionsverweis {differenzierbare Abbildung}{}{.}
Ein
\definitionsverweis {differenzierbarer Schnitt}{}{}
\maabbdisp {s} {Z} {E
} {}
\zusatzklammer {über $\psi$} {} {}
heißt
\definitionswort {horizontal}{,}
wenn für jeden Punkt
\mavergleichskette
{\vergleichskette
{ z
}
{ \in }{ Z
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
das Bild
\mathl{T(s)(T_zZ)}{} ganz im Horizontalbündel
\mavergleichskette
{\vergleichskette
{ H_{s(z)}
}
{ \subseteq }{ T_{s(z)}E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
enthalten ist.
}
\inputdefinition
{}
{
Es sei $X$ eine \definitionsverweis {differenzierbare Mannigfaltigkeit}{}{} und $E$ ein \zusatzklammer {reelles oder komplexes} {} {} \definitionsverweis {differenzierbares Vektorbündel}{}{} auf $X$, das mit einem \definitionsverweis {Zusammenhang}{}{} versehen sei. Unter der \definitionswort {vertikalen Ableitung}{} $\nabla$ versteht man die Abbildung \maabbeledisp {\nabla} {C^1(E)} { C^0(E \otimes T^* X ) } {s} { \nabla(s) = \pi_V \circ T(s) } {.}
}
Zu einem differenzierbaren Schnitt $s$ in $E$
\zusatzklammer {über $X$ oder einer beliebigen offenen Teilmenge $U$} {} {} wird also die Abbildung
\mathdisp {TX \stackrel{T(s)}{ \longrightarrow } TE \stackrel{\pi_V}{\longrightarrow} V \cong p^*E \longrightarrow E} { }
zugeordnet, wobei wir
\mavergleichskette
{\vergleichskette
{ \operatorname{Hom}(TX,E)
}
{ \cong }{ E \otimes T^*X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
auffassen.
Wenn zusätzlich ein
\definitionsverweis {Vektorfeld}{}{}
$F$ auf $X$, also ein Schnitt
\maabb {} {X} {TX
} {}
im
\definitionsverweis {Tangentialbündel}{}{}
gegeben ist, so erhält man die Abbildung
\maabbeledisp {\nabla_F} {C^1(E)} {C^0(E)
} {s } {\nabla_F(s) = \nabla (s) \circ F
} {,}
die man die \stichwort {vertikale Ableitung} {} in Richtung $F$ nennt. Man beachte, dass dabei die Abhängigkeit vom Vektorfeld $F$ nur punktweise ist, die Abhängigkeit von $s$ aber infinitesimal ist, da die Tangentialabbildung
\mathl{T(s)}{} eingeht.
\inputdefinition
{}
{
Es sei $X$ eine \definitionsverweis {differenzierbare Mannigfaltigkeit}{}{} und $E$ ein \zusatzklammer {reelles oder komplexes} {} {} \definitionsverweis {differenzierbares Vektorbündel}{}{} auf $X$, das mit einem \definitionsverweis {Zusammenhang}{}{} versehen sei. Der Zusammenhang heißt \definitionswort {linear}{,} wenn die zugehörige \definitionsverweis {vertikale Ableitung}{}{} \maabbeledisp {\nabla} {C^1(E)} { C^0(E \otimes T^* X ) } {s} { \nabla(s) } {,} $\R$-\definitionsverweis {linear}{}{} ist \zusatzklammer {auf jeder offenen Menge} {} {.}
}
Man beachte, dass dies nicht bedeutet, dass dieser Abbildung ein Bündelhomomorphismus zugrunde liegt bzw. ein ${\mathcal O}_X$-Modul-Homomorphismus vorliegt. Die Abbildung ist nicht mit der Multiplikation der Schnitte mit Funktionen verträglich, sondern lediglich mit der Addition und Skalarmultiplikation mit Konstanten. Stattdessen gilt die folgende \stichwort {Leibnizregel} {.}
\inputfaktbeweis
{Mannigfaltigkeit/Vektorbündel/K/Linearer Zusammenhang/Leibnizregel/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{} auf $X$, das mit einem
\definitionsverweis {linearen Zusammenhang}{}{}
versehen sei.}
\faktfolgerung {Dann erfüllt die zugehörige
\definitionsverweis {vertikale Ableitung}{}{}
\maabbeledisp {\nabla} {C^1(E)} { C^0(E \otimes T^* X )
} {s} { \nabla(s)
} {,}
die Leibnizregel, d.h. für jeden
\definitionsverweis {differenzierbaren Schnitt}{}{}
$s$ in $E$ und jede
\definitionsverweis {differenzierbare Funktion}{}{}
$f$
\zusatzklammer {die beide auf einer offenen Menge \mathlk{U \subseteq X}{} definiert sind} {} {}
gilt
\mavergleichskettedisp
{\vergleichskette
{ \nabla (fs)
}
{ =} { s \otimes df + f \nabla (s)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Beide Seiten sind lokal in $X$, wir können also annehmen, dass
\mavergleichskette
{\vergleichskette
{ E
}
{ = }{ X \times W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein triviales Bündel
\zusatzklammer {mit einem ${\mathbb K}$-Vektorraum $W$} {} {}
ist. Es seien
\mathl{s_1 , \ldots , s_r}{} konstante Basisschnitte von $E$, d.h. $s_i$ ist konstant gleich einem Vektor
\mavergleichskette
{\vergleichskette
{ w_i
}
{ \in }{W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
und diese Vektoren bilden eine Basis von $W$. Wenn die Gleichheit für diese $s_i$
\zusatzklammer {und beliebige $f$} {} {}
gezeigt ist, so folgt sie allgemein. Man kann jeden Schnitt $s$ in $E$ eindeutig als
\mavergleichskette
{\vergleichskette
{s
}
{ = }{ \sum_{i = 1}^r g_is_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit Koeffizientenfunktionen $g_i$ schreiben. Damit gilt unter Verwendung der ${\mathbb K}$-Linearität der beiden Seiten und der Leibnizregel für die konstanten Schnitte die Beziehung
\mavergleichskettealign
{\vergleichskettealign
{ \nabla (fs)
}
{ =} { \nabla { \left( f \sum_{i = 1}^r g_is_i \right) }
}
{ =} { \nabla { \left( \sum_{i = 1}^r (f g_i) s_i \right) }
}
{ =} { \sum_{i = 1}^r \nabla ( (f g_i) s_i )
}
{ =} { \sum_{i = 1}^r { \left( s_i \otimes d(fg_i) + f g_i \nabla s_i \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} { \sum_{i = 1}^r s_i \otimes { \left( g_i df + fdg_i \right) } + \sum_{i = 1}^r f g_i \nabla s_i
}
{ =} { \sum_{i = 1}^r { \left( g_i s_i \otimes df \right) } + \sum_{i = 1}^r { \left( s_i \otimes f dg_i + f g_i \nabla s_i \right) }
}
{ =} { { \left( \sum_{i = 1}^r g_i s_i \right) } \otimes df + f \sum_{i = 1}^r { \left( s_i \otimes dg_i + g_i \nabla s_i \right) }
}
{ =} { s\otimes df + f \sum_{i = 1}^r \nabla { \left( g_i s_i \right) }
}
}
{
\vergleichskettefortsetzungalign
{ =} { s\otimes df + f \nabla s
}
{ } {}
{ } {}
{ } {}
}{.}
Es sei also nun $s$ ein Schnitt, der konstant gleich $w$ ist. Es sei
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Wegen
\mavergleichskette
{\vergleichskette
{ \nabla(fs)
}
{ = }{ \nabla ((f -f(x)) s ) + f(x) \nabla s
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
können wir weiter annehmen, dass
\mavergleichskette
{\vergleichskette
{ f(x)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist. Dann ist
\mavergleichskette
{\vergleichskette
{ (f \nabla s)(x)
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und wir müssen nur noch den vorderen Summanden betrachten. Der Tangentialraum von
\mavergleichskette
{\vergleichskette
{ E
}
{ = }{ X \times W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in
\mathl{(x,0)}{} ist gleich
\mathl{(T_x X \times 0) \oplus (0 \times W)}{,} und da der Nullschnitt horizontal ist, ist diese Zerlegung auch die Zerlegung in Horizontal- und Vertikalraum. Die vertikale Ableitung
\mathl{\nabla (fs)}{} im Punkt $x$ ist die Gesamtabbildung
\mathdisp {T_x X \stackrel{T(fs)}{ \longrightarrow} T_{(x,0)} (X \times W) \stackrel{\pi }{ \longrightarrow} W} { , }
und da $s$ konstant ist, ist dies gleich
\mathl{s \otimes df}{.}
Man kann umgekehrt durch eine Ableitungsvorschrift, die die Leibnizregel erfüllt, einen linearen Zusammenhang angeben. Ein solcher Ableitungsformalismus und eine lineare Summenzerlegung des Tangentialbündels des Vektorbündels sind also im Wesentlichen äquivalente Konzepte.
\inputbeispiel{}
{
Auf dem trivialen Bündel
\maabbdisp {p} {X \times W = W_X } {X
} {}
ergibt sich die kurze exakte Sequenz
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, p^*(X \times W) = X \times W \times W \, \stackrel{ }{ \longrightarrow} \, p^* T(X \times W ) = TX \times W \times W \, \stackrel{ }{\longrightarrow} \, p^* TX = TX \times W \,\stackrel{ } {\longrightarrow} \, 0} { }
von Vektorbündeln über
\mathl{X \times W}{}
\zusatzklammer {aufgeschrieben sind die Totalräume} {} {.}
Die Produkte werden dabei absolut genommen, wobei links die Identifizierung
\mavergleichskette
{\vergleichskette
{ (X \times W) \times_X (X \times W)
}
{ = }{ X \times W \times W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und rechts die Identifizierung
\mavergleichskette
{\vergleichskette
{ TX \times_X (X \times W)
}
{ = }{ TX \times W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
vorgenommen wurde. Zu einem Punkt
\mavergleichskette
{\vergleichskette
{ (x,w)
}
{ \in }{ X \times W
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gehört die exakte Sequenz der Fasern, also
\mathdisp {0 \, \stackrel{ }{\longrightarrow} \, W \, \stackrel{ }{ \longrightarrow} \, T_xX \times W \, \stackrel{ }{\longrightarrow} \, T_xX \,\stackrel{ } {\longrightarrow} \, 0} { . }
Die zur trivialen Spaltung gehörige vertikale Ableitung ist einfach die Standardableitung: einem Schnitt $s$ in $W$, der bezüglich einer Basis durch die $r$ Komponentenfunktionen
\mathl{(f_1 , \ldots , f_r)}{} repräsentiert wird, wird die Ableitung
\mavergleichskettedisp
{\vergleichskette
{ \nabla_{\rm st} (s)
}
{ =} { (df_1 , \ldots , df_r)
}
{ \in} { C^0( W \otimes T^*X)
}
{ } {
}
{ } {
}
}
{}{}{}
zugeordnet, also einfach das Tupel der einzelnen Differentiale zu den Komponentenfunktionen.
Es gibt aber auch andere Spaltungen der Sequenz und damit auch andere vertikale Ableitungen. Eine
\mathl{r\times r}{-}Matrix $M$, deren Einträge
$1$-\definitionsverweis {Differentialformen}{}{}
\mathl{\omega_{ij}}{} sind, liefert die vertikale Ableitung
\mathdisp {\nabla (f_1 , \ldots , f_r) = (df_1 + \sum_{j =1}^r f_j \otimes \omega_{1j} , \ldots , df_r + \sum_{j =1}^r f_j \otimes \omega_{rj} )} { . }
}
Zu einer offenen Menge
\mavergleichskette
{\vergleichskette
{ U
}
{ \subseteq }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
bezeichnen wir zu einem Vektorbündel $E$ mit einem linearen Zusammenhang $\nabla$ den Raum der horizontalen Schnitte mit
\mathl{H(\nabla,U)}{.} Es ist also
\mavergleichskettedisp
{\vergleichskette
{ H(\nabla,U)
}
{ =} { { \left\{ s \in C^1(U,E) \mid \nabla(s) =0 \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
Es handelt sich dabei um eine \anfuehrung{sehr kleine}{} Auswahl von Schnitten, wie das folgende Lemma zeigt und wie schon bei einem trivialen Vektorbündel
\zusatzklammer {auch vom Rang $1$} {} {}
deutlich wird. Man spricht von lokal-konstanten Garben oder von lokalen Systemen.
\inputfaktbeweis
{Mannigfaltigkeit/Vektorbündel/K/Linearer Zusammenhang/Horizontale Schnitte/Untervektorraum/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{} vom Rang $r$ auf $X$, das mit einem
\definitionsverweis {linearen Zusammenhang}{}{}
versehen sei.}
\faktfolgerung {Dann ist für jede zusammenhängende offene Teilmenge
\mavergleichskette
{\vergleichskette
{ U
}
{ \subseteq }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
die Menge der
\definitionsverweis {horizontalen Schnitte}{}{}
\mathl{H(\nabla,U)}{} ein
${\mathbb K}$-\definitionsverweis {Untervektorraum}{}{}
von
\mathl{C^1(U,E)}{} der Dimension
\mathl{\leq r}{.}}
\faktzusatz {}
\faktzusatz {}
}
{
Es seien
\mathl{s_1 , \ldots , s_r}{} linear unabhängige horizontale Schnitte auf $U$. Es sei $s$ ein weiterer differenzierbarer horizontaler Schnitt. Man kann $s$ eindeutig als
\mavergleichskette
{\vergleichskette
{ s
}
{ = }{ \sum_{i = 1}^r g_is_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
mit Funktionen
\maabbdisp {g_i} { U} { {\mathbb K}
} {}
schreiben. Somit ist nach
Fakt *****
\mavergleichskettedisp
{\vergleichskette
{0
}
{ =} { \nabla s
}
{ =} { \nabla { \left( \sum_{i = 1}^r g_is_i \right) }
}
{ =} { \sum_{i = 1}^r \nabla { \left( g_is_i \right) }
}
{ =} { \sum_{i = 1}^r s_i \otimes d g_i
}
}
{}{}{.}
Auf jeder kleineren offenen Menge, die zu
\mavergleichskette
{\vergleichskette
{ U'
}
{ \subseteq }{ {\mathbb K}^n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
diffeomorph ist, kann man dies unter Verwendung von Koordinaten
\mathl{x_1 , \ldots , x_n}{} als
\mathl{\sum_{i = 1}^r { \frac{ \partial g_i }{ \partial x_j } } { \left( s_i \otimes d x_j \right) }}{} schreiben. Die
\mathl{s_i \otimes dx_j}{} bilden
\zusatzklammer {über dieser offenen Menge} {} {}
eine Basis von
\mathl{E {{|}}_{U'} \otimes T U'}{} und daher muss
\mavergleichskette
{\vergleichskette
{ { \frac{ \partial g_i }{ \partial x_j } }
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
sein. Also sind die $g_i$ konstant
\zusatzklammer {dies gilt wegen zusammenhängend auch auf $U$} {} {}
und somit ist $s$ eine ${\mathbb K}$-Linearkombination der $s_i$.
Wenn es global
\zusatzklammer {also über $X$} {} {}
$r$ linear unabhängige horizontale Schnitte gibt, so ist das Vektorbündel trivial.
\zwischenueberschrift{Liftungseigenschaften von Bündeln mit Zusammenhängen}
Ein Zusammenhang auf einem Vektorbündel
\maabb {p} {E} {X
} {}
erlaubt es unter Umständen, ähnlich wie bei Überlagerungen, zu einer gegebenen Abbildung
\maabbdisp {\psi} {Z} {X
} {}
in die Basismannigfaltigkeit $X$ eine eindeutige horizontale Liftung
\maabbdisp {\tilde{\psi}} {Z} {E
} {}
anzugeben, sobald der Wert an einem einzigen Punkt vorgegeben ist. Dies gilt insbesondere für Intervalle
\mathl{Z=I}{} bzw.
\mavergleichskette
{\vergleichskette
{ Z
}
{ = }{ S^1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
also für geschlossene Wege.
{Mannigfaltigkeit/Vektorbündel/K/Zusammenhang/Weg/Teilliftbarkeit/Fakt}
{Lemma}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{}
auf $X$, das mit einem
\definitionsverweis {Zusammenhang}{}{}
versehen sei. Es sei $I$ ein Intervall,
\maabbdisp {\gamma} {I} {X
} {}
ein
\definitionsverweis {differenzierbarer Weg}{}{,}
\mavergleichskette
{\vergleichskette
{ t
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt und
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ E_{\gamma(t)}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt in der Faser über
\mathl{\gamma(t)}{.}}
\faktfolgerung {Dann gibt es ein offenes Teilintervall
\mathbed {J \subseteq I} {}
{t \in J} {}
{} {} {} {,}
und eine
\definitionsverweis {horizontale Liftung}{}{}
\maabbdisp {\tilde{\gamma}} {J} {E
} {}
mit
\mavergleichskette
{\vergleichskette
{ \tilde{\gamma}(t)
}
{ = }{ e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktzusatz {}
\faktzusatz {}
{Mannigfaltigkeit/Vektorbündel/K/Zusammenhang/Weg/Teilliftbarkeit/Fakt/Beweisverweis }
Diese Aussage ist in zweierlei Hinsicht unbefriedigend. Einerseits ist die Liftung nicht auf dem gesamten Intervall definiert, es liegt ein \anfuehrung{Entweichungsphänomen}{} vor
\zusatzklammer {der Zusammenhang muss nicht \anfuehrung{vollständig}{} sein; die Entweichung hängt direkt mit dem entsprechenden Phänomen für die Lösungen von gewöhnlichen Differentialgleichungen zusammen} {} {.}
Zweitens ist bei einem Weg \zusatzgs {vorausgesetzt, die Liftung existiert auf dem ganzen Intervall} {} der Endpunkt der Liftung abhängig von dem Weg, nicht nur von seiner Homotopieklasse. Wenn man durch einen Zusammenhang auf einem Vektorbündel eine lineare Darstellung der Fundamentalgruppe der Basismannigfaltigkeit gewinnen möchte, so darf die Liftung aber nur von der Homotopieklasse abhängen. Dies erfordert, dass in einem infinitesimalen Sinn die Liftung eines \anfuehrung{kleinen}{} geschlossenen Weges zum Startpunkt zurückkehrt. Diese Eigenschaft wird durch den Begriff des lokal integrablen Zusammenhangs präzisiert. Man könnte auch von einer lokalen Trivialität des Zusammenhangs sprechen. Zwar ist jedes Vektorbündel lokal trivial, Entsprechendes muss aber nicht für einen Zusammenhang gelten \zusatzklammer {es handelt sich dabei um ein \anfuehrung{Krümmungsphänomen}{} des Zusammenhangs} {} {.}
\inputdefinition
{}
{
Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{}
auf $X$, das mit einem
\definitionsverweis {Zusammenhang}{}{}
versehen sei. Der Zusammenhang heißt
\definitionswort {lokal integrabel}{,}
wenn es zu jedem Punkt
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ E
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
einen auf einer offenen Umgebung
\mavergleichskette
{\vergleichskette
{ p(e)
}
{ \in }{ U
}
{ \subseteq }{ X
}
{ }{
}
{ }{
}
}
{}{}{}
definierten
\definitionsverweis {horizontalen Schnitt}{}{}
\maabbdisp {s} {U} {E {{|}}_U
} {}
durch $e$ gibt.
}
Dies bedeutet, dass zu jedem Punkt
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
und
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ E_x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
lokal
\zusatzklammer {in einer offenen Umgebung von $x$} {} {}
die nach
Fakt *****
maximal mögliche Anzahl
\zusatzklammer {die durch den Rang des Bündels festgelegt ist} {} {} von linear unabhängigen horizontalen Schnitten angenommen wird. Die lokale Integrabilität ist bei einer eindimensionalen Basismannigfaltigkeit stets erfüllt.
{Mannigfaltigkeit/Vektorbündel/K/Linearer Zusammenhang/Fasertransport ist linear/Lokal integrabel/Fakt}
{Satz}
{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{} auf $X$, das mit einem
\definitionsverweis {linearen Zusammenhang}{}{}
versehen sei. Es sei $I$ ein Intervall,
\maabbdisp {\gamma} {I} {X
} {}
ein
\definitionsverweis {differenzierbarer Weg}{}{,}
\mavergleichskette
{\vergleichskette
{ t
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt und
\mavergleichskette
{\vergleichskette
{ e
}
{ \in }{ E_{\gamma(t)}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt in der Faser über
\mathl{\gamma(t)}{.}}
\faktfolgerung {Dann gelten folgende Aussagen.
\aufzaehlungdrei{Es gibt eine
\definitionsverweis {horizontale Liftung}{}{}
\maabbdisp {\tilde{\gamma}_e=\tilde{\gamma}} {I} {E
} {}
mit
\mavergleichskette
{\vergleichskette
{ \tilde{\gamma}(t)
}
{ = }{ e
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{Für zwei Punkte
\mavergleichskette
{\vergleichskette
{ t_0,t_1
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ist die Abbildung
\maabbeledisp {} { E_{\gamma(t_0)} } { E_{\gamma(t_1)}
} {e} { \tilde{\gamma}_e(t_1)
} {,}
\definitionsverweis {linear}{}{.}
}{Es sei $\nabla$
\definitionsverweis {lokal integrabel}{}{.}
Dann hängt die in (2) angegebene Abbildung nur von der
\definitionsverweis {Homotopieklasse}{}{}
von $\gamma$ ab.
}}
\faktzusatz {}
\faktzusatz {}
{Mannigfaltigkeit/Vektorbündel/K/Linearer Zusammenhang/Fasertransport ist linear/Lokal integrabel/Fakt/Beweisverweis }
Die Liftung eines Weges ist also stets auf dem ganzen Intervall definiert. Die in (2) angegebene Abbildung nennt man \stichwort {Paralleltransport} {} oder \stichwort {horizontaler Fasertransport} {.}
\inputfakt{Mannigfaltigkeit/Vektorbündel/K/Zusammenhang/Linear und integrabel/Darstellung der Fundamentalgruppe/Fakt}{Satz}{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und $E$ ein
\zusatzklammer {reelles oder komplexes} {} {}
\definitionsverweis {differenzierbares Vektorbündel}{}{} auf $X$, das mit einem
\definitionsverweis {linearen Zusammenhang}{}{}
versehen sei, der
\definitionsverweis {lokal integrabel}{}{}
sei. Es sei
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt mit der Faser
\mavergleichskette
{\vergleichskette
{ E_x
}
{ \cong }{ {\mathbb K}^r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann definiert der horizontale Fasertransport einen natürlichen
Anti-Gruppenhomomorphismus
\maabbeledisp {} { \pi_1(X,x)} { \operatorname{GL}_{ } { \left( E_x \right) } \cong \operatorname{GL}_{ r } \! { \left( {\mathbb K} \right) }
} { \gamma} { (e \mapsto \tilde{\gamma}_e (1))
} {.}}
\faktzusatz {}
\faktzusatz {}
}
Diese Abbildung \zusatzklammer {bzw. die zugehörige Operation der Fundamentalgruppe auf der Faser} {} {} heißt auch die \stichwort {Monodromie} {.}
\inputfakt{Zusammenhängende Mannigfaltigkeit/Korrespondenz/Linear lokal integrabler Zusammenhang/Operation der Fundamentalgruppe/Fakt}{Satz}{}
{
\faktsituation {Es sei $X$ eine
\definitionsverweis {zusammenhängende}{}{} \definitionsverweis {differenzierbare Mannigfaltigkeit}{}{}
und
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
ein Punkt. Es sei
\mavergleichskette
{\vergleichskette
{ r
}
{ \in }{ \N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktfolgerung {Dann entsprechen sich die
\zusatzklammer {Isomorphieklassen von} {} {}
\mathl{(E, \nabla)}{,} wobei $E$ ein
differenzierbares Vektorbündel
vom
\definitionsverweis {Rang}{}{}
$r$ über $X$ und $\nabla$ ein
\definitionsverweis {linearer}{}{}
lokal integrabler Zusammenhang
auf $E$ ist, und die
\zusatzklammer {Isomorphieklassen von} {} {}
Rechtsoperationen
der
\definitionsverweis {Fundamentalgruppe}{}{}
\mathl{\pi_1(X,x)}{} auf
\mathl{{\mathbb K}^r}{.}}
\faktzusatz {}
\faktzusatz {}
}
Auf einer einfach zusammenhängenden Mannigfaltigkeit gibt es nur auf dem trivialen Vektorbündel einen \zusatzklammer {bis auf Isomorphie eindeutigen} {} {} linearen lokal integrablen Zusammenhang. Es gibt aber im Allgemeinen auf einer einfach zusammenhängenden Mannigfaltigkeit auch nichttriviale Vektorbündel \zusatzklammer {man denke an den projektiven Raum} {} {.} Umgekehrt kann es auf einem trivialen Vektorbündel über einem nicht einfach zusammenhängenden Grundraum nicht isomorphe lokal integrable Zusammenhänge geben.