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



Krümmung

Es seien und zweifach stetig differenzierbare Vektorfelder auf einer differenzierbaren Mannigfaltigkeit und sei ein linearer Zusammenhang auf einem Vektorbündel über . Es ist

die vertikale Ableitung. Auf das Ergebnis kann man wiederum die vertikale Ableitung in Richtung anwenden und erhält den stetigen Schnitt . Wenn alle Objekte sind, muss man sich über die Differenzierbarkeitsgrade keine Gedanken machen. Hier betrachten wir den Ausdruck

der aus (hinreichend differenzierbaren) Schnitten in wieder einen Schnitt in produziert. Dabei ist die Lie-Klammer von Vektorfeldern.


Es sei eine zweifach stetige differenzierbare Mannigfaltigkeit und sei ein zweifach stetig differenzierbares Vektorbündel über mit einem linearen Zusammenhang . Dann nennt man zu differenzierbaren Vektorfeldern und auf die Abbildung

den Krümmungsoperator zu und . Er wird mit bezeichnet.



Lemma  Lemma 28.2 ändern

Es sei offen und ein linearer Zusammenhang auf dem trivialen Vektorbündel . Es seien , die Standardvektorfelder und , die Standardschnitte in .

Dann gilt für den Krümmungsoperator

mit

wobei die die lokalen Christoffelsymbole des Zusammenhangs bezeichnen.

Es ist

da ja die partiellen Ableitungen kommutieren und daher ihre Lie-Klammer gleich ist. Für einen Standardschnitt ist daher unter Verwendung von Lemma 25.10



Es sei eine offene Menge und sei ein linearer Zusammenhang auf dem trivialen Vektorbündel vom Rang mit den Christoffelsymbolen , . Dann gelten folgende Aussagen für den Krümmungsoperator zu den Standardvektorfeldern .

  1. Es ist
  2. Genau dann ist für alle , wenn die - Differentialform geschlossen ist.
  1. Da der Rang des Bündels gleich ist, schreiben wir und entsprechend , die Aussage ist als

    mit dem konstanten Einheitsschnitt zu verstehen. Nach der expliziten Beschreibung in Lemma 28.2 ist

  2. Dies folgt aus (1) und aus Aufgabe 20.8.



Lemma  Lemma 28.4 ändern

Es sei eine zweifach stetige differenzierbare Mannigfaltigkeit und sei ein zweifach stetig differenzierbares Vektorbündel über mit einem linearen Zusammenhang . Dann erfüllt der Krümmungsoperator die folgenden Eigenschaften.

  1. Es ist
  2. ist additiv in beiden Komponenten.
  3. Für eine differenzierbare Funktion ist

Die Eigenschaften sind lokal in der Mannigfaltigkeit, man kann sie also auf einer offenen Überdeckung nachweisen, wobei die offenen Teilmengen diffeomorph zu offenen Mengen im sind und worauf das Vektorbündel trivial ist. Somit folgt (1) aus Lemma 28.2. (2) folgt aus Lemma 24.10 und aus Lemma 11.8. (3) Wir betrachten die lokale Situation mit den Vektorfeldern und . Es ist

Nach Lemma 11.8 ist

Somit ist für einen Schnitt unter Verwendung von Satz 25.5

Wegen (1) und (2) folgt daraus die Aussage.



Es sei eine eindimensionale - differenzierbare Mannigfaltigkeit und sei ein zweifach stetig differenzierbares Vektorbündel über mit einem linearen Zusammenhang .

Dann ist der Krümmungsoperator für beliebige Vektorfelder trivial.

Die Aussage ist lokal, daher können wir direkt ein offenes Intervall und , mit dem Standardvektorfeld ansetzen. Nach Lemma 28.4  (3) ist

wegen .



Korollar  Korollar 28.6 ändern

Es sei eine - differenzierbare Mannigfaltigkeit und das triviale Vektorbündel mit dem trivialen Zusammenhang.

Dann ist für beliebige Vektorfelder der Krümmungsoperator trivial.

Die Aussage ist lokal, wir können also von offen ausgehen. Nach Lemma 28.4  (3) können wir weiter auf den Fall reduzieren, dass die Vektorfelder Standardvektorfelder sind. Nach Aufgabe 25.11 sind die Christoffelsymbole zum trivialen Zusammenhang trivial, also folgt die Aussage aus Lemma 28.2.



Der Satz von Frobenius

Den folgenden Satz können wir nicht vollständig beweisen. Man beachte, dass man es bei (lokal) gegebenen Basisschnitten den Christoffelsymbolen nicht ansieht, ob bezüglich anderen Basisschnitten die Christoffelsymbole verschwinden. Dies wird eben durch das verschwinden der Krümmung charakterisiert.


Es sei eine differenzierbare Mannigfaltigkeit und

ein differenzierbares Vektorbündel, das mit einem linearen Zusammenhang versehen sei. Dann sind folgende Aussagen äquivalent.

  1. Der Zusammenhang ist lokal integrabel.
  2. Der Zusammenhang ist lokal bezüglich geeigneter Basisschnitte isomorph zum trivialen Zusammenhang.
  3. Für jeden Punkt gibt es eine offene Kartenumgebung derart, dass trivial ist und dass die zugehörigen Christoffelsymbole die Nullfunktionen sind.
  4. Der Krümmungsoperator ist für beliebige Vektorfelder trivial.

Alle Aussagen sind lokal, man kann also direkt von einer offenen Menge und dem trivialen Vektorbündel ausgehen. Sei (1) erfüllt. Dann kann man weiter annehmen, dass auf eine Familie von linear unabhängigen horizontalen Schnitten gegeben ist. Nach Aufgabe 25.6 und Aufgabe 25.7 kann man dann den Zusammenhang lokal trivialisieren. Dies ergibt (2). Die Äquivalenz von (2) und (3) beruht auf Aufgabe 25.11 und auf Bemerkung 25.8. Wenn die Christoffelsymbole trivial sind, so sind die Standardschnitte horizontal und ergeben lokal horizontale Basisschnitte. Insgesamt sind also die ersten drei Formulierungen äquivalent. Wenn (2) gilt, so kann man lokal Korollar 28.6 anwenden und erhält, dass der Krümmungsoperator trivial ist.

Die Richtung von (4) nach (1) ist deutlich schwieriger.


Für Spezialfälle der Richtung von (4) nach (1) siehe Aufgabe 28.4 und Aufgabe 28.5.