Kurs:Differentialgeometrie (Osnabrück 2023)/Vorlesung 25/kontrolle



Horizontale Schnitte

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei. Es sei eine weitere differenzierbare Mannigfaltigkeit und

eine differenzierbare Abbildung. Ein differenzierbarer Schnitt

(über ) heißt horizontal, wenn für jeden Punkt das Bild ganz im Horizontalbündel enthalten ist.

Es liegt also das kommutative Diagramm

vor. Statt von einem horizontalen Schnitt spricht man auuch von einer horizontalen Liftung. Das Konzept kann man insbesondere für Schnitte auf einer offenen Menge anwenden.



Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei.

Dann ist ein stetig differenzierbarer Schnitt auf einer offenen Menge genau dann horizontal, wenn seine vertikale Ableitung ist.

Beweis

Siehe Aufgabe 25.4.


Zu dieser Aussage gibt es eine entsprechende Variante für horizontale Schnitte längs einer Abbildung, siehe Aufgabe 25.5.


Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei. Der Zusammenhang heißt lokal integrabel, wenn es zu jedem Punkt einen auf einer offenen Umgebung definierten horizontalen Schnitt

durch gibt.

Den Zusammenhang nennt man global integrabel, wenn es zu jedem einen horizontalen Schnitt auf ganz gibt.



Lineare Zusammenhänge

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem Zusammenhang versehen sei. Der Zusammenhang heißt linear, wenn die zugehörige vertikale Ableitung

- linear ist (auf jeder offenen Menge).

Man beachte, dass dies nicht bedeutet, dass dieser Abbildung ein Bündelhomomorphismus zugrunde liegt bzw. ein -Modul-Homomorphismus vorliegt. Die Abbildung ist nicht mit der Multiplikation der Schnitte mit Funktionen verträglich, sondern lediglich mit der Addition und mit der Skalarmultiplikation mit Konstanten. Stattdessen gilt die folgende Leibnizregel.



Satz  Satz 25.5 ändern

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem linearen Zusammenhang versehen sei.

Dann erfüllt die zugehörige vertikale Ableitung

die Leibnizregel, d.h. für jeden differenzierbaren Schnitt in und jede differenzierbare Funktion (die beide auf einer offenen Menge definiert sind) gilt

Beide Seiten sind lokal in , wir können also annehmen, dass ein triviales Bündel (mit einem -Vektorraum ) ist. Es seien konstante Basisschnitte von , d.h. ist konstant gleich einem Vektor , und diese Vektoren bilden eine Basis von . Wenn die Gleichheit für diese (und beliebige ) gezeigt ist, so folgt sie allgemein. Man kann ja jeden Schnitt in eindeutig als mit Koeffizientenfunktionen schreiben. Damit gilt unter Verwendung der -Linearität der beiden Seiten und der Leibnizregel für die konstanten Schnitte (s.u.) und der Produktregel die Beziehung

Es sei also nun ein Schnitt, der konstant gleich ist. Es sei . Wegen können wir weiter annehmen, dass ist. Dann ist und wir müssen nur noch den vorderen Summanden betrachten. Der Tangentialraum von in ist gleich , und da der Nullschnitt für einen linearen Zusammenhang nach Aufgabe 25.9 horizontal ist, ist diese Zerlegung auch die Zerlegung in Horizontal- und Vertikalraum. Die vertikale Ableitung im Punkt ist die Gesamtabbildung

und da konstant ist, ist dies gleich .


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.



Es sei eine differenzierbare Mannigfaltigkeit mit abzählbarer Basis der Topologie und ein differenzierbares Vektorbündel auf .

Dann gibt es auf einen linearen Zusammenhang.

Es sei eine offene Überdeckung, auf der trivialisiert. Es gibt den trivialen Zusammenhang auf , der nach Aufgabe 25.10 linear ist. Nach Satz 22.10 gibt es zur Überdeckung eine untergeordnete Partition der Eins, , . Dann ist ein nach Aufgabe 25.16 wohldefinierter linearer Zusammenhang auf .




Christoffelsymbole für einen linearen Zusammenhang

Es sei offen und ein linearer Zusammenhang auf dem trivialen Vektorbündel . Es seien die Koordinaten auf und die Standardschnitte in . Dann nennt man die durch die Gleichungen

definierten Funktionen

die Christoffelsymbole des Zusammenhangs bezüglich und .

Die Christoffelsymbole beschreiben also die Abbildungen

bezüglich der Basisschnitte von . Die Linearität des Zusammenhangs ist für diese Definition nicht nötig, allerdings ergibt sich die Aussagekraft der Christoffelsymbole erst in Verbindung mit der Leibniz-Regel, die die Linearität voraussetzt, siehe Lemma 25.10.

Bemerkung   Bemerkung 25.8 ändern

Mit trivial auf vom Rang ist

und dem Vertikalbündel

und gegebenen Funktionen wird eine vertikale Projektion (die zur Spaltung des Tangentialbündels und damit zu einem Zusammenhang äquivalent ist) durch

gegeben. Speziell ist

Die zugehörige vertikale Ableitung

schickt

Man erhält also die definierende Eigenschaft der Christoffelsymbole zurück.



Es sei eine differenzierbare Mannigfaltigkeit und sei ein differenzierbares Vektorbündel auf , das mit einem linearen Zusammenhang versehen sei. Dann nennt man zu jedem offenen Kartengebiet mit Koordinaten (und den zugehörigen Ableitungsfeldern ) und auf dem trivialisiert mit Basisschnitten , die durch die Gleichungen

definierten Funktionen

die lokalen Christoffelsymbole des Zusammenhangs bezüglich der Trivialisierungen.



Lemma  Lemma 25.10 ändern

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel auf , das mit einem linearen Zusammenhang versehen sei.

Dann gilt lokal auf einem Kartengebiet mit Koordinaten und Ableitungsfeldern und Basisschnitten in für die zugehörigen Christoffelsymbole für stetig differenzierbare Funktionen die Beziehung

Nach Lemma 24.10 und Satz 25.5 ist



Horizontale Schnitte bei einem linearen Zusammenhang

Zu einer offenen Menge bezeichnen wir zu einem Vektorbündel mit einem linearen Zusammenhang den Raum der horizontalen Schnitte mit . Es ist also

Es handelt sich dabei um eine „sehr kleine“ Auswahl von Schnitten, wie schon von Aufgabe 25.21 her klar ist und wie auch das folgende Lemma zeigt. Beim trivialen Vektorbündel vom Rang mit dem trivialen Zusammenhang geht es einfach um die lokal konstanten Schnitte. Man spricht von lokal-konstanten Garben oder von lokalen Systemen.


Lemma  Lemma 25.11 ändern

Es sei eine differenzierbare Mannigfaltigkeit und ein differenzierbares Vektorbündel vom Rang auf , das mit einem linearen Zusammenhang versehen sei.

Dann ist für jede zusammenhängende offene Teilmenge die Menge der horizontalen Schnitte ein - Untervektorraum von der Dimension .

Es seien linear unabhängige horizontale Schnitte auf . Es sei ein weiterer differenzierbarer horizontaler Schnitt. Man kann wegen Aufgabe 25.6 (angewendet auf ) eindeutig als mit Funktionen

schreiben. Somit ist nach Satz 25.5

Auf jeder kleineren offenen Menge, die zu diffeomorph ist, kann man dies unter Verwendung von Koordinaten als

schreiben. Die bilden (über dieser offenen Menge) Basisschnitte von und daher muss sein. Also sind die konstant (dies gilt wegen zusammenhängend auch auf ) und somit ist eine -Linearkombination der .


Wenn es global (also über ) linear unabhängige horizontale Schnitte im Vektorbündel gibt, so ist das Vektorbündel trivial.

Lokal integrabel bedeutet für einen linearen Zusammenhang, dass zu jedem Punkt und lokal (in einer offenen Umgebung von ) die nach Lemma 25.11 maximal mögliche Anzahl (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.