Satz von Synge

Aus testwiki
Version vom 5. April 2023, 18:32 Uhr von imported>Aka (Weblinks: https)
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)
Zur Navigation springen Zur Suche springen

Der Satz von Synge ist ein nach John Lighton Synge benannter Lehrsatz aus dem mathematischen Gebiet der Differentialgeometrie. Er besagt, dass jede gerade-dimensionale, orientierbare Mannigfaltigkeit positiver Schnittkrümmung einfach zusammenhängend sein muss.

Satz von Synge

π1M=0.
  • Für jede nicht-orientierbare Mannigfaltigkeit M gerader Dimension, die eine Riemannsche Metrik positiver Schnittkrümmung Kδ>0 für eine Konstante δ trägt, ist
π1M=/2.

Die Bedingung, dass Kδ>0 für eine Konstante δ gilt, ist insbesondere immer dann erfüllt, wenn M kompakt und die Schnittkrümmung K>0 ist.

Lemma von Synge

Der Beweis des Satzes von Synge folgt aus dem Lemma von Synge. Dieses besagt folgendes:

Sei (M,g) eine orientierbare Riemannsche Mannigfaltigkeit gerader Dimension mit positiver Schnittkrümmung K>0. Sei c:[0,L]M eine glatte geschlossene Geodätische der Länge L(c)=L>0. Dann gibt es eine Variation V(t,τ)=cτ(t) von c, so dass alle Nachbarkurven cτ,τ0 glatt, geschlossen und kürzer als L sind.

Gruppentheoretische Formulierung

Der Satz von Synge ist äquivalent zum Satz von Synge-Weinstein.

Ungerade Dimensionen

Für Mannigfaltigkeiten ungerader Dimensionen gilt der Satz von Synge nicht. Zwar hat nach dem Satz von Bonnet-Myers jede positiv gekrümmte Mannigfaltigkeit eine endliche Fundamentalgruppe, jedoch gibt es ungerade-dimensionale, positiv gekrümmte Mannigfaltigkeiten mit beliebiger zyklischer Fundamentalgruppe (Linsenräume) oder beispielsweise die Poincaré-Homologiesphäre mit einer komplizierteren Fundamentalgruppe der Ordnung 120.

Literatur

  • do Carmo, Manfredo Perdigão: Riemannian geometry. Translated from the second Portuguese edition by Francis Flaherty. Mathematics: Theory & Applications. Birkhäuser Boston, Inc., Boston, MA, 1992, ISBN 0-8176-3490-8.