Ideales Simplex

Das ideale Simplex ist ein Begriff aus der Geometrie und beschreibt ein Simplex mit „Ecken im Unendlichen“.

Es bezeichne H n {\displaystyle H^{n}} den n {\displaystyle n} -dimensionalen hyperbolischen Raum und ∂ ∞ H n {\displaystyle \partial _{\infty }H^{n}} seinen Geodätischen Rand.

Ein ideales Simplex ist ein geodätisches Simplex in H n ¯ := H n ∪ ∂ ∞ H n {\displaystyle {\overline {H^{n}}}:=H^{n}\cup \partial _{\infty }H^{n}} , dessen Ecken in ∂ ∞ H n {\displaystyle \partial _{\infty }H^{n}} liegen.

Man kann zeigen, dass es zu jedem Tupel ( v 0 , … , v k ) ∈ ( ∂ ∞ H n ) k + 1 {\displaystyle (v_{0},\ldots ,v_{k})\in (\partial _{\infty }H^{n})^{k+1}} ein ideales k {\displaystyle k} -Simplex mit Ecken v 0 , … , v k {\displaystyle v_{0},\ldots ,v_{k}} gibt.

Alle idealen Dreiecke in der hyperbolischen Ebene (oder in einem höher-dimensionalen hyperbolischen Raum) sind isometrisch. Das ist eine unmittelbare Folgerung aus der Tatsache, dass die Gruppe P S L ( 2 , R ) {\displaystyle PSL(2,\mathbb {R} )} der orientierungserhaltenden Isometrien der hyperbolischen Ebene 3 {\displaystyle 3} -fach transitiv auf ∂ ∞ H 2 = R P 1 {\displaystyle \partial _{\infty }H^{2}=\mathbb {R} P^{1}} wirkt.

Nicht-entartete ideale Tetraeder im 3-dimensionalen hyperbolischen Raum werden bis auf Isometrie durch das Doppelverhältnis ihrer 4 {\displaystyle 4} Ecken klassifiziert. Auch das ist eine unmittelbare Folgerung aus der Tatsache, dass die Gruppe P S L ( 2 , C ) {\displaystyle PSL(2,\mathbb {C} )} der orientierungserhaltenden Isometrien des hyperbolischen Raumes 3 {\displaystyle 3} -fach transitiv auf ∂ ∞ H 3 = C P 1 {\displaystyle \partial _{\infty }H^{3}=\mathbb {C} P^{1}} wirkt.

Ein ideales Simplex mit Ecken ( v 0 , … , v k ) ∈ ( ∂ ∞ H n ) k + 1 {\displaystyle (v_{0},\ldots ,v_{k})\in (\partial _{\infty }H^{n})^{k+1}} heißt regulär, wenn es zu jeder Permutation π {\displaystyle \pi } der Ecken eine Isometrie g : H n → H n {\displaystyle g\colon H^{n}\to H^{n}} mit g ( v i ) = π ( v i ) {\displaystyle g(v_{i})=\pi (v_{i})} gibt.

Die idealen n {\displaystyle n} -Simplizes maximalen Volumens sind genau die regulären idealen Simplizes.^[1][2] Insbesondere gibt es eine obere Schranke für das Volumen idealer Simplizes im hyperbolischen Raum.

Allgemeiner kann man ideale Simplizes in einfach zusammenhängenden Räumen nichtpositiver Schnittkrümmung ebenfalls als geodätische Simplizes mit Ecken im Rand im Unendlichen definieren.

In einfach zusammenhängenden Räumen negativer Schnittkrümmung gibt es zu jedem Tupel von Punkten im Rand im Unendlichen wieder ein ideales Simplex mit diesen Ecken. Bei lediglich nichtpositiver Schnittkrümmung muss das im Allgemeinen nicht der Fall sein.

• Benedetti, Riccardo; Petronio, Carlo: Lectures on hyperbolic geometry. Universitext. Berlin etc.: Springer-Verlag. (1992)
• Ratcliffe, John G.: Foundations of hyperbolic manifolds. 2nd ed. Graduate Texts in Mathematics 149. New York, NY: Springer (ISBN 0-387-33197-2) (2006).
• Ballmann, Werner; Gromov, Mikhael; Schroeder, Viktor: Manifolds of nonpositive curvature. Progress in Mathematics, 61. Boston-Basel-Stuttgart: Birkhäuser. (1985)

1. ↑ Haagerup, Uffe; Munkholm, Hans J.: Simplices of maximal volume in hyperbolic n-space. (English) Acta Math. 147, 1-11 (1981).
2. ↑ Peyerimhoff, Norbert: Simplices of maximal volume or minimal total edge length in hyperbolic space. J. Lond. Math. Soc., II. Ser. 66, No. 3, 753-768 (2002).