[論文レビュー] Shifted convolutions and a conjecture by Mazur, Rubin and Stein

Nikolaos Diamantis, Jeffrey Hoffstein+2 more|arXiv (Cornell University)|Jul 6, 2018

Analytic Number Theory Research参考文献 11被引用数 3

ひとこと要約

この論文は、モジュラー曲線上の有理点の平均化されたモジュラー記号の漸近的挙動について、Mazur, Rubin, Steinの予想を証明し、平方自由でないレベルに対しても、従来の結果を任意のレベルへ拡張する。加法的ねじれのL関数に対する新しい境界と、双対形式のフーリエ係数に対する明示的推定値を用いて、レベルとMとqの共通素因数に依存する明確な誤差項を含む収束速度を確立する。

ABSTRACT

In this paper, a conjecture of Mazur, Rubin and Stein concerning certain averages of modular symbols is proved.

研究の動機と目的

• 任意のレベルに対して、重み2の新形式におけるモジュラー記号の極限分布に関する、長年の予想であるMazur, Rubin, Steinの予想を解決すること。
• 従来、平方自由なレベルや素数Mに限られていた結果を、平方自由でないレベルに対しても有効な道具を開発することで拡張すること。
• 平均化されたモジュラー記号の漸近展開における鋭い誤差項を確立し、レベルと平均化パrameter M の算術的構造を組み込むこと。
• 特に、ねじれが新形式でない場合でも、レベルに明示的な依存関係を持つ、フーリエ係数の明示的かつ一様な境界を提供すること。

提案手法

• すべてのレベルと加法的導子に対して有効な、加法的ねじれのL関数の近似関数方程式を導出する。
• シフトされた畳み込み級数への依存を回避する新しい手法を導入し、従来の手法と比較して証明を簡略化する。
• イーゼンスタイン級数とモジュラー記号を用いて、平均モジュラー記号をねじれた形式のフーリエ係数を含む和として表現する。
• すべてのレベルと有理数の引数に対して有効な、重み2の新形式の逆微分積分の新しい境界を適用する。
• 加法的ねじれの関数方程式における「双対形式」のフーリエ係数に対する明示的推定値を確立し、レベルに明示的な依存関係を含める。
• フーリエ減衰、加法的ねじれの境界、レベル依存要因といった複数の誤差源からの推定値を組み合わせ、誤差項をバランスさせるパラメータ選択を用いる。

実験結果

リサーチクエスチョン

• RQ1 任意のレベル $ q $ に対して、平方自由でない場合も含め、$ M \to \infty $ のときの平均モジュラー記号 $ G_M^\pm(x) $ の正確な漸近的極限は何か？
• RQ2 特に $ q $ が平方自由でない場合に、$ G_M^\pm(x) $ の収束における誤差項は、$ q $ と $ M $ の算術的性質にどのように依存するか？
• RQ3 ねじれが新形式でない場合でも、フーリエ係数の境界がレベルに明示的に依存するようにできるか？
• RQ4 加法的ねじれのL関数によるモジュラー記号の近似における最適な誤差項は何か？ そして、$ M $ と $ q $ に対してどのようにスケーリングされるか？
• RQ5 証明においてシフトされた畳み込み級数への依存を回避でき、より洗練され一般性の高い議論が可能になるか？

主な発見

• Mazur, Rubin, Steinの予想は、すべてのレベル $ q $、すべての $ x \in [0,1] $、およびすべての $ M \to \infty $ の列について、平方自由なレベルや素数Mに限らず、完全に証明された。
• 漸近展開の主要項は、$ G_M^+(x) $ に対して $ \frac{1}{2\pi} \sum_{n \geq 1} \frac{a(n) \sin(2\pi n x)}{n^2} $、$ G_M^-(x) $ に対して $ \frac{1}{2\pi i} \sum_{n \geq 1} \frac{a(n)(\cos(2\pi n x) - 1)}{n^2} $ であり、予想された形と一致する。
• 誤差項は $ \mathcal{O}_\epsilon\left( (Mq)^\epsilon M^{-1/4} q^{1/4} \prod_{\substack{p \mid (q,M) \\ p^2 \mid q}} p^{1/2} \right) $ で抑えられ、$ q $ と $ M $ の共通素因数の高次の部分の影響を捉えている。
• 有理数 $ a/d $ における逆微分積分 $ \int_{\infty}^{a/d} f(z) \, dz $ に対する新しい境界が、すべてのレベル $ q $ に対して確立され、従来の結果を一般化する。
• この論文は、ねじれが新形式でない場合でも、カスプ形式のディリクレねじれのフーリエ係数に対して、レベルに依存する明示的境界を提供し、主要な技術的障壁を解決する。
• シフトされた畳み込み級数への依存を回避することで、加法的ねじれ解析と明示的フーリエ係数推定値に依存する洗練された証明を達成した。