[論文レビュー] Paramodular Cusp Forms

Cris Poor, David S. Yuen|ArXiv.org|Dec 1, 2009

advanced mathematical theories参考文献 12被引用数 23

ひとこと要約

この論文は、600未満の素数 $p$ に対して、パラモジュラー群 $K(p)$ の重さ2のシーゲルモジュラー尖隙形式を分類し、非グリーツェンコのヘッケ固有形式が、導手 $p$ の $$\mathbb{Q}$$ 上のアーベル多様体に対応することを示している。これらの結果は、ラングランズ哲学とヨシダの研究を通じて、モジュラー形式と算術幾何学を結ぶパラモジュラー予想を支持する。

ABSTRACT

We classify Siegel modular cusp forms of weight two for the paramodular group K(p) for primes p< 600. We find that weight two Hecke eigenforms beyond the Gritsenko lifts correspond to certain abelian varieties defined over the rationals of conductor p. The arithmetic classification is in a companion article by A. Brumer and K. Kramer. The Paramodular Conjecture, supported by these computations and consistent with the Langlands philosophy and the work of H. Yoshida, is a partial extension to degree 2 of the Shimura-Taniyama Conjecture. These nonlift Hecke eigenforms share Euler factors with the corresponding abelian variety $A$ and satisfy congruences modulo \ell with Gritsenko lifts, whenever $A$ has rational \ell-torsion.

研究の動機と目的

• 600未満の素数 $p$ に対して、パラモジュラー群 $K(p)$ の重さ2のシーゲルモジュラー尖隙形式を分類すること。
• 非グリーツェンコのヘッケ固有形式と、導手 $p$ の $$\mathbb{Q}$$ 上のアーベル多様体との間の対応関係を確立すること。
• パラモジュラー予想に対する計算的および算術的証拠を提供し、シムーラ＝タニヤマ哲学を2次シーゲルモジュラー形式へ拡張すること。
• コセット分解とトレース公式を用いて、ヘッケ作用素がシーゲルモジュラー形式の空間にどのように作用するかを分析すること。

提案手法

• パラモジュラー群 $K(p)$ 及びその重さ2のシーゲルモジュラー形式への作用を利用する。
• $\Gamma_0'(p)$ および $K(p)$ のコセット分解を用いて、ヘッケ作用素のトレース公式を導出する。
• ヘッケ作用素 $\operatorname{Tr}$ を、$J(p)$、$t\left(\begin{smallmatrix} \beta/p & 0 \\ 0 & 0 \end{smallmatrix}\right)$、および $s_2$ を含む二重コセットの和として適用する。
• 恒等式 $\mu t\left(\begin{smallmatrix} \beta/p & 0 \\ 0 & \alpha \end{smallmatrix}\right) = t\left(\begin{smallmatrix} \alpha/p & 0 \\ 0 & \beta \end{smallmatrix}\right)\mu$ を用いて、$F_p$ および $\mu$ の作用下での尖隙形式の関係を特定する。
• 上三角行列を用いた $\Gamma_0(p)$-コセットの構造を分析し、モジュラー不変性を活用する。
• ヘッケ代数上の二重コセット作用の明示的計算により、$F_p \operatorname{Tr} = \operatorname{Tr} \mu$ が確認される。

実験結果

リサーチクエスチョン

• RQ1 重さ2の $K(p)$ に対する非グリーツェンコのヘッケ固有形式は、導手 $p$ の $$\mathbb{Q}$$ 上のアーベル多様体に対応するか？
• RQ2 これらの非リフト形式のオイラー因子は、関連するアーベル多様体のものとどのように関係するか？
• RQ3 重さ2のシーゲルモジュラー形式の空間に作用するヘッケ代数の構造は何か？
• RQ4 $F_p$ および $\mu$ の作用の下で、ヘッケ作用素のトレース公式はどのように分解されるか？
• RQ5 アーベル多様体が有理数上の $\ell$- torsion を持つ場合、非リフト形式とグリーツェンコのリフトとの間で、$\ell$ を法とする合同関係がどの程度成立するか？

主な発見

• 600未満の $p$ に対して、$K(p)$ の重さ2のシーゲル尖隙形式の分類により、非グリーツェンコのヘッケ固有形式が、導手 $p$ の $$\mathbb{Q}$$ 上のアーベル多様体に対応することが判明した。
• これらの非リフト形式は、関連するアーベル多様体の $L$-関数と共通するオイラー因子を持つことが確認され、モジュラー性の予想を支持する。
• アーベル多様体が有理数上の $\ell$- torsion を持つ場合には、非リフト形式とグリーツェンコのリフトとの間で、$\ell$ を法とする合同関係が観察された。
• トレース公式 $\operatorname{Tr}$ は、$J(p)$、$t\left(\begin{smallmatrix} \beta/p & 0 \\ 0 & 0 \end{smallmatrix}\right)$、および $s_2$ を含む二重コセットの和として表現され、コセット解析により $F_p \operatorname{Tr} = \operatorname{Tr} \mu$ が裏付けられた。
• ヘッケ作用素 $\operatorname{Tr}$ が $\Gamma_0(p)\left(J(p) + \sum_{\beta} t(\beta/p, 0, 0, 0) + \sum_{\alpha} s_2 t(0,0,0,\alpha)J(p) + \sum_{\alpha,\beta} s_2 t(\beta/p, 0, 0, \alpha)\right)$ として分解されることを示し、ヘッケ代数内での構造が確認された。
• 計算により、パラモジュラー群 $K(p)$ が尖隙形式の空間に作用し、$I$、$E_1 = s_2^{-1}$、および $F_p$ で表される3つの尖点を持つことが確認され、トレース公式がこれらの尖点構造を尊重することが判明した。