[论文解读] Poincaré sections for the horocycle flow in covers of SL(2,R)/SL(2,Z) and applications to Farey fraction statistics

Byron Heersink|arXiv (Cornell University)|Mar 28, 2014

Analytic Number Theory Research参考文献 17被引用 4

一句话总结

该论文通过Fisher和Schmidt的方法，将SL(2,ℝ)/SL(2,K)上的Horocycle流的Poincaré截面提升至有限覆盖SL(2,ℝ)/H，从而证明了由有限指数子群H ⊂ SL(2,K)定义的Farey分数子集的极限间隙分布的存在性。此外，还建立了Diophantine逼近集的极限Lebesgue测度的存在性，解决了Erdős、Szüsz与Turán提出的一个类似问题。

ABSTRACT

For a given finite index subgroup H of SL(2,Z), we use a process developed by Fisher and Schmidt to lift a Poincaré section of the horocycle flow on SL(2,R)/SL(2,Z) found by Athreya and Cheung to the finite cover SL(2,R)/H of SL(2,R)/SL(2,Z). We then use the properties of this section to prove the existence of the limiting gap distribution of various subsets of Farey fractions. Additionally, to each of these subsets of fractions, we extend solutions by Xiong and Zaharescu, and independently Boca, to a Diophantine approximation problem of Erdős, Szüsz, and Turán.

研究动机与目标

• 将SL(2,ℝ)/SL(2,K)上Horocycle流的Poincaré截面扩展至任意有限指数子群H ⊂ SL(2,K)的有限覆盖SL(2,ℝ)/H。
• 证明由此类子群H索引的Farey分数子集的极限间隙分布测度的存在性。
• 解决Erdős、Szüsz与Turán针对这些子集提出的Diophantine逼近问题的类比版本。
• 展示极限间隙测度在[0,1]的子区间上的等分布性及其密度的连续性与分段实解析性。
• 推广Xiong与Zaharescu以及Boca等人关于带算术约束的Farey分数对相关性与逼近测度的结果。

提出的方法

• 利用Fisher与Schmidt的提升技术，将Athreya与Cheung在SL(2,ℝ)/SL(2,K)上的Poincaré截面提升至SL(2,ℝ)/H。
• 通过在̿/H中定义一个在左乘单位根矩阵(1 -1; 0 1)下封闭的子集M，确保在Q上的嵌套性。
• 利用Horocycle流在BCZ映射上的悬丛结构，将Farey分数间隙与齐性空间上的动力系统联系起来。
• 应用遍历理论与测度的弱收敛性，证明极限间隙测度是经验间隙分布的弱极限。
• 采用分段光滑函数与齐性空间上的不变测度，分析间隙与逼近集的分布。
• 通过积分估计分析逼近集测度的渐近行为，建立良好逼近实数的极限Lebesgue测度。

实验结果

研究问题

• RQ1 由有限指数子群H ⊂ SL(2,K)定义的Farey分数子集是否存在极限间隙分布？
• RQ2 该类子集在[0,1]的子区间上，其极限间隙测度是否存在？
• RQ3 在[0,1]中能被这些Farey子集良好逼近的实数集合是否具有极限Lebesgue测度？
• RQ4 该类子集的极限间隙测度密度是否连续且分段实解析？
• RQ5 Xiong与Zaharescu以及Boca等人关于对相关性与逼近测度的结果，能否推广至更一般的算术约束？

主要发现

• 序列(F_M(Q))的极限间隙测度存在，且在任意子区间I ⊂ [0,1]上具有连续且分段实解析的密度。
• F_M(Q)在[0,1]中的渐近密度与|M|Q² / ([Γ:H]π²)成正比，当Q → ∞时，N_I,M(Q) ~ 3|I|(#M)Q² / (π²[Γ:H])。
• 能被F_M(Q)元素良好逼近的实数集合的极限Lebesgue测度存在，其表达式涉及齐性空间特定子集上的积分。
• 通过涉及分段光滑函数f_{j1,...,jr}^{(α)}与不变测度μ_{Ω_M}的积分估计，证明了逼近集测度的收敛性。
• 证明依赖于边界测度为零的集合上测度的收敛性以及下连续性，从而确保极限积分的存在性。
• 关键技术结果为：lim_{n→∞} ∫_{H_{j1,...,jr}(n/Q)} f_{j1,...,jr}^{(α)} d ho_{Q,I,M} = ∫_{H_{j1,...,jr}(1/c)} f_{j1,...,jr}^{(α)} dμ_{Ω_M}。