skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Kleinian sphere packings, reflection groups, and arithmeticity
In this paper we study crystallographic sphere packings and Kleinian sphere packings, introduced first by Kontorovich and Nakamura in 2017 and then studied further by Kapovich and Kontorovich in 2021. In particular, we solve the problem of existence of crystallographic sphere packings in certain higher dimensions posed by Kontorovich and Nakamura. In addition, we present a geometric doubling procedure allowing to obtain sphere packings from some Coxeter polyhedra without isolated roots, and study “properly integral” packings (that is, ones which are integral but not superintegral). Our techniques rely extensively on computations with Lorentzian quadratic forms, their orthogonal groups, and associated higher–dimensional hyperbolic polyhedra.  more » « less
Award ID(s):
2302641
PAR ID:
10627078
Author(s) / Creator(s):
; ;
Publisher / Repository:
AMS
Date Published:
Journal Name:
Mathematics of Computation
Volume:
93
Issue:
345
ISSN:
0025-5718
Page Range / eLocation ID:
505 to 521
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We develop the notion of a Kleinian Sphere Packing, a generalization of“crystallographic” (Apollonian-like) sphere packings defined in [A. Kontorovich and K. Nakamura,Geometry and arithmetic of crystallographic sphere packings,Proc. Natl. Acad. Sci. USA 116 2019, 2, 436–441].Unlike crystallographic packings, Kleinian packings exist in all dimensions, as do “superintegral” such.We extend the Arithmeticity Theorem to Kleinian packings, that is, the superintegral ones come from ℚ-arithmetic lattices of simplest type.The same holds for more general objects we call Kleinian Bugs, in which the spheres need not be disjoint but can meet with dihedral angles π/m for finitely many m. We settle two questions from Kontorovich and Nakamura (2019): (i) that the Arithmeticity Theorem is in general false over number fields, and (ii)that integral packings only arise from non-uniform lattices. 
    more » « less
  2. We introduce the notion of a “crystallographic sphere packing,” defined to be one whose limit set is that of a geometrically finite hyperbolic reflection group in one higher dimension. We exhibit an infinite family of conformally inequivalent crystallographic packings with all radii being reciprocals of integers. We then prove a result in the opposite direction: the “superintegral” ones exist only in finitely many “commensurability classes,” all in, at most, 20 dimensions. 
    more » « less
  3. We generalize work by Bourgain and Kontorovich [ On the local-global conjecture for integral Apollonian gaskets , Invent. Math. 196 (2014), 589–650] and Zhang [ On the local-global principle for integral Apollonian 3-circle packings , J. Reine Angew. Math. 737 , (2018), 71–110], proving an almost local-to-global property for the curvatures of certain circle packings, to a large class of Kleinian groups. Specifically, we associate in a natural way an infinite family of integral packings of circles to any Kleinian group $${\mathcal{A}}\leqslant \text{PSL}_{2}(K)$$ satisfying certain conditions, where $$K$$ is an imaginary quadratic field, and show that the curvatures of the circles in any such packing satisfy an almost local-to-global principle. A key ingredient in the proof is that $${\mathcal{A}}$$ possesses a spectral gap property, which we prove for any infinite-covolume, geometrically finite, Zariski dense Kleinian group in $$\operatorname{PSL}_{2}({\mathcal{O}}_{K})$$ containing a Zariski dense subgroup of $$\operatorname{PSL}_{2}(\mathbb{Z})$$ . 
    more » « less
  4. Abstract A circle of curvature $$n\in \mathbb{Z}^+$$ is a part of finitely many primitive integral Apollonian circle packings. Each such packing has a circle of minimal curvature $$-c\leq 0$$, and we study the distribution of $c/n$ across all primitive integral packings containing a circle of curvature $$n$$. As $$n\rightarrow \infty $$, the distribution is shown to tend towards a picture we name the Apollonian staircase. A consequence of the staircase is that if we choose a random circle packing containing a circle $$C$$ of curvature $$n$$, then the probability that $$C$$ is tangent to the outermost circle tends towards $$3/\pi $$. These results are found by using positive semidefinite quadratic forms to make $$\mathbb{P}^1(\mathbb{C})$$ a parameter space for (not necessarily integral) circle packings. Finally, we examine an aspect of the integral theory known as spikes. When $$n$$ is prime, the distribution of $c/n$ is extremely smooth, whereas when $$n$$ is composite, there are certain spikes that correspond to prime divisors of $$n$$ that are at most $$\sqrt{n}$$. 
    more » « less
  5. Abstract We develop a version of the Kloosterman circle method with a bump function that is used to provide asymptotics for weighted representation numbers of nonsingular integral quadratic forms. Unlike many applications of the Kloosterman circle method, we explicitly state some constants in the error terms that depend on the quadratic form. This version of the Kloosterman circle method uses Gauss sums, Kloosterman sums, Salié sums, and a principle of nonstationary phase. We briefly discuss a potential application of this version of the Kloosterman circle method to a proof of a strong asymptotic local–global principle for certain Kleinian sphere packings. 
    more » « less