Komplex-hyperbolische ideale Dreiecksgruppe

aus Wikipedia, der freien Enzyklopädie
(Weitergeleitet von Komplexe ideale Dreiecksgruppe)
Zur Navigation springen Zur Suche springen

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.

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 | Quelltext 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 | Quelltext 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.

  • 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)