Ein Starrheitsresultat, das besagt, dass für vollständige hyperbolische Mannigfaltigkeiten endlichem Volumens der reellen Dimension mindestens drei die geometrische Struktur eindeutig durch die Fundamentalgruppe bestimmt ist: Jede Isomorphie der Fundamentalgruppen wird durch eine Isometrie zwischen den Mannigfaltigkeiten realisiert (Geometrie wird also durch die Gruppe festgelegt).

Prinzip

Leitidee: In Dimensionen ≥ 3 sind homogen-negative Krümmungsgeometrien starr: Diskrete Isometriegruppen des hyperbolischen Raums besitzen keine nichttrivialen Deformationen, die die hyperbolische Struktur des Quotienten verändern, sodass algebraische Daten (π1) geometrische Daten festlegen.

Demonstration

Konkrete Aussage: Sind M und N geschlossene hyperbolische n‑Mannigfaltigkeiten (n≥3) und φ: π1(M)→π1(N) ein Isomorphismus, so existiert eine eindeutige Isometrie f: M→N, die φ auf den Fundamentalgruppen induziert. Daraus folgt, dass Volumen und Längen geschlossener Geodäten topologische Invarianten sind.

Fehlanwendung

Mostow‑Starrheit in Dimension zwei anzuwenden, wo die Teichmüller‑Theorie nichttriviale Deformationen liefert, oder anzunehmen, der Satz gelte für variable negative Krümmung oder für andere Geometrien ohne Überprüfung der Hypothesen.

Konsequenz

Topologische Invarianten (z. B. Isomorphieklasse von π1) bestimmen geometrische Invarianten (die Metrik bis auf Isometrie), was etwa zur Folge hat, dass das Volumen eine topologische Invariante ist und kontinuierliche Moduli hyperbolischer Strukturen in Dimensionen ≥3 ausschließt.

Umkehrung

Die Umkehrung hebt den tiefen Unterschied in niedriger Dimension hervor: In Dimension zwei ist die Abbildung von Topologie zu Geometrie nicht injektiv — Flächen desselben topologischen Typs besitzen stetige Familien nicht isometrischer hyperbolischer Metriken (Teichmüllerraum), was Flexibilität statt Starrheit zeigt.

Abgrenzung

Gilt für vollständige hyperbolische Mannigfaltigkeiten endlichem Volumens in reeller Dimension ≥3 (Mostow–Prasad erweitert dies auf nichtkompakte Fälle mit endlichem Volumen); ausgeschlossen sind Dimension 2, Metriken mit variabler Krümmung und andere lokal symmetrische Räume, sofern nicht angepasste Hypothesen gelten.

Semantische Spannung

Spannung zwischen Starrheit (Mostow) und Flexibilität (Teichmüller): Beide befassen sich mit der Beziehung zwischen diskreten Gruppendaten und geometrischen Strukturen, führen aber je nach Dimension und Kontext zu entgegengesetzten Phänomenen.

Synthese

Mostow‑Starrheit besagt, dass in der reellen hyperbolischen Geometrie der Dimension ≥3 die algebraische Information der Fundamentalgruppe die metrische Geometrie der Mannigfaltigkeit vollständig festlegt, wodurch kontinuierliche Deformationen entfallen und Geometrie zu einem topologischen Invariante wird.