[论文解读] On the Local-Global Conjecture for integral Apollonian gaskets

Jean Bourgain, Alex Kontorovich|arXiv (Cornell University)|May 20, 2012

Mathematical Dynamics and Fractals参考文献 29被引用 8

一句话总结

该论文证明，对于一个固定的本原整数Apollonian密铺，几乎所有满足所有局部同余障碍的整数——即通过所有局部同余条件的整数——都会作为密铺中圆的曲率出现。通过结合Hardy-Littlewood圆法、谱间隙估计与小弧分析，作者证明了在$N$以内例外数的上界为$O(N^{1- heta})$，其中$ heta > 0$为有效常数，从而在密度意义上证实了局部-全局原理。

ABSTRACT

We prove that a set of density one satisfies the local-global conjecture for integral Apollonian gaskets. That is, for a fixed integral, primitive Apollonian gasket, almost every (in the sense of density) admissible (passing local obstructions) integer is the curvature of some circle in the gasket.

研究动机与目标

• 建立整数Apollonian密铺的局部-全局猜想，该猜想认为：每个足够大的、通过所有局部障碍的整数都会作为密铺中的曲率出现。
• 证明本原整数Apollonian密铺中曲率集合在可接受整数中的密度为1。
• 以最强有力的定量方式解决该猜想，即以$N$为变量，对例外数进行有效上界估计。
• 将谱理论与自守形式的先进工具应用于与Apollonian群相关的无限体积双曲3-流形的动力系统。

提出的方法

• 采用Hardy-Littlewood圆法，将问题分解为主要弧与小弧。
• 利用无限体积双曲3-流形中双曲截面的计数方法，建立在Vinogradov近期工作的基础之上。
• 应用由Varjú在附录中建立的同余塔上的统一谱间隙估计，以控制主要弧。
• 通过受Bourgain在Apollonian密铺中研究素数工作的启发，对小弧进行指数和估计分析。
• 利用Apollonian群及其算术子群的结构，控制模$q$下的局部表示。
• 将全局谱间隙结果与局部$p$-进提升技术相结合，证明对足够大的$q$，模$q$下具有完全满射性。

实验结果

研究问题

• RQ1 每个足够大的整数，若对所有$q$均满足模$q$下的所有局部同余条件，是否都会作为固定本原整数Apollonian密铺中某个圆的曲率出现？
• RQ2 在可接受整数中，此类密铺的曲率集合的渐近密度是多少？
• RQ3 能否以有效误差界而非仅定性密度的方式建立局部-全局猜想？
• RQ4 Apollonian群的谱性质——尤其是其谱间隙——如何限制曲率的分布？
• RQ5 圆法在具有算术结构的无限体积双曲商集中，能在多大程度上被适配？

主要发现

• 在$N$以内，局部-全局猜想的例外数被控制在$O(N^{1- heta})$以内，其中$ heta > 0$为有效常数，从而在密度意义上证实了该猜想。
• 对于根四元组为$(-11,21,24,28)^t$的密铺，其曲率集合在模24的可接受整数中具有密度$1/4$。
• 通过附录中Varjú的工作，建立了Apollonian群在同余塔上的谱间隙性质，从而实现了对主要弧的有效控制。
• 小弧分析成功地将Bourgain在素数上的方法推广至完整的曲率集合，表明可接受整数被密集表示。
• 证明表明，对所有$q$，有$A_{10^{13}}(q) = ar{ ho}( ext{SL}(2, ilde{bZ}_q))$，意味着在有限步之后模$q$下具有完全满射性。
• 局部障碍完全由根四元组$v_0$决定，且可接受性等价于模24下属于六个特定剩余类之一。