# 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 $x\not =a_{-}$ und diese Konvergenz ist gleichmäßig auf kompakten Teilmengen von $X\setminus \left\{a_{-},a_{+}\right\}$.

## Limesmenge

Die Limesmenge von $\Gamma$ ist eine minimale, nichtleere, abgeschlossene, $\Gamma$-invariante Teilmenge $\Lambda (\Gamma )\subset X$. Die Konvergenzgruppe heißt nichtelementar, wenn $\Lambda (\Gamma )$ aus mehr als zwei Punkten besteht. In diesem Fall ist $\Lambda (\Gamma )$ eine perfekte Menge und insbesondere unendlich.
Die Konvergenzwirkung heißt minimal, wenn $\Lambda (\Gamma )=X$.
Ein konischer Grenzpunkt ist ein Punkt $x\in X$, zu dem es eine Folge unterschiedlicher Elemente $\gamma _{n}\in \Gamma$ und Punkte $a_{\pm }\in X$ gibt mit $\lim _{n\to \infty }\gamma _{n}x=a_{+}$ und $\gamma _{n}\mid _{X\setminus \left\{x\right\}}$ konvergiert gleichmäßig auf Kompakta gegen die Abbildung, die konstant $a_{-}$ ist. Zum Beispiel sind Fixpunkte einer loxodromischen Abbildung konische Grenzpunkte.

## Hyperbolische Gruppen, Gleichmäßige Konvergenzgruppen

Eine Konvergenzgruppe heißt gleichmäßige Konvergenzgruppe oder uniforme Konvergenzgruppe, wenn die Wirkung auf $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 $\Gamma$ ist genau dann eine gleichmäßige Konvergenzgruppe, wenn $\Gamma$ eine hyperbolische Gruppe und die Konvergenzwirkung mittels eines $\Gamma$-äquivarianten Homöomorphismus zur Wirkung von $\Gamma$ auf dem Gromov-Rand $\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.