[論文レビュー] The horocycle flow at prime times

Peter Sarnak, Adrián Ubis|arXiv (Cornell University)|Oct 4, 2011

Analytic Number Theory Research参考文献 19被引用数 8

ひとこと要約

本稿では、モジュラー面上の非周期的軌道に対して、素数時におけるホロサイクルフローが正の測度の集合で稠密であることを確立し、ラマヌジャン/セールベルク予想の下で、特別なヘッケ軌道に対して完全な稠密性を証明する。有効な等分布理論とスペクトル論を用いて、素数時測度の弱極限が不変測度に関して均等に絶対連続であり、密度が10以下に有界であることを示す。

ABSTRACT

We prove that the orbit of a non-periodic point at prime values of the horocycle flow in the modular surface is dense in a set of positive measure. For some special orbits we also prove that they are dense in the whole space (assuming the Ramanujan/Selberg conjectures for GL(2)/Q). In the process, we derive an effective version of Dani's Theorem for the (discrete) horocycle flow.

研究の動機と目的

• モジュラー面上におけるホロサイクルフローの素数時制限軌道の分布を調査すること。
• 一般の点のホロサイクルフローによる素数時軌道が、全体空間に稠密であるか、それとも正の測度の部分集合にのみ稠密であるかを特定すること。
• ディスクリートホロサイクルフローに対する有効な等分布結果を確立し、ダニの定理を拡張すること。
• 素数時測度の弱極限が不変測度に関して均等に絶対連続であり、明示的な有界値を伴うことを証明すること。
• ラマヌジャン/セールベルク予想の下で、ヘッケ型軌道が素数時制限においてモジュラー空間全体に稠密であることを示すこと。

提案手法

• 有効なスペクトル法を用いて、ディスクリートホロサイクルフローに対するダニの定理の有効版を導出すること。
• 特にマース形式を含む $ L^2(X) $ 上での指数和とスペクトル分解を用いて、素数 $ p $ に対する $ x u^p $ の分布を分析すること。
• 円法およびタイプI/II和を用いて、素数時軌道の等分布における誤差項を制御すること。
• ラマヌジャン/セールベルク予想を用いてスペクトルギャップを制御し、スペクトル射影子の $ L^2 $-ノルムを有界化することで、極限測度の密度に対する一様有界性を保証すること。
• $ \theta $-有界値とヘッケ固有形式上の $ L^4 $-ノルム推定を用いて、スペクトル射影子のフーリエ係数の $ L^1 $-ノルムを推定すること。
• タイプI和に対しては分布レベル $ 1/2 $、タイプII和に対しては $ 3/19 $ を達成し、素数時設定における有効な等分布結果を可能にする。

実験結果

リサーチクエスチョン

• RQ1 非周期的点のホロサイクルフローによる素数時軌道が、モジュラー面上で稠密であるか？
• RQ2 素数時ホロサイクル軌道上の正規化された計数測度の弱極限が、不変測度に関して絶対連続であることを示せるか？
• RQ3 極限測度 $ \nu_x $ の密度の鋭い上界は何か？ また、不変測度に等しくすることができるか？
• RQ4 どのような数論的仮定（例：ラマヌジャン/セールベルク予想）の下で、素数時におけるヘッケ型軌道の完全な稠密性を確立できるか？
• RQ5 有効な等分布結果をディスクリートホロサイクルフローに適用することで、素数時設定における稠密性をどの程度まで示せるか？

主な発見

• 任意の一般点 $ x $ に対して、測度 $ \pi_{x,N} $ の弱極限 $ \nu_x $ は $ d\nu_x \leq 10 \, d\mu_G $ を満たし、不変測度に関して均等に絶対連続であることを証明する。
• 素数時軌道 $ \overline{P_x} $ の閉包の体積は少なくとも $ 1/10 $ 以上であるため、小さな集合に含まれない。
• $ U \subset X $ が開集合で $ \mathrm{Vol}(U) > 1 - 1/10 $ を満たすならば、正の密度を有する素数 $ p $ に対して $ x u^p \in U $ となる。
• ヘッケ軌道 $ H_N $ に対して、ラマヌジャン/セールベルク予想を仮定すると、$ \pi_{H_N,N} $ の弱極限 $ \nu $ は $ \frac{1}{5} d\mu_G \leq d\nu \leq \frac{9}{5} d\mu_G $ を満たす。
• 本手法により、タイプI和に対しては分布レベル $ 1/2 $、タイプII和に対しては $ 3/19 $ を達成し、素数時設定における有効な等分布を可能にする。
• 結果として、同じスペクトル的仮定の下で、高々10個の素因数を持つ $ n $ に対する軌道 $ T^n x $ が $ X $ で稠密であることが示唆される。