Satz von Cartan-Hadamard

In der Mathematik ist der Satz von Cartan-Hadamard ein Satz der riemannschen Geometrie, der die Topologie von Mannigfaltigkeiten nichtpositiver Schnittkrümmung beschreibt. Benannt ist die Aussage nach den Mathematikern Élie Cartan und Jacques Hadamard. Hadamard hatte ihn 1898 für Flächen bewiesen, Cartan dann 1928 allgemein für Riemannsche Mannigfaltigkeiten.

Aussage

Sei eine vollständige Riemannsche Mannigfaltigkeit nichtpositiver Schnittkrümmung, dann ist für jedes $x\in M$ die Exponentialabbildung

$\exp _{x}:T_{x}M\rightarrow M$

eine Überlagerung.

Korollar: Sei eine vollständige Riemannsche Mannigfaltigkeit nichtpositiver Schnittkrümmung, dann ist asphärisch, d.h. die höheren Homotopiegruppen verschwinden:

$\pi _{j}(M)=0\ \ \forall j\geq 2$ .

Verallgemeinerung (Metrische Räume)

Sei ein Hadamard-Raum. Dann gibt es für alle $x,y\in X$ eine eindeutige Geodäte

$\sigma _{xy}:\left[0,1\right]\rightarrow X$

mit $\sigma _{xy}(0)=x,\sigma _{xy}(1)=y$ , und $\sigma_{xy}$ hängt stetig von und ab.

Lokale CAT(0)-Räume

Ein vollständiger, zusammenhängender, metrischer Raum heißt lokal CAT(0), wenn jeder Punkt eine Umgebung besitzt, die (mit der eingeschränkten Metrik) ein CAT(0)-Raum ist.

Eine Verallgemeinerung des Satzes von Cartan-Hadamard besagt: wenn ein lokaler CAT(0)-Raum ist, dann gibt es auf der universellen Überlagerung $\widetilde {X}$ eine eindeutige Metrik ${\tilde {d}}$ so dass

die Überlagerung ${\widetilde {X}}\to X$ eine lokale Isometrie ist, und
$({\widetilde {X}},{\tilde {d}})$ ein CAT(0)-Raum ist.

Basierend auf einem Artikel in:

Wikipedia.de