Kleinsche Gruppe

In der Mathematik spielen Kleinsche Gruppen eine zentrale Rolle in 3-dimensionaler Topologie, hyperbolischer Geometrie und komplexer Analysis.

Definition

Eine Kleinsche Gruppe ist eine diskrete Untergruppe von $PSL(2,\mathbb {C} )$, der Isometrie-Gruppe des 3-dimensionalen hyperbolischen Raumes $\mathbb {H} ^{3}$.

Eine Kleinsche Gruppe heißt

• torsionsfrei, falls alle Elemente unendliche Ordnung haben,
• nichtelementar, wenn sie nicht virtuell zyklisch ist.

Hyperbolische Mannigfaltigkeit

Wenn $\Gamma \subset PSL(2,\mathbb {C} )$ eine torsionsfreie Kleinsche Gruppe ist, dann ist $M=\Gamma \backslash \mathbb {H} ^{3}$ eine hyperbolische Mannigfaltigkeit. (Sie ist der innere Kern der zu $\Gamma$ assoziierten Kleinschen Mannigfaltigkeit.)

Limesmenge

Ein Beispiel einer Limesmenge einer Kleinschen Gruppe.

Die Limesmenge oder Grenzmenge $\Lambda (\Gamma )$ einer Kleinschen Gruppe $\Gamma$ ist eine Teilmenge der riemannschen Zahlenkugel, definiert als der Durchschnitt des Randes im Unendlichen mit dem Abschluss einer Bahn $\Gamma x$ wobei $x$ ein Punkt des hyperbolischen Raumes ist. Die Definition der Limesmenge ist unabhängig vom gewählten Punkt $x$.

Die inzwischen bewiesene Ahlfors-Vermutung besagt, dass die Limesmenge einer endlich erzeugten Kleinschen Gruppe entweder ganz $\mathbb {P} ^{1}(\mathbb {C)} =\mathbb {C} \cup \{\infty \}$ ist oder Lebesgue-Maß Null hat. (Die Vermutung wurde von Canary 1993 für topologisch zahme Gruppen bewiesen. Zusammen mit der 2004 von Agol, Calegari und Gabai bewiesenen Zahmheits-Vermutung folgt daraus die Gültigkeit für alle endlich erzeugten Kleinschen Gruppen.)

Eine Kleinsche Gruppe heißt Kleinsche Gruppe 1. Art, falls die Limesmenge ganz $\mathbb {P} ^{1}(\mathbb {C)}$ ist. Andernfalls handelt es sich um eine Kleinsche Gruppe 2. Art.

Wenn $\Gamma$ eine Kleinsche Gruppe 2. Art ist, dann hat die hyperbolische Mannigfaltigkeit $M=\Gamma \backslash \mathbb {H} ^{3}$ unendliches Volumen, insbesondere ist sie dann nichtkompakt.

Das Komplement der Limesmenge in $\mathbb {P} ^{1}(\mathbb {C} )$ ist der Diskontinuitätsbereich $\Omega (\Gamma )$, er ist die maximale Teilmenge 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 \mathbb P^1(\mathbb C)} , auf der 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 \Gamma} eigentlich diskontinuierlich wirkt. Der Quotient

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 \Gamma\backslash(H^3\cup\Omega(\Gamma))}

ist eine Mannigfaltigkeit mit Rand, er wird als Kleinsche Mannigfaltigkeit bezeichnet.

Flächengruppen

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 \rho\colon\pi_1S\to PSL(2,\Complex)} eine diskrete, treue Darstellung einer Flächengruppe. Dann heißt die Kleinsche Gruppe 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 \rho(\pi_1S)} eine Fuchssche Gruppe, wenn ihre Limesmenge ein Kreis ist, quasifuchssche Gruppe, wenn ihre Limesmenge eine Jordankurve ist und degenerierte Kleinsche Gruppe sonst. Eine degenerierte Kleinsche Gruppe heißt doppelt degeneriert, wenn ihre Limesmenge die gesamte 2-Sphäre ist und einfach degeneriert wenn das Komplement der Limesmenge zusammenhängend und nicht leer ist.

Geometrisch endliche Kleinsche Gruppen

Eine Kleinsche Gruppe 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 \Gamma} heißt geometrisch endlich, wenn sie eine der folgenden äquivalenten Bedingungen erfüllt:

• es gibt einen Fundamentalpolyeder mit endlich vielen Seitenflächen
• für alle 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\in \mathbb H^3} hat der Dirichlet-Bereich endlich viele Seitenflächen
• der konvexe Kern 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 C(M)} 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 M=\Gamma\backslash \mathbb H^3} hat endliches Volumen.

Ein Ende einer hyperbolischen 3-Mannigfaltigkeit 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 M} heißt geometrisch endlich, wenn es eine Umgebung besitzt, die vom konvexen Kern 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 C(M)} disjunkt ist. Andernfalls heißt das Ende geometrisch unendlich.

Eine Flächengruppe ist genau dann geometrisch endlich, wenn sie eine quasifuchssche Gruppe ist.

Geometrisch unendliche Enden

Wenn ein Ende 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 e} einer hyperbolischen 3-Mannigfaltigkeit 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 M} geometrisch unendlich ist, dann gibt es zu jeder Umgebung 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 U} 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 e} eine geschlossene Geodäte 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 \gamma\subset M} mit 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 \gamma\cap U\not=\emptyset} . Für ein geometrisch unendliches Ende der Form 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 S\times (0,\infty)} definiert man die Endelaminierung als die Laminierung der Fläche 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 S} , welche man als Grenzwert einer (jeder) Folge von jede kompakte Teilmenge letztendlich verlassenden Geodäten 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 \gamma_n\subset M} erhält.

Das von Jeffrey Brock, Richard Canary und Yair Minsky bewiesene ending lamination theorem besagt, dass geometrisch unendliche Enden durch ihre Endelaminierung eindeutig bestimmt sind.

Siehe auch

• Schottky-Gruppen sind spezielle kleinsche Gruppen

Literatur

• Francis Bonahon: Bouts des variétés hyperboliques de dimension 3. Ann. of Math. (2) 124 (1986), no. 1, 71–158.

Weblinks

• Jeffrey Brock: The classification of hyperbolic 3-manifolds
• Caroline Series: A crash course on Kleinian groups
• Mahan Mj: Geometrically finite and infinite groups