Summary: Apollonian circle packings arise by repeatedly filling the interstices between four mutually tangent circles with further tangent circles. We observe that there exist Apollonian packings which have strong integrality properties, in which all circles in the packing have integer curvatures and rational centers such that (curvature) (center) is an integer vector. This series of papers explain such properties (for part II and III see ibid. 35, No. 1, 1–36 (2006; Zbl 1085.52011) and 37–72 (2006; Zbl 1085.52012), respectively).
A Descartes configuration is a set of four mutually tangent circles with disjoint interiors. An Apollonian circle packing can be described in terms of the Descartes configuration it contains. We describe the space of all ordered, oriented Descartes configurations using a coordinate system consisting of those real matrices with where is the matrix of the Descartes quadratic form and of the quadratic form . On the parameter space the group acts on the left, and acts on the right, giving two different “geometric” actions. Both these groups are isomorphic to the Lorentz group . The right action of (essentially) corresponds to Möbius transformations acting on the underlying Euclidean space while the left action of is defined only on the parameter space.
We observe that the Descartes configurations in each Apollonian packing form an orbit of a single Descartes configuration under a certain finitely generated discrete subgroup of , which we call the Apollonian group. This group consists of integer matrices, and its integrality properties lead to the integrality properties observed in some Apollonian circle packings.
We introduce two more related finitely generated groups in , the dual Apollonian group produced from the Apollonian group by a “duality” conjugation, and the super-Apollonian group which is the group generated by the Apollonian and dual Apollonian groups together. These groups also consist of integer matrices. We show these groups are hyperbolic Coxeter groups.