Geodätische Kompaktifizierung

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Sphäre im Unendlichen)

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 eine einfach zusammenhängende Riemannsche Mannigfaltigkeit nichtpositiver Schnittkrümmung (oder allgemeiner ein Hadamard-Raum).

Wir definieren zwei geodätische Strahlen als äquivalent, wenn

gilt. Wir bezeichnen die Menge der Äquivalenzklassen mit , eine andere gebräuchliche Bezeichnung ist . Man sagt eine Geodäte ist zu einem Punkt asymptotisch, wenn zur Äquivalenzklasse gehört.

Für Mannigfaltigkeiten nichtpositiver Schnittkrümmung gibt es eine Bijektion zwischen der Einheitssphäre in (für ein beliebiges ) und , 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 keine Sphäre sein.

Die geodätische Kompaktifizierung von ist die Vereinigung mit der im folgenden Abschnitt definierten Topologie.

Topologie

Die Topologie auf der Kompaktifizierung wird durch die folgenden Bedingungen definiert.

Eine Folge konvergiert genau dann gegen einen von einem geodätischen Strahl repräsentierten Punkt , wenn die Folge der Geodäten[1] von einem (fest gewählten) Basispunkt nach gegen eine Geodäte in der Äquivalenzklasse konvergiert.

Eine Umgebungsbasis von ist gegeben durch die Familie der abgebrochenen Kegel mit . Hierbei ist der "Kegel" die Menge derjenigen Punkte , für die der Winkel zwischen und der durch den Basispunkt und verlaufenden Geodäte kleiner als ist und der "abgebrochene Kegel"

.

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

Isometrien (und allgemeiner Quasi-Isometrien) von wirken stetig auf der Kompaktifizierung .

Tits-Metrik

Der Winkel-Abstand ist eine Metrik auf , 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 ) gibt. Die von dieser Metrik erzeugte Topologie stimmt (außer für den flachen ) nicht mit der Kegeltopologie überein.

Der Winkel-Abstand (engl.: angle metric) zweier von geodätischen Strahlen mit repräsentierten Punkte ist definiert als

.

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

Insbesondere gilt genau dann, wenn es eine Geodäte gibt, die für zu bzw. Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \left[\gamma_2\right]} asymptotisch ist.

Die Tits-Metrik Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle d_T} ist die zum Winkel-Abstand assoziierte innere Metrik.

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle (\partial_\infty X, d_T)} ist ein CAT(1)-Raum.[2]

Tits-Gebäude

Es sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X=G/K} ein symmetrischer Raum von nichtkompaktem Typ. Wir betrachten die Wirkung der Isometriegruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G=Isom(X)} auf Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial_\infty X} . Der Stabilisator jeden Punktes ist eine parabolische Untergruppe von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} , umgekehrt kommt jede parabolische Untergruppe von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle G} als Stabilisator eines Punktes in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial_\infty X} vor.[3]

Für eine echte parabolische Untergruppe Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P\subset G} sei Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Sigma_P} die Menge aller von Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} festgelassenen Punkte in Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial_\infty X} . Man kann zeigen, dass Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \Sigma_P} ein Simplex und dass das Innere dieses Simplexes die Menge der Punkte mit Stabilisator gleich Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle P} ist. Die Zerlegung als Simplizialkomplex

Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial_\infty X =\bigcup_{P\ parabolische\ echte\ Untergruppe}\Sigma_P}

gibt Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial_\infty X} die Struktur eines sphärischen Tits-Gebäudes. Die Apartments des Tits-Gebäudes entsprechen den Rändern Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \partial_\infty F} maximaler Flachs Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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).

Einzelnachweise

  1. Wir benutzen, dass sich in einem CAT(0)-Raum je zwei Punkte durch eine eindeutige Geodäte verbinden lassen.
  2. Bridson-Haefliger, op.cit, Theorem 9.20
  3. Borel-Ji, op.cit., Proposition I.2.6