The local-global conjecture for Apollonian circle packings is false

Summer Haag,Clyde Kertzer,James Rickards,Katherine E. Stange
DOI: https://doi.org/10.4007/annals.2024.200.2.6
2024-09-06
Abstract: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 will appear 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.
Number Theory
What problem does this paper attempt to address?