Sphere packings and hyperbolic reflection groups (Q760907)

Die wohlbekannte Appollonische Kreispackung besteht darin, daß drei Kreise \(\omega_ 2\), \(\omega_ 3\), \(\omega_ 4\) so in einen Kreis \(\omega_ 1\) gelagert werden, daß jeder Kreis die anderen drei berührt; jedem Zwischenraum wird wieder ein Kreis eingefügt, der die drei ihn begrenzenden Kreisbögen berührt, usw. Algebraisch gewinnt man die Packung durch wiederholte Inversion der Kreise \(\omega_ 1,...,\omega_ 4\) an den zu \(\omega_ 1,...,\omega_ 4\) orthogonalen Kreisen \(e_ 1,...,e_ 4:\) Ist W die durch diese Inversionen erzeugte Gruppe, dann ist die Packung gerade \(\cup^{4}_{i=1}W\omega_ i.\) \textit{D. W. Boyd} [Can. J. Math. 25, 303-322 (1973; Zbl 0258.52012) und Pac. J. Math. 50, 383-398 (1974; Zbl 0242.52009)] hat analoge Packungen bis zu neun Dimensionen untersucht. Der Autor untersucht die Bedingungen, unter welchen eine Coxetergruppe W in einem Minkowskiraum eine Kugelpackung erzeugt. Unter Benutzung des klassischen Isomorphismus zwischen der konformen Gruppe im (N-2)-dimensionalen inversiven Raum und der isochronen Lorentzgruppe im N-dimensionalen Minkowskiraum findet er, daß das genau dann eintritt, wenn der Coxetergraph von W ein ''hyperbolischer'' Graph oder eine bestimmte Erweiterung davon ist.