Geodätische Kompaktifizierung

Im mathematischen Gebiet der Differentialgeometrie ist die geodätische Kompaktifizierung oder geometrische Kompaktifizierung eine Kompaktifizierung hyperbolischer Räume oder allgemein nichtpositiv gekrümmter Räume durch eine Sphäre im Unendlichen.

Diese Kompaktifizierung funktioniert auch für allgemeine Hadamard-Räume, allerdings muss der Rand im Unendlichen dann im Allgemeinen keine Sphäre sein. Aufgrund der Konstruktion der Randpunkte als (im Unendlichen liegende) Endpunkte von Geodäten wird dieser Rand im Unendlichen auch als sichtbarer Rand bzw. (falls es sich um eine Sphäre handelt) als sichtbare Sphäre (engl.: visibility sphere) bezeichnet.

Dieser Artikel behandelt den Rand im Unendlichen negativ gekrümmter, einfach zusammenhängender, Riemannscher Mannigfaltigkeiten. Die Definition lässt sich auch auf Gromov-hyperbolische Räume und insbesondere auf hyperbolische Gruppen übertragen, siehe Gromov-hyperbolischer Raum#Gromov-Rand und Hyperbolische Gruppe#Rand im Unendlichen.

Definition

Es sei $X$ eine einfach zusammenhängende Riemannsche Mannigfaltigkeit nichtpositiver Schnittkrümmung (oder allgemeiner ein Hadamard-Raum).

Wir definieren zwei geodätische Strahlen $\gamma _{1},\gamma _{2}\colon \left[0,\infty \right[\to X$ als äquivalent, wenn

$\limsup _{t\to \infty }d(\gamma _{1}(t),\gamma _{2}(t))<\infty$

gilt. Wir bezeichnen die Menge der Äquivalenzklassen mit $\partial _{\infty }X$, eine andere gebräuchliche Bezeichnung ist $X(\infty )$. Man sagt eine Geodäte $\gamma \colon \mathbb {R} \to X$ ist zu einem Punkt $p\in \partial _{\infty }X$ asymptotisch, wenn $\gamma \mid _{\left[0,\infty \right[}$ zur Äquivalenzklasse $p$ gehört.

Für Mannigfaltigkeiten nichtpositiver Schnittkrümmung gibt es eine Bijektion zwischen der Einheitssphäre in $T_{x}X$ (für ein beliebiges $x\in X$) und $\partial _{\infty }X$, weshalb der geodätische Rand auch als „Sphäre im Unendlichen“ oder „sichtbare Sphäre“ (engl.: „visibility sphere“) bezeichnet wird. Für beliebige Hadamard-Räume (die keine Mannigfaltigkeit sind) muss $\partial _{\infty }X$ keine Sphäre sein.

Die geodätische Kompaktifizierung von $X$ ist die Vereinigung $X\cup \partial _{\infty }X$ mit der im folgenden Abschnitt definierten Topologie.

Topologie

Die Topologie auf der Kompaktifizierung $X\cup \partial _{\infty }X$ wird durch die folgenden Bedingungen definiert.

Eine Folge $x_{n}\in X$ konvergiert genau dann gegen einen von einem geodätischen Strahl $\gamma$ repräsentierten Punkt $\left[\gamma \right]\in \partial _{\infty }X$, wenn die Folge der Geodäten $\gamma _{n}$ von einem (fest gewählten) Basispunkt $x_{0}$ nach $x_{n}$ gegen eine Geodäte in der Äquivalenzklasse $\left[\gamma \right]$ konvergiert.

Eine Umgebungsbasis von $\left[\gamma \right]$ ist gegeben durch die Familie der abgebrochenen Kegel $C(\gamma ,\epsilon _{j},t_{j})$ mit $\epsilon _{j}\to 0,t_{j}\to \infty$. Hierbei ist der „Kegel“ $C(\gamma ,\epsilon _{j})$ die Menge derjenigen Punkte $x$, für die der Winkel zwischen $\gamma$ und der durch den Basispunkt $x_{0}$ und $x$ verlaufenden Geodäte kleiner als $\epsilon _{j}$ ist und der „abgebrochene Kegel“

$C(\gamma ,\epsilon _{j},t_{j})=C(\gamma ,\epsilon _{j})\setminus B(\gamma (0),t_{j})$.

Die von dieser Umgebungsbasis erzeugte Topologie wird als Kegel-Topologie bezeichnet.

Isometrien (und allgemeiner Quasi-Isometrien) von $X$ wirken stetig auf der Kompaktifizierung $X\cup \partial _{\infty }X$.

Tits-Metrik

Der Winkel-Abstand ist eine Metrik auf $\partial _{\infty }X$, die im Fall euklidischer Räume die Standardmetrik der Sphäre, im Fall negativ gekrümmter Räume aber eine diskrete Metrik (je zwei Punkte haben Abstand $\pi$) gibt. Die von dieser Metrik erzeugte Topologie stimmt (außer für den flachen $\mathbb {R} ^{n}$) nicht mit der Kegeltopologie überein.

Der Winkel-Abstand (engl.: angle metric) zweier von geodätischen Strahlen $\gamma _{1},\gamma _{2}$ mit $\gamma _{1}(0)=\gamma _{2}(0)=x_{0}$ repräsentierten Punkte $\left[\gamma _{1}\right],\left[\gamma _{2}\right]\in \partial _{\infty }X$ ist definiert als

$d_{<}(\left[\gamma _{1}\right],\left[\gamma _{2}\right])=\lim _{t\to \infty }\angle _{x}(\gamma _{1}(t),\gamma _{2}(t))$.

(Falls $X$ keine Riemannsche Mannigfaltigkeit, sondern nur ein Hadamard-Raum ist, handelt es sich bei dem Winkel um den Winkel im jeweiligen Vergleichs-Dreieck.)

Insbesondere gilt $d_{<}(\left[\gamma _{1}\right],\left[\gamma _{2}\right])=\pi$ genau dann, wenn es eine Geodäte gibt, die für $t\to \pm \infty$ zu $\left[\gamma _{1}\right]$ bzw. $\left[\gamma _{2}\right]$ asymptotisch ist.

Die Tits-Metrik $d_{T}$ ist die zum Winkel-Abstand assoziierte innere Metrik.

$(\partial _{\infty }X,d_{T})$ ist ein CAT(1)-Raum.

Tits-Gebäude

Es sei $X=G/K$ ein symmetrischer Raum von nichtkompaktem Typ. Wir betrachten die Wirkung der Isometriegruppe $G=Isom(X)$ auf $\partial _{\infty }X$. Der Stabilisator jeden Punktes ist eine parabolische Untergruppe von $G$, umgekehrt kommt jede parabolische Untergruppe von $G$ als Stabilisator eines Punktes in $\partial _{\infty }X$ vor.

Für eine echte parabolische Untergruppe $P\subset G$ sei $\Sigma _{P}$ die Menge aller von $P$ festgelassenen Punkte in $\partial _{\infty }X$. Man kann zeigen, dass $\Sigma _{P}$ ein Simplex und dass das Innere dieses Simplexes die Menge der Punkte mit Stabilisator gleich $P$ ist. Die Zerlegung als Simplizialkomplex

$\partial _{\infty }X=\bigcup _{P\ parabolische\ echte\ Untergruppe}\Sigma _{P}$

gibt $\partial _{\infty }X$ die Struktur eines sphärischen Tits-Gebäudes. Die Apartments des Tits-Gebäudes entsprechen den Rändern $\partial _{\infty }F$ maximaler Flachs $F$.

Literatur

• Armand Borel, Lizhen Ji: Compactifications of symmetric and locally symmetric spaces. (= Mathematics: Theory & Applications). Birkhäuser, Boston, MA 2006, ISBN 0-8176-3247-6
• Martin R. Bridson, André Haefliger: Metric spaces of non-positive curvature. (= Grundlehren der Mathematischen Wissenschaften. 319). Springer-Verlag, Berlin 1999. ISBN 3-540-64324-9
• Bruce Kleiner, Bernhard Leeb: Rigidity of quasi-isometries for symmetric spaces and Euclidean buildings. In: Inst. Hautes Études Sci. Publ. Math. No. 86, 1997, S. 115–197 (1998).