[論文レビュー] The weight reduction of mod $p$ Siegel modular forms for $GSp_4$

Takuya Yamauchi|arXiv (Cornell University)|Oct 29, 2014

Advanced Algebra and Geometry参考文献 50被引用数 9

ひとこと要約

本稿は、$GSp_4$ に対する $p$ を法とするスiegelモジュラー形式の重み削減定理を確立し、エーケルダール＝オールト層に沿ったtheta作用素と部分ハッセ不変量を構成することで、任意の $p$ を法とするガロア表現が、レベルを増加させることなく有界な重みの形式から生じることを示している——具体的には、$k_1 - k_2 + 3 < p$ および $k_2 \leq p^4 + p^2 + 2p + 1$ を満たす——。

ABSTRACT

In this paper we investigate the (classical) weights of mod $p$ Siegel modular forms of degree 2 toward studying Serre's conjecture for $GSp_4$. We first construct various theta operators on the space of such forms a la Katz and define the theta cycles for the specific theta operators. Secondly we study the partial Hasse invariants on each Ekedahl-Oort strata and their local behaviors. This enable us to obtain a kind of weight reduction theorem for mod $p$ Siegel modular forms of degree 2 without increasing level.

研究の動機と目的

• レベルを増加させることなく、$GSp_4/\mathbb{Q}$ におけるセールの重み予想を、$p$ を法とするスiegelモジュラー形式の古典的重みの削減によって解決すること。
• カツの方法に従い、$p$ を法とするスiegelモジュラー形式にtheta作用素を構成し、重みと非消滅性の制御を可能にすること。
• エーケルダール＝オールト層における部分ハッセ不変量を分析することで、局所的性質と形式の非消滅性を理解すること。
• theta作用素の非消滅性に関する基準を、$p$-進性の性質と重み制約の観点から確立すること。
• 任意の $p$ を法とするガロア表現 $\overline\rho$ が、有界な重みのスiegel尖点形式から生じることを証明し、$\overline\chi_p^\alpha$ によるサイクロトミックねじれと整合させること。

提案手法

• 2次元の $p$ を法とするスiegelモジュラー形式の空間に、小さな $\theta$-作用素と大きな $\Theta$-作用素を構成する。
• $\theta$-作用素が消滅しない領域、すなわち $\theta$-サイクルを定義し、非半単純および半単純の場合に焦点を当てる。
• 各エーケルダール＝オールト層に部分ハッセ不変量を導入し、ガウス＝ミンの接続を用いてその局所的性質を分析する。
• アデール的および幾何的スiegelモジュラー形式の理論を用い、$S_{N,p}$ 上の自動形式的層とガロア表現を関連付ける。
• ピエリの分解と明示的な $GL_2$-加群同型を用いて、$\theta$-作用素が対称テンソルに与える作用を計算する。
• $p$-進サイクロトミック特徴 $\overline\chi_p$ を用いて表現をねじり、$\overline\chi_p^\alpha \otimes \overline\rho_{F,p}$ を介して重みを削減する。

実験結果

リサーチクエスチョン

• RQ1 $p$ を法とする2次スiegel尖点形式の古典的重みは、レベルを増加させることなく削減可能か？
• RQ2 任意の $p$ を法とするガロア表現 $\overline\rho: G_\mathbb{Q} \to GSp_4(\overline{\mathbb{F}}_p)$ がスiegel尖点形式から生じる重みの正確な範囲は何か？
• RQ3 theta作用素とそのサイクルは、$p$ を法とするスiegelモジュラー形式の非消滅性と重み削減性をどのように制御するか？
• RQ4 エーケルダール＝オールト層における部分ハッセ不変量の局所的性質は何か？また、スiegel3次元多様体の幾何とどのように関係するか？
• RQ5 特に非半単純の場合に、$\theta$-サイクル構造を完全に記述可能か？また、それによって重み制約に関する何が明らかになるか？

主な発見

• 本稿は重み削減定理を証明した：任意の $p$ を法とするガロア表現 $\overline\rho$ は、$k_1 - k_2 + 3 < p$ および $k_2 \leq p^4 + p^2 + 2p + 1$ を満たす重み $(k_1,k_2)$ のスiegel尖点形式から生じる。
• theta作用素 $\theta_1^{(k_1,k_2)}$ が超特異部分集合上で非消滅するための必要十分条件は $k_1 = k_2$ であることが示され、$\theta$-サイクルが重みの等価性を検出することを示している。
• 部分ハッセ不変量が構成され、各エーケルダール＝オールト層上で非消滅することが示され、形式の局所的解析が可能になった。
• $\theta$-サイクルの分解から、非自明なジャンピング点が $k_1 = k_2$ のときにのみ発生することが判明し、サイクル構造が重みの退化と関連していることが明らかになった。
• $n = p-1$ または $p-2$ のとき、$V(n-2,2) \cong W_2(n)$ は $\overline{\mathbb{F}}_p$ 上で正しく定義され、テンソル積 $V(n) \otimes V(2)$ の分解が可能になる。
• 明示的な基底変換式 (7.1)–(7.4) により、$V(n) \otimes V(2)$ を既約 $GL_2$-加群に分解する計算手法が提供され、$p$- torsion を考慮した係数調整が行われた。