[論文レビュー] On the Bloch-Kato conjecture for GSp(4)

David Loeffler, Sarah Livia Zerbes|arXiv (Cornell University)|Mar 12, 2020

Advanced Algebra and Geometry参考文献 19被引用数 15

ひとこと要約

本論文は、 genus 2 Siegel モジュラー形式のスピンガロア表現に付随するオイラー系について、明示的な相互法則を証明し、オイラー系の類と p-進スピン L 関数の非臨界値との間のリンクを確立する。主な結果は、p-進 L-値を用いて標準的オイラー系類の Bloch–Kato 対数を計算することであり、これは、軽微な重み条件および p における不分岐かつ Klingen-ordinary 条件の下で、解析的階数 0 における臨界 twist のモチーフに関して Iwasawa 主予想の一方の包含関係と Bloch–Kato 予想を示唆する。

ABSTRACT

We prove an explicit reciprocity law for the Euler system attached to the spin motive of a genus 2 Siegel modular form. As consequences, we obtain one inclusion of the Iwasawa Main Conjecture for such motives, and the Bloch--Kato conjecture in analytic rank 0 for their critical twists.

研究の動機と目的

• genus 2 Siegel モジュラー形式のスピンガロア表現に付随するオイラー系と、その p-進スピン L 関数の臨界値および非臨界値を結ぶ明示的相互法則を確立すること。
• 軽微な重みおよびレベル条件の下で、このような形式のスピンモチーフに対する Iwasawa 主予想の一方の包含関係を証明すること。
• オイラー系が非ゼロであると仮定して、解析的階数 0 における臨界 twist の Bloch–Kato 予想を検証すること。
• p-進コホモロジーおよび正則コホモロジーの枠組みを、GSp(4) シムーラ多様体および EKOR strata の文脈で、レギュレーターを扱うために拡張すること。
• 任意のレベルに対して有効である p-進レギュレーター公式を提供すること（r1−r2≥3 を仮定）、これによりより広範な算術的応用が可能になる。

提案手法

• 有限多項式コホモロジーおよび剛体シントミックコホモロジーを用いて、オイラー系類とコホモロジカルなレギュレーターを関連付ける。
• 整数的モデルにおける Siegel 三重体の系列的コホモロジー降下および双対性の議論を通じて、レギュレーター計算を正則コホモロジーのペアリングに還元する。
• 高次 Hida 理論からの p-進補間技法を適用し、スピン L 関数の臨界値を補間する p-進 L 関数を構成する。
• 変形理論および Hida ファミリーを用いて、非臨界 p-進 L-値とオイラー系類の Bloch–Kato 対数との関係を確立する。
• GAGA 原理および比較定理を用いて、境界 strata の剛体コホモロジーと Betti コホモロジー、および自動形式表現とを関連付ける。
• EKOR strata およびトロイドナルコンパクト化の理論を適用し、乗法的・通常型の局所のコホモロジーおよびその境界成分を分析する。

実験結果

リサーチクエスチョン

• RQ1 GSp(4) の標準的オイラー系類 z[Π,q,r]can(χ) の Bloch–Kato 対数は、どのように p-進 L-値で表されるか？
• RQ2 genus 2 Siegel モジュラー形式のスピンモチーフに関して、オイラー系と p-進 L 関数の間の明確な関係は何か？
• RQ3 オイラー系の非ゼロ性が、解析的階数 0 における臨界 twist の Bloch–Kato 予想にどの程度まで影響を与えるか？
• RQ4 GSp(4) シムーラ多様体の文脈において、正則コホモロジーや剛体シントミックコホモロジーを用いて、オイラー系類のレギュレーターを計算できるか？
• RQ5 乗法的・通常型の局所およびその境界 strata のコホモロジー群は、グローバルなレギュレーター計算にどのように寄与するか？

主な発見

• 標準的オイラー系類 z[Π,q,r]can(χ) の Bloch–Kato 対数は、基底 νdR の選択に依存する非ゼロ定数を除き、p-進スピン L 関数の非臨界値に等しいことが示された。
• Π が p で不分岐かつ Klingen-ordinary であり、r1−r2≥3 であるという仮定の下で、明示的相互法則が成立する。
• 正則コホモロジーによるレギュレーター計算により、オイラー系類が解析的階数 0 における Bloch–Kato Selmer 群に非自明に写ることを示せる。
• 相互法則の結果として、スピンガロア表現に対する Iwasawa 主予想の一方の包含関係が確立された。
• オイラー系が非ゼロであると仮定すれば、解析的階数 0 におけるすべての臨界 twist の Bloch–Kato 予想が証明された。
• p-進レギュレーター公式は任意のレベルに対して有効であり、r1−r2≥3 という軽微な重み条件のもとで、従来の結果をより広いクラスの自動形式に拡張する。