An official website of the United States government
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
On superintegral Kleinian sphere packings, bugs, and arithmetic groups
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
- Award ID(s):
- 2302641
- PAR ID:
- 10627077
- Publisher / Repository:
- Journal für die reine und angewandte Mathematik (Crelles Journal)
- Date Published:
- Journal Name:
- Journal für die reine und angewandte Mathematik (Crelles Journal)
- Volume:
- 0
- Issue:
- 0
- ISSN:
- 0075-4102
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
We answer in the affirmative a question of Sarnak’s from 2007, confirming that the Patterson–Sullivan base eigenfunction is the unique square-integrable eigenfunction of the hyperbolic Laplacian invariant under the group of symmetries of the Apollonian packing. Thus the latter has a maximal spectral gap. We prove further restrictions on the spectrum of the Laplacian on a wide class of manifolds coming from Kleinian sphere packings.more » « less
-
Given a Zariski-dense, discrete group, Γ, of isometries acting on (n + 1)- dimensional hyperbolic space, we use spectral methods to obtain a sharp asymptotic formula for the growth rate of certain Γ-orbits. In particular, this allows us to obtain a best-known effective error rate for the Apollonian and (more generally) Kleinian sphere packing counting problems, that is, counting the number of spheres in such with radius bounded by a growing parameter. Our method extends the method of Kontorovich [Kon09], which was itself an extension of the orbit counting method of Lax-Phillips [LP82], in two ways. First, we remove a compactness condition on the discrete subgroups considered via a technical cut- off and smoothing operation. Second, we develop a coordinate system which naturally corresponds to the inversive geometry underlying the sphere counting problem, and give structure theorems on the arising Casimir operator and Haar measure in these coordinates.more » « less
-
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
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1515/crelle-2023-0004
