[論文レビュー] Siegel cusp forms of degree 2 are determined by their fundamental Fourier coefficients

Abhishek Saha|arXiv (Cornell University)|Jun 25, 2011

Advanced Algebra and Geometry参考文献 18被引用数 1

ひとこと要約

本稿は、全モジュラー群 Sp4(Z) に関するスカイ・セイゲル形式の、4 det(S) が奇数かつ平方因子なしであるような行列 S によってインデックス付けられた基本フーリエ係数によって、2次スカイ・セイゲル形式が一意に決定されることを証明する。証明は、半整数重みモジュラー形式における重要な結果に還元される：重み k+1/2 でレベル 4N（N が奇数かつ平方因子なし）のカスプ形式は、ヘッケ固有形式であるという仮定なしに、奇数かつ平方因子なしの整数におけるフーリエ係数によっても一意に決定される。これは、セイゲルモジュラー形式に付随する L 関数の特殊値定理における長年の仮定を解消するものである。

ABSTRACT

We prove that a Siegel cusp form of degree 2 for the full modular group is determined by its set of Fourier coefficients a(S) with 4 det(S) ranging over odd squarefree integers. As a key step to our result, we also prove that a classical cusp form of half-integral weight and level 4N, with N odd and squarefree, is determined by its set of Fourier coefficients a(d) with d ranging over odd squarefree integers, a result that was previously known only for Hecke eigenforms.

研究の動機と目的

• Sp4(Z) に関する2次スカイ・セイゲル形式が、その基本フーリエ係数によって一意に決定されることを確立すること。
• 重み k+1/2 でレベル 4N（N が奇数かつ平方因子なし）の半整数重みカスプ形式が、ヘッケ固有形式であるという仮定なしに、奇数かつ平方因子なしの整数におけるフーリエ係数によっても一意に決定されることを証明すること。
• Hecke固有形式 F ∈ Sk(Sp4(Z)) に対して L(s, F × g) の特殊値定理において、基本フーリエ係数が非ゼロであるという仮定を、条件なしに取り除くこと。

提案手法

• フーリエ・ヤコビ展開を用いて、スカイ・セイゲル形式の問題を半整数重みの場合に還元すること。
• ヤコビ形式と半整数重みの正則カスプ形式との間の対応を利用する。
• ヘッケ作用素の関係とデュークとアイワニエツの漸近公式を用いて、フーリエ係数の二乗の平均に関する技術的評価を確立すること。
• 固定された素数の集合に互いに素な平方因子なし係数を分離するためのふnowing 手法の適用。
• 素数における消失の性質を制御できる形式の帰納的構成を用いて、命題 3.7 が適用可能な状況に還元すること。
• 特定の L 関数の非ゼロ性およびコヘニエン＋空間における係数の非ゼロ性を用いて、主結果を結論づけること。

実験結果

リサーチクエスチョン

• RQ1 Sp4(Z) に関する2次スカイ・セイゲル形式は、4 det(S) が奇数かつ平方因子なしであるような S に対して定義される基本フーリエ係数によって一意に決定されるか？
• RQ2 ヘッケ固有形式であるという仮定なしに、レベル 4N（N が奇数かつ平方因子なし）の半整数重みカスプ形式が、奇数かつ平方因子なしの整数におけるフーリエ係数によって一意に決定可能か？
• RQ3 非ゼロの2次スカイ・セイゲル形式（レベル 1）でヘッケ固有形式でないものに対しても、基本フーリエ係数が非ゼロであるとは限らないか？
• RQ4 L(s, F × g) の既存の特殊値定理において、基本フーリエ係数が非ゼロであるという仮定を、条件なしに取り除くことは可能か？

主な発見

• 非ゼロのスカイ・セイゲル形式 F ∈ Sk(Sp4(Z)) は、4 det(S) が奇数かつ平方因子なしであるようなある S に対して、非ゼロのフーリエ係数 a(F, S) を持つ。
• レベル 4N（N が奇数かつ平方因子なし）の半整数重みカスプ形式の空間は、ヘッケ固有形式であるという仮定なしに、奇数かつ平方因子なしの整数におけるフーリエ係数によっても一意に決定される。
• 証明により、任意の非ゼロ f ∈ Sk+1/2(N, χ) で定理 2 の条件を満たすものに対して、a(f, d) ≠ 0 となる奇数かつ平方因子なしの整数 d の集合が無限に存在することが示された。
• この結果により、L(s, F × g) の次数 8 の L 関数に関する従来の定理における、基本フーリエ係数が非ゼロであるという仮定が不要となり、ヘッケ固有形式に対しては条件なしの定理が得られた。
• L 関数に依存しない、新たなアプローチが得られた。Waldspurger 型の公式やねじれた L 値に依存しない係数の一意性の証明が可能になった。
• 素数における消失の性質を制御する形式の帰納的構成により、奇数かつ平方因子なしの整数における非ゼロ性が還元過程全体にわたって保たれることが保証された。