Konvergenzgruppe

In der Mathematik sind Konvergenzgruppen ein Begriff aus der Theorie der Dynamischen Systeme, der es ermöglicht, hyperbolische Gruppen mittels dynamischer (statt geometrischer) Methoden zu untersuchen.

Definition

Es sei $\Gamma$ eine auf einem kompakten, metrisierbaren Raum $X$ stetig wirkende Gruppe. Die Wirkung heißt eine Konvergenzwirkung (und $\Gamma$ eine Konvergenzgruppe), wenn folgende Bedingung erfüllt ist:

zu jeder Folge $(g_{n})_{n}\subset \Gamma$ gibt es eine Teilfolge $(g_{n_{i}})_{i}$ und zwei Punkte $a,b\in X$, so dass $g_{n_{i}}\vert _{X\setminus \left\{a\right\}}$ auf kompakten Mengen gleichmäßig gegen $b$ konvergiert.

Die letzte Bedingung bedeutet: für jede offene Umgebung $U$ von $b$ und jede kompakte Teilmenge $K\subset X\setminus \left\{a\right\}$ gibt es ein $i_{0}$ mit $g_{n_{i}}(K)\subset U$ für alle $i\geq i_{0}$.

Eine äquivalente Bedingung ist, dass $\Gamma$ eigentlich diskontinuierlich auf dem Raum der Tripel

$T(X)=\left\{(a,b,c)\in X^{3}:a\not =b,a\not =c,b\not =c\right\}$

wirkt.

Klassifikation von Elementen

Ein nichttriviales Element $\gamma$ einer auf einem kompakten, metrischen Raum wirkenden Konvergenzgruppe $\Gamma$ ist von genau einem der drei folgenden Typen:

• elliptisch: $\gamma$ hat endliche Ordnung,
• parabolisch: $\gamma$ hat unendliche Ordnung und genau einen Fixpunkt,
• loxodromisch: $\gamma$ hat unendliche Ordnung und genau zwei Fixpunkte.

Für $k\not =0$ haben $\gamma$ und $\gamma ^{k}$ denselben Typ.

Wenn $\gamma$ parabolisch mit Fixpunkt $a$ ist, dann gilt $\lim _{n\to \pm \infty }\gamma ^{n}x=a$ für alle $x\in X$.

Wenn $\gamma$ loxodromisch mit Fixpunkten $a_{\pm }$ ist, dann gilt $\lim _{n\to \infty }\gamma ^{n}x=a_{-}$ für alle $x\not =a_{+}$ und $\lim _{n\to -\infty }\gamma ^{n}x=a_{+}$ 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\not= a_-} und diese Konvergenz ist gleichmäßig auf kompakten Teilmengen 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 X\setminus\left\{a_-,a_+\right\}} .

Limesmenge

Die Limesmenge 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 \Gamma} ist eine minimale, nichtleere, abgeschlossene, 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} -invariante Teilmenge 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 \Lambda(\Gamma)\subset X} . Die Konvergenzgruppe heißt nichtelementar, wenn 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 \Lambda(\Gamma)} aus mehr als zwei Punkten besteht. In diesem Fall ist 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 \Lambda(\Gamma)} eine perfekte Menge und insbesondere unendlich.

Die Konvergenzwirkung heißt minimal, wenn 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 \Lambda(\Gamma)=X} .

Ein konischer Grenzpunkt ist ein Punkt 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 X} , zu dem es eine Folge unterschiedlicher Elemente 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\in\Gamma} und Punkte 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 a_\pm\in X} gibt 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 \lim_{n\to\infty}\gamma_n x=a_+} und 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\mid_{X\setminus\left\{x\right\}}} konvergiert gleichmäßig auf Kompakta gegen die Abbildung, die konstant 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 a_-} ist. Zum Beispiel sind Fixpunkte einer loxodromischen Abbildung konische Grenzpunkt.

Hyperbolische Gruppen, Gleichmäßige Konvergenzgruppen

Eine Konvergenzgruppe heißt gleichmäßige Konvergenzgruppe oder uniforme Konvergenzgruppe, wenn die Wirkung 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 TX} zusätzlich kokompakt ist. Eine äquivalente Bedingung ist, dass jeder Limespunkt ein konischer Limespunkt ist.

Satz (Bowditch): Eine auf einem perfekten, kompakten, metrischen Raum wirkende 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} ist genau dann eine gleichmäßige Konvergenzgruppe, wenn 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} eine hyperbolische Gruppe und die Konvergenzwirkung mittels eines 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} -äquivarianten Homöomorphismus zur Wirkung 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 \Gamma} auf dem Gromov-Rand 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\Gamma} konjugiert ist.

Anwendungen

Die Konvergenzeigenschaft wurde ursprünglich im Kontext Kleinscher Gruppen von Gehring-Martin eingeführt, um die Eigenschaften der Wirkung einer Kleinschen Gruppe auf ihrer Limesmenge zu axiomatisieren.

Die Konvergenzwirkung einer hyperbolischen Gruppe auf ihrem Rand im Unendlichen ermöglicht es, viele algebraische Aussagen über hyperbolische Gruppen ohne Verwendung "hyperbolischer" Geometrie zu beweisen., zum Beispiel beim Beweis der JSJ-Zerlegung oder der lokalen Zusammenhangseigenschaften des Randes im Unendlichen.

Konvergenzwirkungen spielten eine wichtige Rolle beim Beweis der Seifert-Faserraum-Vermutung: diese ließ sich darauf zurückführen, dass auf dem Kreis wirkende Konvergenzgruppen virtuell Fuchssch sein müssen, d. h. eine Fuchssche Gruppe als Untergruppe von endlichem Index enthalten. Letztere (von Casson-Jungreis und Gabai bewiesene) Eigenschaft ermöglicht auch einen alternativen Beweis für das (ursprünglich von Kerckhoff bewiesene) Nielsensche Realisierungsproblem.

Literatur

• Frederick W. Gehring, Gaven J. Martin: Discrete convergence groups. In: Carlos A. Berenstein (Hrsg.): Complex analysis. Proceedings of the Special Year held at the University of Maryland, College Park, 1985–86 (= Lecture Notes in Mathematics. Bd. 1275). Band 1. Springer, Berlin u. a. 1987, ISBN 3-540-18356-6, S. 158–167, doi:10.1007/BFb0078350.
• David Gabai: Convergence groups are Fuchsian groups. In: Annals of Mathematics. Bd. 136, Nr. 3 (Nov., 1992), S. 447–510, JSTOR 2946597.
• Andrew Casson, Douglas Jungreis: Convergence groups and Seifert fibered 3-manifolds. Invent. Math. 118 (1994), no. 3, 441–456, doi:10.1007/BF01231540.
• Pekka Tukia: Convergence groups and Gromov's metric hyperbolic spaces. In: New Zealand Journal of Mathematics. Bd. 23, Nr. 2, 1994, ISSN 1171-6096, S. 157–187, Link zu Digitalisat .
• Eric M. Freden: Negatively curved groups have the convergence property I. In: Annales Academiæ Scientiarum Fennicæ. Series A. 1: Mathematica. Bd. 20, Nr. 2, 1995, ISSN 0066-1953, S. 333–348, Digitalisat (PDF; 137,81 kB).
• Brian H. Bowditch: Convergence groups and configuration spaces. In: John Cossey, Charles F. Miller, Walter D. Neumann, Michael Shapiro (Hrsg.): Geometric group theory down under. Proceedings of a special year in geometric group theory, Canberra, Australia, 1996. de Gruyter, Berlin u. a. 1999, ISBN 3-11-016366-7, S. 23–54, online.
• Pekka Tukia: Conical limit points and uniform convergence groups. In: Journal für die reine und angewandte Mathematik. Heft 501, 1998, S. 71–98, doi:10.1515/crll.1998.081.
• Brian H. Bowditch: A topological characterisation of hyperbolic groups. In: Journal of the American Mathematical Society. Bd. 11, Nr. 3, 1998, S. 643–667, doi:10.1090/S0894-0347-98-00264-1.