An official website of the United States government
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
The local-global conjecture for Apollonian circle packings is false
In a primitive integral Apollonian circle packing, the curvatures that appear must fall into one of six or eight residue classes modulo 24. The local-global conjecture states that every sufficiently large integer in one of these residue classes appears as a curvature in the packing. We prove that this conjecture is false for many packings, by proving that certain quadratic and quartic families are missed. The new obstructions are a property of the thin Apollonian group (and not its Zariski closure), and are a result of quadratic and quartic reciprocity, reminiscent of a Brauer-Manin obstruction. Based on computational evidence, we formulate a new conjecture.
more »
« less
- PAR ID:
- 10552281
- Publisher / Repository:
- Annals of Mathematics
- Date Published:
- Journal Name:
- Annals of Mathematics
- Volume:
- 200
- Issue:
- 2
- ISSN:
- 0003-486X
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
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
-
Abstract Let $$E$$ be an elliptic curve defined over $${\mathbb{Q}}$$ of conductor $$N$$, $$p$$ an odd prime of good ordinary reduction such that $E[p]$ is an irreducible Galois module, and $$K$$ an imaginary quadratic field with all primes dividing $Np$ split. We prove Iwasawa main conjectures for the $${\mathbb{Z}}_{p}$$-cyclotomic and $${\mathbb{Z}}_{p}$$-anticyclotomic deformations of $$E$$ over $${\mathbb{Q}}$$ and $K,$ respectively, dispensing with any of the ramification hypotheses on $E[p]$ in previous works. The strategy employs base change and the two-variable zeta element associated to $$E$$ over $$K$$, via which the sought after main conjectures are deduced from Wan’s divisibility towards a three-variable main conjecture for $$E$$ over a quartic CM field containing $$K$$ and certain Euler system divisibilities. As an application, we prove cases of the two-variable main conjecture for $$E$$ over $$K$$. The aforementioned one-variable main conjectures imply the $$p$$-part of the conjectural Birch and Swinnerton-Dyer formula for $$E$$ if $$\operatorname{ord}_{s=1}L(E,s)\leq 1$$. They are also an ingredient in the proof of Kolyvagin’s conjecture and its cyclotomic variant in our joint work with Grossi [1].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
-
Abstract We prove a general criterion that guarantees that an admissible subcategory of the derived category of an abelian category is equivalent to the bounded derived category of the heart of a bounded t‐structure. As a consequence, we show that has a strongly unique dg enhancement, applying the recent results of Canonaco, Neeman, and Stellari. We apply this criterion to the Kuznetsov component when is a cubic fourfold, a GM variety, or a quartic double solid. In particular, we obtain that these Kuznetsov components have strongly unique dg enhancement and that exact equivalences of the form are of Fourier–Mukai type when , belong to these classes of varieties, as predicted by a conjecture of Kuznetsov.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.4007/annals.2024.200.2.6
