[論文レビュー] A conjectural extension of Hecke's converse theorem

Sandro Bettin, Jonathan Bober+7 more|Bristol Research (University of Bristol)|Apr 9, 2017

Analytic Number Theory Research参考文献 22被引用数 8

ひとこと要約

本稿は、ヘッケの逆定理の推測的拡張を提案する。この拡張では、非線形なオイラー積条件をラマヌジャン和による線形的変形に置き換え、任意のレベルにおけるモジュラー形式のモジュラリティ特徴付けを、ディリクレ指標の変形やオイラー積の仮定を必要とせずに保持する。主な貢献は、ラマヌジャン和を用いた新しい関数等式条件であり、これが真であれば、$ M_k(\Gamma_0(N), \xi) $ に属するモジュラー形式が、変形された $ L $-関数の解析的性質によって特徴付けられる。

ABSTRACT

We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses.

研究の動機と目的

• レベル $ N \leq 4 $ 以外の領域に、ヘッケの逆定理を拡張し、元の定理が無限次元の解空間を持つために失敗する理由を克服すること。
• 逆定理においてオイラー積の仮定や指標の変形を排除し、フーリエ係数に非線形制約を課すのを避けること。
• 任意のレベル $ N $ におけるモジュラー形式の特徴付けを、関数等式の線形枠組みを保ちながら行うこと。
• オイラー積の代替として、線形化可能な新しい条件を提供すること——つまり、ラマヌジャン和による変形。

提案手法

• ラマヌジャン和 $ c_q(n) = \sum_{\substack{a \mod q \\ (a,q)=1}} e(an/q) $ を用いて、変形された $ L $-関数 $ \Lambda_f(s, c_q) $ と $ \Lambda_g(s, c_q) $ を定義する。
• すべての $ q $ が $ N $ と素である場合に、ヘッケの関数等式を一般化した関数等式 $ \Lambda_f(s, c_q) = i^k \xi(q)(Nq^2)^{1/2 - s} \Lambda_g(1-s, c_q) $ を定義する。
• ラマヌジャン和がディリクレ指標の線形結合であることに着目し、非線形なオイラー積制約を線形な変形条件に置き換えることの可能性を示す。
• もし $ f_n, g_n $ が多項式的成長を示し、変形された $ L $-関数が有限オーダーの整関数であり、関数等式を満たすならば、$ f \in M_k(\Gamma_0(N), \xi) $ であることを証明する。
• モジュラー形式に対して、関数等式がラマヌジャン和を用いて成立することを確立し、予想の既存理論との整合性を検証する。
• 高さ関数と $ \Gamma_0(N) $ 上の群論的議論を用いて、特殊ケースの証明や追加仮定の下での証明を提供し、予想の妥当性を裏付ける証拠を提示する。

実験結果

リサーチクエスチョン

• RQ1 オイラー積の仮定や指標の変形なしに、ヘッケの逆定理を $ N \geq 5 $ のすべてのレベルに拡張することは可能か？
• RQ2 非線形なオイラー積条件を、ラマヌジャン和による線形条件に置き換えることは可能か？ その結果、モジュラー形式が特徴付けられるか？
• RQ3 ラマヌジャン和を用いて定義された変形 $ L $-関数 $ \Lambda_f(s, c_q) $ は、レベル $ N $ のモジュラー形式を一意に特徴付ける関数等式を満たすか？
• RQ4 ラマヌジャン和は、モジュラリティ条件を線形化しつつ、解析的制御を保持する上で果たす役割は何か？
• RQ5 ラマヌジャン和による変形関数等式は、高次のレベルで生じる無限次元の解空間問題を回避しながら、モジュラー形式の完全な構造を回復できるか？

主な発見

• 予想は、ラマヌジャン和による変形という線形条件を提供する。これが真であれば、任意のレベル $ N $ におけるモジュラー形式が、オイラー積の非線形制約を避けて特徴付けられる。
• モジュラー形式 $ f \in M_k(\Gamma_0(N), \xi) $ に対して、変形 $ L $-関数 $ \Lambda_f(s, c_q) $ と $ \Lambda_g(s, c_q) $ は、提案された関数等式を満たす。これにより、既存理論との整合性が確認される。
• 著者らは特殊ケースおよび追加仮定の下で予想を証明し、その妥当性を強く裏付ける証拠を提供した。
• 高さ関数 $ \operatorname{ht}(\gamma) = \max\{|a|,|b|,|c|,|d|\} $ を用いた $ \Gamma_0(N) $ 上の議論により、$ N \geq 4 $ のとき $ T $ と $ W $ が自由群を生成することが示され、構成の群論的基盤が支持される。
• もし $ \chi $ が原始的であれば、ラマヌジャン和による変形関数等式は標準的なヘッケの関数等式に還元され、古典的結果との整合性が確認される。
• 非線形なオイラー積制約を線形な変形条件に置き換えることで、ヘッケの元の逆定理が $ N \geq 5 $ で直面する無限次元の解空間問題を回避する。