[論文レビュー] 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(\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 $ は関連する双曲多様体の $ 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 $ 未満の円の有効な漸近的数え上げを確立すること。
• 臨界指数 $ \rho > 1 $ をもつ幾何的に有限な双曲3-多様体の単位接 bundle における閉じた水平超曲面の有効な等分布定理を証明すること。
• 円の数え上げ問題を、双曲多様体のスペクトル的性質、特に $ L^2 $-スペクトルギャップに結びつけること。
• 漸近公式における $ N_T(\rho) $ の定量的誤差項を、スペクトルギャップパラメータ $ s_1 $ に明示的に依存する形で提示すること。
• 整数アポロニウスの詰め込みへの結果の拡張を行い、主要項を残差集合 $ \text{Res}(\rho) $ の $ \rho $-次元ハウスドルフ測度に関連付けること。

提案手法

• 拡張複素平面への $ \text{PSL}_2(\bbC) $ の作用を用いて、アポロニウスの詰め込みを離散的で幾何的に有限な部分群 $ \rho \backslash \bbH^3 $ に結びつける。
• 均質空間上のスペクトル理論と力学を用いて証明された、$ \rho \backslash \bbH^3 $ の単位接 bundle における閉じた水平超曲面の等分布性を適用する。
• 符号型 $ (3,1) $ のデカルトの二次形式 $ Q $ を用いて、円の数え上げ関数 $ N_T(\rho) $ をアポロニウス群 $ \rho $ における錐内での格子点の数に関連付ける。
• $ \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)) $ に普遍定数 $ c_A $ を乗じたものに等しいことが示された。この $ c_A $ は $ \rho $ に依存しない。
• 結果は、すべての整数アポロニウスの詰め込みに適用可能である。なぜなら、それらはいずれも有界であるか、または二本の平行線の間にあるからである。
• 漸近式における定数 $ c_{\rho} $ は、有限個の $ \rho_0 \triangleleft \rho $ の陪集合上での $ \rho $-不変測度の和として表され、$ c_{\rho} = \rho_{i=1}^{m} \rho_{v_i}(\rho_0, K) $ と書ける。
• 証明は、$ \rho \backslash \text{PSL}_2(\bbC) $ における水平超曲面の有効な等分布性に依存しており、誤差はスペクトルギャップおよび $ L^2 $-作用素ノルムによって制御される。