Als Hilfsmittel für dieses Resultat bewies Rauch einen sehr viel grundlegenderen Vergleichssatz für Jacobi-Felder.
Ein Jacobi-Feld J(t) ist die Ableitung dH/ds (in s=0) einer von einem Parameter s abhängenden 1-Parameter-Familie von Geodäten γs. Die Größe des Jacobi-Felds mißt, wie schnell die Geodäten auseinanderdriften.
Wenn K die Schnittkrümmung der von γ0‘(0) und J‘(0) aufgespannten Ebene bezeichnet, dann gilt für ein normiertes Jacobi-Feld . Bei kleinerer Schnittkrümmung werden die Jacobi-Felder also größer, zumindest für kleine t.
Rauch zeigte, dass dieser Zusammenhang auch für große t gilt. Er bewies: Wenn eine Riemannsche Metrik überall kleinere Schnittkrümmung hat als eine andere, dann haben die Jacobi-Felder auf der ersten Mannigfaltigkeit überall größere Norm als die entsprechenden Jacobi-Felder auf der zweiten Mannigfaltigkeit.
Neben der schwachen Version des Sphärensatzes folgte aus dem Vergleichssatz von Rauch auch ein Vergleichssatz für Dreiecke in Mannigfaltigkeiten mit einer unteren Krümmungsschranke: die Dreiecke sind dort „dicker“ als in den Vergleichsräumen konstanter Krümmung.
Den Dreiecksvergleich bei oberen Krümmungsschranken, den Alexandrow für Flächen bewiesen hatte, verallgemeinerte Viktor Toponogow 1958 auf beliebige Dimensionen durch eine Kombination von Alexandrows eher synthetischen Argumenten mit schwierigeren die Jacobi-Gleichung verwendenden analytischen Argumenten.
Bild: https://link.springer.com/content/pdf/bfm%3A978-3-642-69828-6%2F1.pdf
Kommentare (16)