REGULAR POLYTOPES, SPHERE PACKINGS AND APOLLONIAN SECTIONS IVAN´ RASSKIN Abstract. In this paper we explore the connection between polytopes and sphere packings. After introducing the notion of Apollonian section, we prove our main result, that every integral tetrahedral, octahedral or cubical Apollonian circle packing is contained as an Apollonian section of an integral or- thoplicial Apollonian section. This result implies that the set of curvatures in every integral tetrahedral, octahedral or cubical Apollonian circle packing is contained in the set of curvatures of an integral ortho- plicial Apollonian sphere packing. We also prove that cross polytopes in dimension ≥ 3 and the 24-cell are M¨obiusunique, we give a new set of non edge-scribable 4-polytopes and we obtain a generalization of the octahedral Descartes' Theorem of Guettler and Mallows in every dimension. 1. Introduction Sphere packings appear diversely in chemistry, physics and mathematics in crystal structures, granu- lar systems or number theory [UN18; Gaj+21; FSZ19]. There is a long trajectory on the numerical and analytic approaches, but many questions about the algebraic and combinatorial aspects of non-congruent sphere packings are still open. This work is a continuation of [RR21a] where Ram´ırezAlfons´ınand the author introduced a polytopal approach to investigate d-dimensional sphere packings. This yielded, in particular, to a number of results on generalizations of Apollonian circle packings and Descartes' The- orem based on the Platonic solids. Here, we focus our attention to the third dimensional analogue by investigating the connection between sphere packings and the 4-dimensional regular polytopes. A particular case of sphere packing based on a regular 4-polytope was given by Nakamura and Dias in two independent works [Nak14; Dia14]. Nakamura called the construction the orthoplicial Apollonian sphere packing and is obtained as follows. Consider a packing of 8 spheres whose tangency graph is the 1-skeleton of an orthoplex. For each subset of four pairwise tangent spheres, there is a unique dual sphere orthogonal to the four. Invert the whole configuration trough every dual sphere, and then repeating this process infinitely (see Figure 1). Nakamura and Dias used the orthoplicial Apollonian sphere packing to prove the corresponding analogue of the local-to-global principle of tetrahedral Apollonian circle packings, conjectured by Graham, Lagarias, Mallow, Wilks and Yan in [Gra+03]. The original conjecture states that for every integral tetrahedral Apollonian packing, every integer large enough satisfying a certain modulo conditions, appears as a curvature. Nowadays, this conjecture is still open [FSZ19]. arXiv:2109.00655v1 [math.CO] 2 Sep 2021 Figure 1. The orthoplicial Apollonian sphere packing at 0, 1 and 2 iterations. Each color represents an orbit. 2010 Mathematics Subject Classification. 51M20, 05B40, 52C17. Key words and phrases. Sphere packings, Apollonian packings, Descartes' Theorem, Polytopes, Number theory. 1 Cross sections are a natural way to study Apollonian configurations in high dimensions [Bar18]. In order to recognize planar structures in sphere packings, not only geometrically but also arithmetically, we shall present an algebraic generalization of cross sections of Apollonian clusters that we call Apollonian sections. Through this notion we shall prove the following theorem, which implies that the curvatures in every integral tetrahedral, octahedral or cubical Apollonian packing are contained in an integral orthoplicial Apollonian packing (see Figures 2, 15 and 16). Theorem 1. Let Ω(BP ) be either a tetrahedral, an octahedral or a cubical Apollonian packing. There is an orthoplicial Apollonian packing Ω(BO4 ) containing an Apollonian section arithmetically equivalent to Ω(BP ). Moreover, Ω(BP ) is integral if and only if Ω(BO4 ) is integral. -3 Figure 2. (Left) An integral tetrahedral Apollonian circle packing Ω(BT 3 ), (center) an integral orthoplicial Apollonian sphere packing Ω(BO4 ), (right) an Apollonian section of Ω(BO4 ) arithmetically equivalent to Ω(BT 3 ). 1.1. Main results. In addition to Theorem 1, our main contributions are the following: (i) New representations of the regular 4-polytopes called Centered Ball Packing projections (Figures 3 and 4). (ii) We prove that cross polytopes in dimension ≥ 3 as well as the 24-cell are M¨obiusunique (Theorem 2 and Proposition 2.2). (iii) We present a new set of non edge-scribable 4-polytopes (Proposition 2.3). (iv) We obtain a generalization of the octahedral Descartes' Theorem of Guettler and Mallows in every higher dimension (Corollary 2.3). (v) We relate integral polytopal d-ball packings based on the (d + 1)-simplex, (d + 1)-cross polytope and (d + 1)-cube to integers solutions of three diaphontine equations (Corollary 2.5). 1.2. Organization of the paper. In Section 2, after recalling the main tools introduced in [RR21a], we show the Centered Ball Packing projections of the regular 4-polytopes. Then, we extend the results on M¨obiusunicity for the family of cross polytopes in dimension 3 and above and the 24-cell. We briefly discuss the M¨obiusspectra of regular polytopes and use the M¨obiusunicity of the orthoplex, cube and 24-cell to obtain a class of 4-polytopes which are not edge-scribable. After that, we restate the polytopal generalization of Descartes' Theorem given in [RR21a] in terms of quadratic forms. Through this new approach, we obtain analogues of the equation of Descartes' Theorem for the family of the simplex, cross polytopes and hypercubes in every dimension, that turns out to be useful to find primitive solutions to three different diophantine equations. In Section 3, we show that the Nakamura's definition of orthoplicial sphere packings are in fact polytopal. We then discuss some aspect concerning the duality of orthoplicial sphere packings and we introduce the notion of orthoplicial trinity. Then, we compute the symmetrized Apollonian group and use it to give an alternative matrix representation of the orthoplicial Apollonian group. Finally, in Section 4, we focus our attention to integral packings. After introducing the notion of Apollonian sections of Apollonian clusters we prove the main theorem. We end with some conjectures and concluding remarks. 2 2. Preliminaries on polytopal d-ball packings. The construction given in [RR21a] to obtain d-ball packings from (d + 1)-polytopes is described as follows. Take a (d+1)-polytope P whose vertices lie outside the unit sphere of the Euclidean space Ed+1. Then, put at each vertex of P a \light source" illuminating the sphere. By projecting stereoreographi- cally the illuminated areas, one obtains a d-ball arrangement in Rcd called the ball-arrangement projection of P, denoted by B(P). If P is edge-scribed, that is, with every edge tangent to the sphere, then B(P) is d-ball packing. In this case, every d-ball packing BP equivalent to B(P) under M¨obiustransformations is said to be polytopal and P is called the tangency polytope of BP . The tangency graph of BP corresponds to the 1-skeleton of P [Che16]. We notice that there are d-ball packings which are not polytopal [RR21a]. One of the main features of polytopal d-ball packings is that they admit a consistent definition of duality in every dimension, contrarily to d-ball packings where the combinatorics is given by a graph or a simplicial complex. If µ is the M^obiustransformation sending B(P) to BP , then the dual of BP , ∗ ∗ ∗ denoted by BP , is given by µ(B(P )) where P denotes the polar of P. Duality is then needed to general- ize the Apollonian group and its variants to every polytopal d-ball packing (see [RR21a] for more details). We say that a polytopal d-ball packing is regular if its tangency polytope is regular. Let us recall the list of regular polytopes in every dimension. All 2-polytopes (polygons) admits a regular realization. The Platonic solids, namely, the tetrahedron T 3, the octahedron O3, the cube C3, the icosahedron I3 and the dodecahedron D3 are the five regular 3-polytopes (polyhedra). The 4-simplex T 4, the orthoplex O4, the hypercube C4, the 600-cell I4 and the 120-cell D4 are five regular 4-polytopes which can be thought as a 4-dimensional analogue of the Platonic solids. The remaining regular 4-polytope, the 24-cell R4 (the notation is not standard), completes the list of regular 4-polytopes. For every d ≥ 2, we shall denote by T d+1, Od+1 and Cd+1 the (d + 1)-dimensional simplex, octahedron and cube. It is well-known that in dimension 5 or above, these three families are the only regular polytopes [Cox73]. The following table contains all the information needed for the paper about the regular (d + 1)-polytopes for d ≥ 1. d Name Notation Schl¨aflisymbol Eigenvalues Multiplicities Midsphere ratio d = 1 p-gone (p ≥ 3) - fpg Not M¨obius unique for p > 3 tan(π=p) f3;:::; 3; 3g −d 1 q d ≥ 1 (d + 1)-Simplex T d+1 d+2 | {z } d d−1 2 d + 1 −2(d + 1) 1 d+1 f3;:::; 3; 4g (d + 1)-Cross polytope O | {z } d + 1 14 d−1 0 d d ≥ 2 −2d+1d 1 d+1 f4; 3;:::; 3g d+1 −1=2 (d + 1)-Cube C | {z } 2 d + 1 d d−1 0 2d+1 − d − 2 −12'2 1 Icosahedron I3 f3; 5g 4('2 + 1) 3 '−1 0 8 d = 2 −20'4 1 Dodecahedron D3 f5; 3g 20'2 3 '−2 0 16 −72 1 24-cell R4 f3; 4; 3g 24 4 3−1=2 0 19 d = 3 600-cell I4 f3; 3; 5g M¨obiusunique? 5−1=4'−3=2 120-cell D4 f5; 3; 3g M¨obiusunique? 3−1=2'−3 Table 1. Notations, M¨obiusspectra and midsphere ratio of regular (d + 1)-polytopes for d ≥ 1.