zbMATH — the first resource for mathematics

Examples
 Geometry Search for the term Geometry in any field. Queries are case-independent. Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact. "Topological group" Phrases (multi-words) should be set in "straight quotation marks". au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted. Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff. "Quasi* map*" py: 1989 The resulting documents have publication year 1989. so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14. "Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic. dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles. py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses). la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
 a & b logic and a | b logic or !ab logic not abc* right wildcard "ab c" phrase (ab c) parentheses
Fields
 any anywhere an internal document identifier au author, editor ai internal author identifier ti title la language so source ab review, abstract py publication year rv reviewer cc MSC code ut uncontrolled term dt document type (j: journal article; b: book; a: book article)
Apollonian circle packings: Geometry and group theory. III: Higher dimensions. (English) Zbl 1085.52012

Summary: This paper gives $n$-dimensional analogues of the Apollonian circle packings in Parts I and II [ibid. 34, No. 4, 547–585 (2005; Zbl 1085.52010) and this volume, 1–36 (2006; Zbl 1085.52011)]. Those papers considered circle packings described in terms of their Descartes configurations, which are sets of four mutually touching circles. They studied packings that had integrality properties in terms of the curvatures and centers of the circles. Here we consider collections of $n$-dimensional Descartes configurations, which consist of $n+2$ mutually touching spheres.

We work in the space ${M}_{D}^{n}$ of all $n$-dimensional oriented Descartes configurations parametrized in a coordinate system, augmented curvature-center coordinates, as those $\left(n+2\right)×\left(n+2\right)$ real matrices $W$ with ${W}^{T}{Q}_{D,n}W={Q}_{W,n}$ where ${Q}_{D,n}={x}_{1}^{2}+\cdots +{x}_{n+2}^{2}-\left(1/n\right){\left({x}_{1}+\cdots +{x}_{n+2}\right)}^{2}$ is the $n$-dimensional Descartes quadratic form, ${Q}_{W,n}=-8{x}_{1}{x}_{2}+2{x}_{3}^{2}+\cdots +2{x}_{n+2}^{2}$, and ${𝐐}_{D,n}$ and ${𝐐}_{W,n}$ are their corresponding symmetric matrices. On the parameter space ${M}_{D}^{n}$ of augmented curvature-center matrices, the group $\mathit{\text{Aut}}\left({Q}_{D,n}\right)$ acts on the left and $\mathit{\text{Aut}}\left({Q}_{W,n}\right)$ acts on the right. Both these groups are isomorphic to the $\left(n+2\right)$-dimensional Lorentz group $O\left(n+1,1\right)$, and give two different “geometric" actions. The right action of $\mathit{\text{Aut}}\left({Q}_{W,n}\right)$ (essentially) corresponds to Möbius transformations acting on the underlying Euclidean space ${ℝ}^{n}$ while the left action of $\mathit{\text{Aut}}\left({Q}_{D,n}\right)$ is defined only on the parameter space ${M}_{D}^{n}$. We introduce $n$-dimensional analogues of the Apollonian group, the dual Apollonian group and the super-Apollonian group. These are finitely generated groups in $\mathit{\text{Aut}}\left({Q}_{D,n}\right)$, with the following integrality properties: the dual Apollonian group consists of integral matrices in all dimensions, while the other two consist of rational matrices, with denominators having prime divisors drawn from a finite set $S$ depending on the dimension. We show that the Apollonian group and the dual Apollonian group are finitely presented, and are Coxeter groups. We define an Apollonian cluster ensemble to be any orbit under the Apollonian group, with similar notions for the other two groups. We determine in which dimensions there exist rational Apollonian cluster ensembles (all curvatures are rational) and strongly rational Apollonian sphere ensembles (all augmented curvature-center coordinates are rational).

MSC:
 52C15 Packing and covering in 2 dimensions (discrete geometry)