[論文レビュー] 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) から有限被覆 SL(2,ℝ)/H へのホロサイクルフローのポアンカレ断片を引き上げることで、有限指数部分群 H ⊂ SL(2,K) によって定義されるファレー分数の部分集合に対する極限ギャップ分布の存在を証明する。さらに、ディオファントス近似集合の極限レーベーグ測度の存在を示し、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.

研究の動機と目的

• 任意の有限指数部分群 H ⊂ SL(2,K) に対して、SL(2,ℝ)/SL(2,K) 上のホロサイクルフローのポアンカレ断片を有限被覆 SL(2,ℝ)/H に拡張すること。
• このような部分群 H によって添え字付けられるファレー分数の部分集合に対する極限ギャップ分布測度の存在を証明すること。
• Erdős, Szüsz, および Turán が提起したディオファントス近似問題の類似を、これらの部分集合に対して解決すること。
• 極限ギャップ測度が [0,1] の部分区間上で連続的かつ区分的実解析的密度を持つことを示すこと。
• Xiong と Zaharescu および Boca らのファレー分数のペア相関および近似測度に関する結果を、より一般の算術的制約に拡張すること。

提案手法

• Fisher と Schmidt の技法を用いて、Athreya と Cheung の SL(2,ℝ)/SL(2,K) 上の研究から、SL(2,ℝ)/H へのポアンカレ断片の引き上げを実行する。
• ユニポテンツ行列 (1 -1; 0 1) による左乗法に関して閉じた M ⊂ ̿/H の部分集合を定義することで、Q に沿ったネスト構造を保証する。
• ホロサイクルフローの BCZ写像上のサスペンション構造を用い、ファレー分数のギャップを同調空間上の力学的性質に関連付ける。
• エルゴディック理論と測度の弱収束を用いて、経験的ギャップ分布の弱極限として極限ギャップ測度の存在を示す。
• 区分的滑らか関数および同調空間上の不変測度を用いて、ギャップおよび近似集合の分布を分析する。
• 積分推定を用いて、近似集合の測度の漸近的挙動を分析することで、よく近似可能な実数の極限レーベーグ測度を確立する。

実験結果

リサーチクエスチョン

• RQ1 有限指数部分群 H ⊂ SL(2,K) によって定義されるファレー分数の部分集合に対して、極限ギャップ分布が存在するか？
• RQ2 このような部分集合が [0,1] の部分区間に制限された場合、極限ギャップ測度の存在を証明できるか？
• RQ3 [0,1] 内の、これらのファレー部分集合の元によってよく近似可能な実数の集合が、極限レーベーグ測度を持つか？
• RQ4 これらの部分集合に対して、極限ギャップ測度の密度が連続的かつ区分的実解析的か？
• RQ5 Xiong と Zaharescu および Boca らのペア相関および近似に関する結果を、より一般的な算術的制約に拡張できるか？

主な発見

• 部分列 (F_M(Q)) の極限ギャップ測度は存在し、任意の部分区間 I ⊂ [0,1] において、連続的かつ区分的実解析的密度を持つ。
• [0,1] における F_M(Q) の漸近的密度は |M|Q^2 / ([Γ:H]π²) に比例し、Q → ∞ のとき N_I,M(Q) ~ 3|I|(#M)Q² / (π²[Γ:H]) となる。
• F_M(Q) の元によってよく近似可能な実数の集合の極限レーベーグ測度は存在し、同調空間の特定の部分集合上の積分を含む式で与えられる。
• 近似集合の測度が、区分的滑らか関数 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} である。