[論文レビュー] On the paramodularity of typical abelian surfaces (and reduction of G-covariant bilinear forms)

Armand Brumer, Ariel Pacetti+4 more|arXiv (Cornell University)|May 28, 2018

Advanced Algebra and Geometry参考文献 51被引用数 17

ひとこと要約

本稿では、Faltings–Serre法の拡張を用いて、277を導数とする典型型のアーベル曲面（特に、導数277の genus 2 曲線のヤコビアン）について、非Gritsenko型のスピンL関数を持つ重さ2、レベル277のSiegelパラモジュラー形式のL関数と一致することを厳密に検証することで、Q上における最初の既知のパラモジュラリティの事例を確立した。Siegelモジュラー形式をモジュラー曲線に特化させることで、Hecke固有値を計算し、2進ガロア表現の同値性と有限個の素数についての同値性を証明することで、この場合のモジュラリティを完成させ、無限個のねじりにまで拡張した。

ABSTRACT

Generalizing the method of Faltings-Serre, we rigorously verify that certain abelian surfaces without extra endomorphisms are paramodular. To compute the required Hecke eigenvalues, we develop a method of specialization of Siegel paramodular forms to modular curves. In the appendix, Serre proves a result extending his work on the reduction of G-invariant bilinear forms modulo primes to the case of G-covariant forms.

研究の動機と目的

• Q上の最小的自己準同型（End(A) = Z）を持つ典型型アーベル曲面について、導数277のパラモジュラリティ予想を証明すること。
• モジュラー曲線への特化を用いて、Siegelパラモジュラー形式のHecke固有値を計算する手法を開発すること。
• Faltings–Serre法を拡張し、アーベル曲面の2-adic TateモジュールとSiegelモジュラー形式に付随するガロア表現の同値性を検証すること。
• 導数353および587の2つの追加の同種類のアーベル曲面についてパラモジュラリティを確立し、それらの無限個の二次ねじりがすべてパラモジュラーであることを示すこと。

提案手法

• アーベル曲面とSiegelパラモジュラー形式に付随する2-adicガロア表現を比較するために、拡張されたFaltings–Serre法を適用する。
• アーベル曲面の2-torsion体の残余像を計算し、Siegel形式のHecke固有値の2進還元と一致させることで、mod 2ガロア同値性を検証する。
• Gritsenko還元における有理関数を用いて、モジュラー曲線へのSiegelパラモジュラー形式の特化を効率的に実行し、そのHecke固有値を計算する。
• GSp4(F2) ≃ S6 の群論的・ガロア論的解析を用いて、可能なガロア像を分類し、誤った候補を除外する。
• 有効に計算可能な有限個の素数（例：N = 277の場合にp ≤ 43）について、フロベニウスのトレースの一致を確認し、表現同値性を裏付ける。
• Serreの付録を活用し、G-不変な双一次形式のG-共変形式への還元を保証することで、2進表現の半単純化における適合する残余形式の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 導数277の、Q上の曲線 y² + (x³ + x² + x + 1)y = −x² − x のヤコビアンは、パラモジュラリティ予想を満たすか？
• RQ2 モジュラー曲線への特化を用いて、Siegelパラモジュラー形式のHecke固有値を効果的に計算できるか？
• RQ3 典型型アーベル曲面のmod 2ガロア表現は、同じレベルと重さの非Gritsenko型Siegelモジュラー形式のそれと同型か？
• RQ4 Faltings–Serre法を、余分な自己準同型を持たないアーベル曲面のモジュラリティを証明するために拡張可能か？
• RQ5 導数277のアーベル曲面の無限個の二次ねじりはすべてパラモジュラーか？

主な発見

• 導数277の、曲線 y² + (x³ + x² + x + 1)y = −x² − x のヤコビアン A のL関数は、重さ2、レベル277の唯一の非Gritsenko型還元Siegelパラモジュラー形式のスピンL関数と一致する。
• A とSiegel形式のmod 2ガロア表現は同型であり、絶対的単純である。両者の像はGSp4(F2) ≃ S6 内でS5(b)に同型である。
• 導数277の場合、すべての素数p ≤ 43についてフロベニウスのトレースが一致し、ガロア表現同値性が確認された。
• この方法により、導数353および587の2つの追加の同種類のアーベル曲面についてもパラモジュラリティが正当化され、それぞれp ≤ 41およびp ≤ 43の素数についてトレース一致が検証された。
• 本稿では、導数277のアーベル曲面の無限個の二次ねじりについてもパラモジュラリティが確立された。これは、L関数のねじりにおける局所的適合性を用いた。
• Serreの付録では、G不変形式のG共変形式への還元が一般化され、K-ベクトル空間上のε共変非退化双一次形式が、2進還元の半単純化上でも非退化なε共変形式に下がることを証明した。