[論文レビュー] Dynamics of continued fractions and distribution of modular symbols

Jungwon Lee, Hae-Sang Sun|arXiv (Cornell University)|Feb 17, 2019

Mathematical Dynamics and Fractals参考文献 31被引用数 8

ひとこと要約

本稿は連分数および転送作用素を用いた力学系的手法により、モジュラー記号の分布を研究し、極限ガウス分布およびモジュラー分割における残差一様分布を証明する。マズール＝ルビン予想の平均版を確立し、モジュラー形式の特別なL値がpを法として非ゼロであることを、pを法とするモジュラー記号値の等分布性から導出する。主な貢献は、歪んだガウス写像とコブダリ条件を通じて、転送作用素のスペクトル的性質とモジュラー記号の算術的統計を結びつけることにある。

ABSTRACT

We formulate a thermodynamical approach to the study of distribution of modular symbols, motivated by the work of Baladi-Vallée. We introduce the modular partitions of continued fractions and observe that the statistics for modular symbols follow from the behavior of modular partitions. We prove the limit Gaussian distribution and residual equidistribution for modular partitions as a vector-valued random variable on the set of rationals whose denominators are up to a fixed positive integer by studying the spectral properties of transfer operator associated to the underlying dynamics. The approach leads to a few applications. We show an average version of conjectures of Mazur-Rubin on statistics for the period integrals of an elliptic newform. We further observe that the equidistribution of mod $p$ values of modular symbols leads to mod $p$ non-vanishing results for special modular $L$-values twisted by a Dirichlet character.

研究の動機と目的

• 連分数を用いたモジュラー記号の分布を研究するための力学的枠組みを構築すること。
• 分母が有界な有理数上のベクトル値確率変数としてのモジュラー分割関数を分析すること。
• 転送作用素のスペクトル解析を通じて、モジュラー分割の極限ガウス分布および残差一様分布を確立すること。
• 得られた結果を、モジュラー記号統計に関するマズール＝ルビン予想の平均版への応用すること。
• pを法とするモジュラー記号値の等分布性を用いて、モジュラー形式の特別なL値がpを法として非ゼロであることを示す定理を導出すること。

提案手法

• 連分数展開の長さの一般化として、連分数におけるモジュラー分割を導入する。
• 行列jによって正規化される有限指数正規部分群Γを用いた、空間Γ\SL₂(ℤ)上の歪んだガウス写像を用いて力学系をモデル化する。
• 反復的な連分数展開における関数値の和として、モジュラー分割関数𝔟ψおよび𝔠ψを定義する。
• 歪んだガウス力学系に付随する転送作用素を用いて、モジュラー分割関数のモーメント母関数を研究する。
• 垂直帯域における転送作用素のスペクトル解析（ドロゴピアト–バラディ–ヴァレーア評価を含む）を用いて、相関の減衰を制御する。
• コホモロジー的データが非自明である条件を特定するためのコブダリ条件を確立し、スペクトル的性質と算術的統計を結びつける。

実験結果

リサーチクエスチョン

• RQ1 分母が有界な有理数上のモジュラー分割関数の分布は、その有界値が無限大に近づくにつれてガウス分布に収束するか？
• RQ2 楕円型新形式のモジュラー記号の平均的挙動は、連分数の力学系によって記述可能か？
• RQ3 転送作用素のスペクトル的性質と、pを法とするモジュラー記号の等分布性との関係は何か？
• RQ4 モジュラー分割関数がコブダリでない条件は何か、そしてその場合の極限分布に与える影響は？
• RQ5 pを法とするモジュラー記号値の等分布性は、ディリクレ指標によるねじれ付き特別L値が非ゼロであることをどのように示唆するか？

主な発見

• M → ∞ のとき、Ω_M 上のモジュラー分割関数𝔟ψおよび𝔠ψは、スペクトルデータから得られる明示的な共分散構造を有する多変量ガウス分布に分布収束する。
• 転送作用素に付随するゼータ関数の主要固有値における留数を用いて、モジュラー分割の残差一様分布が確立される。
• モジュラー記号統計に関するマズール＝ルビン予想の平均版が証明され、モジュラー記号の期待分布が予測されたガウス極限と一致することが示される。
• pを法とするモジュラー記号値の等分布性から、ディリクレ指標によるねじれ付きモジュラー形式のL値が無限個の指標に対してpを法として非ゼロであることが導かれる。
• モーメント母関数のヘッセ行列がゼロでないことは、関数ψの成分がΓ上での実コブダリ空間に関して線形独立であるときにかつそのときに限り成立し、非退化な極限分散を保証する。
• 垂直帯域ℜs ∈ [1 − α₁, 1 + α₁]におけるスペクトルギャップおよびドロゴピアト–バラディ–ヴァレーア評価を用いて、相関の減衰を制御し、モジュラー分割に対する中心極限定理を証明する。