[论文解读] Effective Circle Count for Apollonian packings and Closed horospheres

Min Lee, Hee Oh|arXiv (Cornell University)|Feb 6, 2012

Mathematical Dynamics and Fractals参考文献 22被引用 10

一句话总结

本文通过双曲3-流形中紧致封闭广义球面的有效等分布，建立了在两条平行线之间或曲率有界的阿波罗尼奥斯堆叠中圆的计数公式的有效性。主要结果给出了依赖于谱间隙的误差项，形式为 $ N_T( ho) = c_A ho^{ ext{Hausdorff}} \text{Hausdorff}^{\text{dim}}(\text{Res}( ho)) \times T^{\rho} + O(T^{\rho - 2(\rho - s_1)/63}) $，其中显式依赖于相关双曲流形的 $ L^2 $-谱间隙。

ABSTRACT

The main result of this paper is an effective count for Apollonian circle packings that are either bounded or contain two parallel lines. We obtain this by proving an effective equidistribution of closed horospheres in the unit tangent bundle of a geometrically finite hyperbolic 3-manifold of infinite volume, whose fundamental group has critical exponent bigger than 1. We also discuss applications to Affine sieves. Analogous results for surfaces are treated as well.

研究动机与目标

• 建立在有界或位于两条平行线之间的阿波罗尼奥斯堆叠中，曲率小于 $ T $ 的圆的有效渐近计数。
• 证明几何有限双曲3-流形的单位切丛中封闭广义球面的有效等分布定理，其临界指数 $ \rho > 1 $。
• 将圆计数问题与双曲流形的谱性质联系起来，特别是 $ L^2 $-谱间隙。
• 在 $ N_T(\rho) $ 的渐近公式中提供一个定量误差项，显式依赖于谱间隙参数 $ s_1 $。
• 将结果推广至整数阿波罗尼奥斯堆叠，并将主项与剩余集 $ \text{Res}(\rho) $ 的 $ \rho $-维豪斯多夫测度联系起来。

提出的方法

• 利用 $ \text{PSL}_2(\bbC) $ 在扩展复平面上的作用，将阿波罗尼奥斯堆叠与离散的几何有限子群 $ \rho \backslash \bbH^3 $ 关联起来。
• 应用在 $ \rho \backslash \bbH^3 $ 的单位切丛中封闭广义球面的等分布，该结果通过齐次空间上的谱理论与动力系统方法证明。
• 通过阿波罗尼奥斯群 $ \rho $ 下的锥体中格点数，将圆计数函数 $ N_T(\rho) $ 与签名为 $ (3,1) $ 的笛卡尔二次型 $ Q $ 关联起来。
• 利用 $ \rho \backslash \bbH^3 $ 上拉普拉斯算子的谱间隙 $ s_1 $，通过 $ L^2 $-谱方法控制计数公式的误差项。
• 应用边界测度理论与 $ \rho $-维豪斯多夫测度 $ \rho^{\text{dim}}(\text{Res}(\rho)) $ 来表达主项。
• 通过对有限指数无扭子群 $ \rho_0 \triangleleft \rho $ 的平均，推导出渐近公式中的常数 $ c_{\rho} $。

实验结果

研究问题

• RQ1 在有界或双重渐近的阿波罗尼奥斯堆叠中，曲率 $ < T $ 的圆的渐近计数中，有效误差项是什么？
• RQ2 双曲3-流形 $ \rho \backslash \bbH^3 $ 的谱间隙如何影响圆计数中的误差率？
• RQ3 主项是否可以显式地用剩余集 $ \text{Res}(\rho) $ 的 $ \rho $-维豪斯多夫测度表示，且常数明确？
• RQ4 几何有限双曲3-流形中广义球面的有效等分布，在多大程度上能实现几何定义的格点问题中的有效计数？
• RQ5 渐近公式 $ N_T(\rho) \to c_{\rho} T^{\rho} $ 中的常数 $ c_{\rho} $ 如何与流形 $ \rho \backslash \bbH^3 $ 的谱数据相关联？

主要发现

• 建立了有效的计数公式：$ N_T(\rho) = c_A \rho^{\text{Hausdorff}} \text{Hausdorff}^{\text{dim}}(\text{Res}(\rho)) \times T^{\rho} + O(T^{\rho - 2(\rho - s_1)/63}) $，其中 $ s_1 $ 为高于 $ \rho(2 - \rho) $ 的第一个谱间隙。
• 误差项显式依赖于 $ L^2 $-谱间隙 $ s_1 $，指数为 $ \rho - 2(\rho - s_1)/63 $，表明更优的谱间隙可带来更强的误差衰减。
• 主项常数 $ c_A \rho^{\text{Hausdorff}} \text{Hausdorff}^{\text{dim}}(\text{Res}(\rho)) $ 被证明等于 $ \rho^{\text{dim}}(\text{Res}(\rho)) $ 乘以一个与 $ \rho $ 无关的绝对常数 $ c_A $。
• 该结果适用于所有整数阿波罗尼奥斯堆叠，因为它们均属于有界或位于两条平行线之间的情形。
• 渐近公式中的常数 $ c_{\rho} $ 表达为有限个无扭有限指数子群 $ \rho_0 \triangleleft \rho $ 的陪集上的 $ \rho $-不变测度之和，即 $ c_{\rho} = \sum_{i=1}^{m} \rho_{v_i}(\rho_0, K) $。
• 证明依赖于 $ \rho \backslash \text{PSL}_2(\bbC) $ 中广义球面的有效等分布，其误差由谱间隙和 $ L^2 $-算子范数控制。