[論文レビュー] Sum formula for Kloosterman sums and fourth moment of the Dedekind zeta-function over the Gaussian number field

Roelof W. Bruggeman, Yoichi Motohashi|ArXiv.org|May 7, 2002

Analytic Number Theory Research参考文献 20被引用数 7

ひとこと要約

本稿は、ガウス数体 Q(i) 上のクロスターマン和に対する完全なスペクトル和公式を確立し、Kuznetsov理論を PSL₂(C) に拡張して全 K-型を含むものとした。ディーデキンドゼータ関数 ζ_F(1/2 + it) の4乗モーメントに対する明示的スペクトル展開を導出し、スペクトル項が M_F(g) 項よりも支配的であることが明らかになった。これは有理数体の場合とは対照的であり、M_F(g) 項が主項となるのとは異なり、今後の数体上の L-関数の解析に基盤を築くものである。

ABSTRACT

We prove the Kloosterman-Spectral sum formula for PSL(2,Z[i])\PSL(2,C), and apply it to derive an explicit spectral expansion for the fourth power moment of the Dedekind zeta function of the Gaussian number field. This sum formula allows the extension of the spectral theory of Kloosterman sums to all algebraic number fields.

研究の動機と目的

• ガウス数体 F = Q(i) 上のクロスターマン和に対する完全なスペクトル和公式を構築し、Kuznetsov理論を PSL₂(R) を超えて展開すること。
• リーマンゼータ関数に対して知られている結果に類似した、ディーデキントゼータ関数 ζ_F(1/2 + it) の4乗モーメントに対する明示的スペクトル分解を導出すること。
• 有理数体とは異なり、4乗モーメントにおいて M_F(g) 項が支配的でないという構造的不一致を解明すること。
• 類数1の虚二次体および実二次体上の L-関数の高次モーメントやスペクトル平均値を研究する基盤を提供すること。

提案手法

• 自動形式のスペクトル理論を用いて、PSL₂(C) における離散部分群 PSL₂(Z[i]) を含む K-型をすべて含む Kuznetsov型の一般化された和公式を導出する。
• 和公式におけるベッセル変換の逆演算を実行する。これは、以前は PSL₂(R) 及びその被覆に対してのみ達成されていた非自明な段階である。
• Jacquet および Goodman–Wallach の作用素を用いてスペクトル成分を制御し、すべての K-型にわたる和公式の完全性を保証する。
• 和公式を応用し、積分変換を介して4乗モーメント ∫|ζ_F(1/2 + it)|⁴g(t)dt をスペクトル項と M_F(g) 項の和として表現する。
• PSL₂(Z[i])\PSL₂(C) 上の自動形式のフーリエ係数とクロスターマン和の和を関連させることで、4乗モーメントのスペクトル分解を確立する。
• 既知のベッセル変換およびイーゼンスタイン級数のフーリエ展開に関する結果を活用し、スペクトル分解の妥当性を検証するとともに、漸近的挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 K-自明表現にとどまらず、すべての K-型を含む PSL₂(C) における Kuznetsov 和公式をどのように一般化できるか？
• RQ2 ガウス数体 Q(i) 上のディーデキントゼータ関数 ζ_F(1/2 + it) の4乗モーメントのスペクトル分解は何か？
• RQ3 有理数体とは異なり、ζ_F の4乗モーメントにおいて M_F(g) 項がスペクトル項を上回らないのはなぜか？
• RQ4 PSL₂(C) におけるスペクトル和公式は、類数1の数体上での L-関数の高次モーメントや平均値を分析するために利用可能か？
• RQ5 ζ_F のスペクトル展開の構造は、リーマンゼータ関数のそれと漸近的にどのように比較できるか？

主な発見

• 本稿は、PSL₂(C) 上の PSL₂(Z[i]) を格子とするクロスターマン和に対する完全なスペクトル和公式（定理13.1）を確立した。これはすべての K-型に対して有効である。
• ζ_F(1/2 + it) の4乗モーメントは、積分変換を介した明示的スペクトル展開を有する（定理14.1）。これはスペクトル項と M_F(g) 項の和として表現される。
• 有理数体とは異なり、M_F(g) 項は漸近展開の主項ではない。スペクトル項が支配的であり、下界 ∫_{-T}^T |ζ_F(1/2 + it)|⁴ dt ≫ T log⁸T によって示された。
• M_F(g) の構造は、有理数体における M_Q(g) と類似しており、p_{1/2} において高々4位の特異性を持つが、主項をもたらさない。
• 本和公式は、K-自明表現を超えて Kuznetsov型スペクトル理論を PSL₂(C) に拡張した最初のものであり、自動形式および L-関数への新たな応用を可能にする。
• 本結果は、今後の4乗モーメントのメリン変換や H_V(1/2) のスペクトル平均値の研究の基盤を提供する。また、実二次体への拡張も可能である。