[论文解读] 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.

研究动机与目标

• 解決 Mazur、Rubin 和 Stein 對任意水平之權 2 新形式模符號極限定義的長期猜想。
• 透過發展適用於非平方自由水平之工具，將先前僅限於平方自由水平或質數 M 的結果加以推廣。
• 在平均模符號的漸近展開中建立精確的誤差項，並納入水平與平均參數 M 的算術結構。
• 即使扭結非新形式，亦提供扭曲模形式傅立葉係數的顯式、一致界，且完整顯式表達對水平的依賴性。

提出的方法

• 推導適用於所有水平與加法導子之 L 函數加法扭結的近似函數方程。
• 提出一種新方法，以避開對移位卷積級數的依賴，使證明相比先前方法更為簡潔。
• 利用 Eisenstein 級數與模符號，將平均模符號表示為包含扭曲形式傅立葉係數之和。
• 應用一項新界於所有水平與有理數自變數下之權 2 新形式反導數的界，適用於所有水平。
• 在加法扭結的函數方程中，對『對偶形式』之傅立葉係數建立精確估計，並顯式表達對水平的依賴性。
• 結合多重來源之誤差估計——傅立葉衰減、加法扭結界與水平相關因子——透過參數選擇平衡各誤差項。

实验结果

研究问题

• RQ1 對於任意水平 q（不僅限於平方自由水平），當 M → ∞ 時，平均模符號 $ 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。
• 漸近展開之主項為 $ \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} $（對 $ G_M^-(x) $），與猜想形式一致。
• 誤差項受界於 $ \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，推廣先前結果。
• 本文提供 Dirichlet 扭結之尖點形式傅立葉係數之顯式、水平相關界，即使扭結非新形式亦成立，解決了一項關鍵技術障礙。
• 作者透過避免使用移位卷積級數，改以加法扭結分析與顯式傅立葉係數估計，達成更簡潔的證明。