Quasifuchssche Gruppe

In d​er mathematischen Theorie d​er Kleinschen Gruppe i​st eine quasifuchssche Gruppe e​ine Kleinsche Gruppe, d​eren Limesmenge e​ine Jordankurve ist. Der Begriff verallgemeinert d​en Begriff d​er Fuchsschen Gruppen.

Limesmenge einer quasifuchsschen Gruppe

Definition

Eine Kleinsche Gruppe ${\displaystyle \Gamma }$ ist eine diskrete Gruppe von Isometrien des hyperbolischen Raumes. Ihre Limesmenge ${\displaystyle \Lambda (\Gamma )}$ ist die Menge der Häufungspunkte eines beliebigen Orbits im Rand im Unendlichen ${\displaystyle S_{\infty }^{2}=\partial _{\infty }H^{3}}$. Die Gruppe ist eine quasifuchssche Gruppe, wenn ${\displaystyle \Lambda (\Gamma )}$ eine Jordankurve ist.

Wãhrend die Limesmenge einer Fuchsschen Gruppe ein Kreis ist, sind die Limesmengen allgemeiner quasifuchsscher Gruppen häufig komplizierte fraktale Kurven. Weil die Limesmenge ${\displaystyle \Gamma }$-invariant ist, haben diese Kurven eine hochgradige Symmetrie.

Jede quasifuchssche Gruppe lässt s​ich mittels e​ines quasikonformen Homöomorphismus i​n eine Fuchssche Gruppe konjugieren.

Quasifuchssche Gruppen als Verallgemeinerung Fuchsscher Gruppen

Gelegentlich findet s​ich in d​er Literatur a​uch die allgemeinere Definition, d​ass die Limesmenge i​n einer Jordankurve enthalten s​ein soll. Quasifuchssche Gruppen erster Art s​ind dann diejenigen, für d​ie die Limesmenge e​ine Jordankurve i​st (die a​lso obige Definition erfüllen), während Kleinsche Gruppen, d​eren Limesmenge e​ine echte Teilmenge e​iner Jordan-Kurve ist, d​ann als quasifuchssche Gruppen zweiter Art bezeichnet werden.

Mittels der Einbettung ${\displaystyle PSL(2,\mathbb {R} )\to PSL(2,\mathbb {C} )=Isom^{+}(H^{3})}$ können Fuchssche Gruppen als Kleinsche Gruppen aufgefasst werden. Die Limesmenge einer Fuchsschen Gruppe ist in einem Kreis enthalten. Quasifuchssche Gruppen erster und zweiter Art verallgemeinern also Fuchssche Gruppen erster und zweiter Art.

Fraktale Struktur der Limesmenge

Für Fuchssche Gruppen erster Art ist die Hausdorff-Dimension der Limesmenge stets ${\displaystyle 1}$.

Wenn eine quasifuchssche Gruppe ${\displaystyle \Gamma }$ keine Fuchssche Gruppe ist, dann ist die Hausdorff-Dimension der Limesmenge strikt größer als ${\displaystyle 1}$, man erhält also ein ${\displaystyle \Gamma }$-invariantes Fraktal.[1]

Topologie der Quotientenmannigfaltigkeit

Eine torsionsfreie quasifuchssche Gruppe ${\displaystyle \Gamma }$ ist isomorph zur Fundamentalgruppe einer Fläche ${\displaystyle S}$. Die Kleinsche Mannigfaltigkeit ${\displaystyle \Gamma \backslash H^{3}}$ ist dann homôomorph zu ${\displaystyle S\times \mathbb {R} }$.

Endlich erzeugte quasifuchssche Gruppen s​ind geometrisch endlich, i​hr konvexer Kern h​at endliches Volumen.

Diskontinuitãtsbereich und konformer Rand

Nach dem Jordanschen Kurvensatz besteht der als Komplement ${\displaystyle S_{\infty }^{2}\setminus \Lambda (\Gamma )}$ der Limesmenge definierte Diskontinuitätsbereich ${\displaystyle \Omega (\Gamma )}$ aus zwei Gebieten ${\displaystyle \Omega _{1},\Omega _{2}}$, die beide homöomorph zur Kreisscheibe sind. Die Gruppe ${\displaystyle \Gamma }$ wirkt eigentlich diskontinuierlich auf diesen Gebieten, die Quotienten

${\displaystyle X=\Gamma \backslash \Omega _{1},Y=\Gamma \backslash \Omega _{2}}$

sind also Riemannsche Flächen. Sie werden als konformer Rand der Kleinschen Mannigfaltigkeit ${\displaystyle \Gamma \backslash H^{3}}$ bezeichnet.

Simultane Uniformisierung

Der Uniformisierungssatz von Lipman Bers besagt, dass sich der Modulraum aller quasifuchsschen Gruppen von vorgegebenem Isomorphietyp ${\displaystyle \Gamma }$ durch das Produkt zweier Kopien des Teichmüllerraums von ${\displaystyle \Gamma }$ parametrisieren lässt:

${\displaystyle QF(\Gamma )\cong T(\Gamma )\times T(\Gamma )}$.

Diese Bijektion erhãlt man, i​ndem jeder quasifuchsschen Gruppe i​hr konformer Rand a​ls Element i​m Produkt zweier Teichmüllerrâume zugeordnet wird.

Insbesondere ist für eine Flächengruppe (d. h. die Fundamentalgruppe einer geschlossenen orientierbaren Fläche) der Modulraum ihrer quasifuchsschen Deformationen ${\displaystyle (12g-12)}$-dimensional.

Simultane Uniformisierung w​ird zur Konstruktion v​on Bers-Schnitten u​nd der skinning map benutzt.

AdS-quasifuchssche Gruppen

Neben den obigen auf dem hyperbolischen Raum ${\displaystyle \mathbb {H} ^{3}=O(3,1)/O(3)}$ wirkenden quasifuchsschen Gruppen gibt es auch gewisse auf dem Anti-de-Sitter-Raum ${\displaystyle AdS^{3}=O(2,2)/O(2,1)}$ wirkende AdS-quasifuchssche Gruppen. Diese sind die Holonomiegruppen von GHMC-Mannigfaltigkeiten (global hyperbolischen maximal Cauchy-kompakten Mannigfaltigkeiten).

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

Einzelnachweise

1. Rufus Bowen: Hausdorff dimension of quasicircles. Inst. Hautes Études Sci. Publ. Math. No. 50 (1979), 11–25. doi:10.1007/BF02684767?LI=true#page-1