Komplexe ideale Dreiecksgruppen sind Spiegelungsgruppen zu den idealen Dreiecken der komplex-hyperbolischen Geometrie. Die von Richard Evan Schwartz bewiesene Goldman-Parker-Vermutung beschreibt die diskreten komplex-hyperbolischen Dreiecksgruppen.
Definition Bearbeiten
Der ideale Rand der komplex-hyperbolischen Ebene ist die 3-dimensionale Einheitssphäre . Ein ideales Dreieck ist ein -Dreieck mit Ecken im idealen Rand. Eine komplexe ideale Dreiecksgruppe ist die von den -Spiegelungen an den Seiten eines idealen Dreiecks erzeugte Gruppe. Die Produkte zweier Erzeuger sind dabei jeweils parabolische Isometrien.
Parametrisierung der komplexen idealen Dreiecksgruppen Bearbeiten
Die zu isometrischen idealen Dreiecken gehörenden Spiegelungsgruppen sind konjugiert in . Jedes ideale Dreieck lässt sich durch eine geeignete Isometrie auf ein Dreieck der Form
bringen, wobei
für ein ist. (Wegen liegen die drei Punkte auf .) Die idealen Dreiecke und dementsprechend auch die idealen Dreiecksgruppen werden also durch die nichtnegative reelle Zahl parametrisiert.
Goldman-Parker-Vermutung Bearbeiten
Die von Richard Schwartz bewiesene Goldman-Parker-Vermutung besagt, dass eine ideale Dreiecksgruppe genau dann eine diskrete Untergruppe der Isometriegruppe ist, wenn für den oben beschriebenen Parameter die Ungleichung
gilt.
Literatur Bearbeiten
- W. Goldman, J. Parker: Complex hyperbolic ideal triangle groups, J. Reine Angew. Math. 425, 71–86 (1992)
- Richard Schwartz: Ideal triangle groups, dented tori and numerical analysis, Ann. Math.153, 533–598 (2001)
- Richard Schwartz: A better proof of the Goldman-Parker conjecture, Geom. Top. 9, 1539–1601 (2005)