Geometrisch endliche Gruppe

In d​er Geometrie w​urde der Begriff Geometrisch endliche Gruppe ursprünglich i​n der 2- u​nd 3- dimensionalen hyperbolischen Geometrie verwendet a​ls Bezeichnung für diskrete Gruppen v​on Isometrien, d​ie einen konvexen Polyeder m​it endlich vielen Seiten a​ls Fundamentalbereich besitzen. In d​er höher-dimensionalen hyperbolischen Geometrie werden allgemeinere Definitionen verwendet, d​ie im Fall v​on Isometriegruppen d​es 2- o​der 3-dimensionalen Raumes z​ur ursprünglichen Definition äquivalent, i​n höheren Dimensionen a​ber allgemeiner sind.

Jede endlich erzeugte diskrete Gruppe v​on Isometrien d​er hyperbolischen Ebene i​st geometrisch endlich. In höheren Dimensionen s​ind Gitter u​nd konvex-kokompakte Gruppen Beispiele geometrisch endlicher Gruppen.

Isometriegruppen des 3-dimensionalen hyperbolischen Raumes (Kleinsche Gruppen)

Eine Kleinsche Gruppe heißt geometrisch endlich, w​enn sie e​ine der folgenden äquivalenten[1] Bedingungen erfüllt.

• Für jedes ${\displaystyle \delta >0}$ hat die ${\displaystyle \delta }$-Umgebung des konvexen Kerns endliches Volumen.
• Für ein ${\displaystyle \delta >0}$ hat die ${\displaystyle \delta }$-Umgebung des konvexen Kerns endliches Volumen.
• Der dicke Teil des konvexen Kerns ist kompakt.
• Für hinreichend kleine ${\displaystyle \epsilon }$ ist das Komplement des ${\displaystyle \epsilon }$-kuspidalen Teils im konvexen Kern kompakt.
• Jeder Punkt der Limesmenge ist ein konischer Grenzpunkt oder ein beschränkter parabolischer Fixpunkt.
• Jeder Punkt der Limesmenge ist ein horosphärischer Grenzpunkt oder ein beschränkter parabolischer Fixpunkt.
• Jedes Dirichlet-Polyeder ist endlich.
• Es gibt ein endliches Dirichlet-Polyeder.
• Die Kleinsche Mannigfaltigkeit ${\displaystyle (H^{3}\cup \Omega (\Gamma ))/\Gamma }$ ist die Vereinigung eines kompakten Unterraums mit einer endlichen Menge von Standard-Spitzen.

Geometrisch endliche hyperbolische Metriken a​uf einer gegebenen 3-Mannigfaltigkeit werden d​urch ihre konformen Ränder (d. h. d​ie Quotienten d​er Diskontinuitätsbereiche i​n der Sphäre i​m Unendlichen) eindeutig bestimmt.[2]

Isometriegruppen höher-dimensionaler hyperbolischer Räume und von Hadamard-Mannigfaltigkeiten

Allgemeiner heißt eine diskrete Gruppe von Isometrien einer Hadamard-Mannigfaltigkeit ${\displaystyle X}$ geometrisch endlich, wenn sie eine der folgenden äquivalenten Bedingungen erfüllt.[3]

• ${\displaystyle (X\cup \Omega (\Gamma ))/\Gamma }$ ist die Vereinigung eines kompakten Unterraums mit einer endlichen Menge von Standard-Spitzen.[4]
• Jeder Punkt der Limesmenge ist ein konischer Limespunkt oder ein beschränkter parabolischer Fixpunkt.
• Der dicke Teil des konvexen Kerns ist kompakt.
• Es gibt eine obere Schranke für die Ordnung endlicher Untergruppen und für ein ${\displaystyle \delta >0}$ hat die ${\displaystyle \delta }$-Umgebung des konvexen Kerns endliches Volumen.

Für ${\displaystyle n=2}$ ist jede endlich erzeugte diskrete Gruppe von Isometrien der hyperbolischen Ebene geometrisch endlich und hat einen endlichen Fundamentalpolyeder, d. h. einen (nicht notwendig kompakten) Fundamentalbereich, der ein Polyeder mit endlich vielen Seiten ist.[5]

Für ${\displaystyle n\geq 4}$ muss eine geometrisch endliche Gruppe ${\displaystyle \Gamma \subset Isom(H^{n})}$ nicht notwendig ein endliches Fundamentalpolyeder besitzen. Zum Beispiel gibt es geometrisch endliche Gruppen mit unendlich vielen Spitzen.[6]

Hyperbolische Gruppen und Konvergenzgruppen

Für eine auf einem kompakten, metrischen Raum ${\displaystyle X}$ wirkende Konvergenzgruppe ${\displaystyle \Gamma }$ definiert man geometrische Endlichkeit wie folgt: Jeder Punkt aus ${\displaystyle X}$ ist ein konischer Limespunkt oder ein beschränkter parabolischer Fixpunkt. Hierbei sind die Begriffe „konischer Limespunkt“ und „beschränkter parabolischer Fixpunkt“ intrinsisch definiert. Ein konischer Limespunkt ist ein Punkt ${\displaystyle x\in X}$, zu dem es eine Folge unterschiedlicher Elemente ${\displaystyle \gamma _{n}\in \Gamma }$ und Punkte ${\displaystyle a_{\pm }\in X}$ gibt mit ${\displaystyle \lim _{n\to \infty }\gamma _{n}x=a_{+}}$ und ${\displaystyle \gamma _{n}\mid _{X\setminus \left\{x\right\}}}$ konvergiert gleichmäßig auf Kompakta gegen die Abbildung, die konstant ${\displaystyle a_{-}}$ ist. Ein beschränkter parabolischer Fixpunkt ist ein Punkt ${\displaystyle x\in X}$, dessen Stabilisator parabolisch ist (d. h. unendlich, lässt einen Punkt von ${\displaystyle X}$ fest und enthält keine loxodromischen Elemente) und für den der Quotient ${\displaystyle (X\setminus \left\{x\right\})/\Gamma _{x}}$ kompakt ist.

Diese Definition k​ann insbesondere a​uf hyperbolische Gruppen angewandt werden, d​enn diese wirken a​ls Konvergenzgruppen a​uf ihrem Rand i​m Unendlichen.

Beispiele geometrisch endlicher Kleinscher Gruppen

• Quasifuchssche Gruppen
• Schottky-Gruppen

Konformer Rand

Der Isomorphismussatz von Marden reduziert die Untersuchung des Modulraums geometrisch endlicher hyperbolischer Metriken auf einer 3-Mannigfaltigkeit ${\displaystyle M}$ mit inkompressiblem Rand ${\displaystyle \partial M}$ auf die Untersuchung des Modulraums konformer Strukturen auf ${\displaystyle \partial M}$. (Jeder geometrisch endlichen Gruppe ${\displaystyle \Gamma }$ entspricht die Riemannsche Fläche ${\displaystyle \Gamma \backslash \Omega }$, wobei ${\displaystyle \Omega \subset \partial _{\infty }H^{3}}$ der Diskontinuitãtsbereich ist. Dies verallgemeinert den Uniformisierungssatz von Bers für quasifuchssche Gruppen.)

Die einer geometrisch endlichen Gruppe ${\displaystyle \Gamma }$ entsprechende Riemannsche Fläche ${\displaystyle \Gamma \backslash \Omega }$ wird als ihr konformer Rand bezeichnet.

Literatur

• Matsuzaki, Katsuhiko; Taniguchi, Masahiko: Hyperbolic manifolds and Kleinian groups. Oxford Mathematical Monographs. Oxford Science Publications. The Clarendon Press, Oxford University Press, New York, 1998. ISBN 0-19-850062-9
• Bowditch, B. H.: Geometrical finiteness for hyperbolic groups. J. Funct. Anal. 113 (1993), no. 2, 245–317.
• Bowditch, B. H.: Geometrical finiteness with variable negative curvature. Duke Math. J. 77 (1995), no. 1, 229–274.
• Bowditch, B. H.: Relatively hyperbolic groups. Internat. J. Algebra Comput. 22 (2012), no. 3, 1250016, 66 pp.

Einzelnachweise

1. Für den Beweis der Äquivalenz siehe Theorem 3.7 in Matsuzaki-Taniguchi (op.cit.).
2. Lipman Bers: Uniformization, moduli, and Kleinian groups. Bull. London Math. Soc. 4 (1972), 257–300.
3. Für den Beweis der Äquivalenz siehe Bowditch (1993).
4. ${\displaystyle \Omega (\Gamma )\subset \partial _{\infty }X}$ bezeichnet den Diskontinuitätsbereich von ${\displaystyle \Gamma }$.
5. Greenberg, Leon: Fundamental polygons for Fuchsian groups. J. Analyse Math. 18 1967 99–105
6. M. Kapovich, L. Potyagailo: On the absence of Ahlfors‘ finiteness theorem for Kleinian in dimension three, Top. Appl. 40, 83–91, 1991.