[论文解读] The horocycle flow at prime times

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

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

一句话总结

本文证明了在模曲面中，对于非周期轨道，素数时刻的Horocycle流在正测度集合中是稠密的；在Ramanujan/Selberg猜想下，利用谱方法证明了特殊Hecke轨道在素数时刻的完全稠密性。通过有效等分布技术和谱理论，本文表明素数时刻测度的弱极限相对于不变测度是均匀绝对连续的，且密度有界于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.

研究动机与目标

• 研究模曲面中限制在素数时刻的Horocycle轨道的分布。
• 确定一个典型点在素数时刻的Horocycle流轨道是否在整个空间中稠密，或仅在正测度子集中稠密。
• 为离散Horocycle流建立有效的等分布结果，扩展Dani定理。
• 证明素数时刻测度的弱极限相对于不变测度是均匀绝对连续的，且给出显式界。
• 在Ramanujan/Selberg猜想下，证明当限制在素数时刻时，Hecke型轨道在全模空间中是稠密的。

提出的方法

• 使用有效的谱方法，为离散Horocycle流导出Dani定理的有效版本。
• 利用指数和与$ L^2(X) $上的谱分解（特别是Maass形式）分析$ x u^p $在素数$ p $下的分布。
• 应用圆法及I型/II型和，以控制素数时刻轨道等分布中的误差项。
• 利用Ramanujan/Selberg猜想控制谱间隙，并有界谱投影算子的$ L^2 $-范数，从而确保极限测度密度的统一有界性。
• 通过$ \theta $-估计和Hecke特征形式的$ L^4 $-范数估计，估计谱投影算子傅里叶系数的$ L^1 $-范数。
• 建立I型和的分布水平为$ 1/2 $，II型和的分布水平为$ 3/19 $，从而实现素数时刻设定下的有效等分布。

实验结果

研究问题

• RQ1 在模曲面中，非周期点在素数时刻的Horocycle流轨道是否稠密？
• RQ2 能否证明素数时刻Horocycle轨道的归一化计数测度的弱极限相对于不变测度是绝对连续的？
• RQ3 极限测度$ \nu_x $的密度的最优上界是多少？能否改进为与不变测度相等？
• RQ4 在何种数论假设下（例如Ramanujan/Selberg猜想），可建立Hecke型轨道在素数时刻的完全稠密性？
• RQ5 在多大程度上，离散Horocycle流的有效等分布结果可用于推导素数时刻设定下的稠密性？

主要发现

• 对任意典型点$ 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 $。
• 对Hecke轨道$ H_N $，在Ramanujan/Selberg猜想下，$ \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 $的分布水平，从而在素数时刻设定下实现有效等分布。
• 结果表明，在相同的谱假设下，若$ n $的素因子个数不超过10，则轨道$ T^n x $在$ X $中是稠密的。