[论文解读] 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

一句话总结

本论文通过严格验证其L函数与权为2、级别为277的非Gritsenko提升Siegel参数模形式的L函数一致，首次证明了Q上典型阿贝尔曲面的参数模性——具体而言，是277阶的亏格2曲线的雅可比簇。作者采用扩展的Faltings–Serre方法，通过将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阶）阿贝尔曲面的参数模性，并证明其无穷多个二次扭形式也满足参数模性。

提出的方法

• 应用扩展的Faltings–Serre方法，比较阿贝尔曲面与Siegel参数模形式所关联的2-adic伽罗瓦表示。
• 通过计算阿贝尔曲面2 torsion域的残像并匹配Siegel形式Hecke特征值的模2约化，验证模2伽罗瓦等价性。
• 通过在模曲线上限制Siegel参数模形式，利用Gritsenko提升中的有理函数，高效计算其Hecke特征值。
• 利用GSp4(F2) ≃ S6的群论与伽罗瓦理论分析，分类可能的伽罗瓦像并排除虚假候选。
• 计算有限个有效可计算素数（例如N = 277时p ≤ 43）的Frobenius迹，以确认表示等价性。
• 利用Serre附录中关于G-不变双线性形式约化的方法，确保模π约化半单化的剩余形式存在兼容形式。

实验结果

研究问题

• RQ1 在Q上，亏格2曲线y² + (x³ + x² + x + 1)y = −x² − x的雅可比簇（277阶）是否满足参数模猜想？
• RQ2 能否通过限制到模曲线，有效计算Siegel参数模形式的Hecke特征值？
• RQ3 典型阿贝尔曲面的模2伽罗瓦表示是否同构于同级别同权的非Gritsenko提升Siegel模形式的模2表示？
• RQ4 Faltings–Serre方法能否扩展至证明无额外自同态的阿贝尔曲面的模性？
• RQ5 277阶阿贝尔曲面的无穷多个二次扭形式是否也满足参数模性？

主要发现

• 在Q上，亏格2曲线y² + (x³ + x² + x + 1)y = −x² − x的雅可比簇A的L函数，与唯一非Gritsenko提升的权2、级别277的Siegel参数模形式的旋量L函数完全一致。
• A与Siegel形式的模2伽罗瓦表示同构且绝对不可约，其像在GSp4(F2) ≃ S6中同构于S5(b)。
• 对于277阶情形，所有满足p ≤ 43的素数p，Frobenius迹均相等，确认了伽罗瓦表示等价性。
• 该方法成功验证了另外两个同源类（353阶与587阶）的参数模性，其中Frobenius迹在p ≤ 41与p ≤ 43时均已验证匹配。
• 本文证明了277阶曲面的无穷多个二次扭形式也满足参数模性，利用了L函数在扭作用下的局部相容性。
• Serre的附录将G-不变形式的约化推广至G-协变形式，证明了在K-向量空间上，ε-协变非退化双线性形式可下移至模π约化半单化的非退化ε-协变形式。