[论文解读] Paramodular Cusp Forms

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

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

一句话总结

本文对素数 $p < 600$ 的参数模群 $K(p)$ 上的权二西格尔尖形式进行了分类，表明非格里茨琴科的赫克特征形式对应于有理数域上导子为 $p$ 的阿贝尔簇。这些结果支持参数模猜想，通过朗兰兹哲学与 Yoshida 的工作，将模形式与算术几何联系起来。

ABSTRACT

We classify Siegel modular cusp forms of weight two for the paramodular group K(p) for primes p&lt; 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.

研究动机与目标

• 对素数 $p < 600$ 的参数模群 $K(p)$ 上的权二西格尔尖形式进行分类。
• 建立非格里茨琴科赫克特征形式与有理数域上导子为 $p$ 的阿贝尔簇之间的对应关系。
• 为参数模猜想提供计算与算术证据，将志村-谷山哲学推广至二度西格尔模形式。
• 通过陪集分解与迹公式，分析赫克算子在西格尔模形式空间上的作用。

提出的方法

• 利用参数模群 $K(p)$ 及其在权二西格尔模形式上的作用。
• 通过 $\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 权二的 $K(p)$ 上的非格里茨琴科赫克特征形式是否对应于有理数域上导子为 $p$ 的阿贝尔簇？
• RQ2 这些非提升形式的欧拉因子如何与关联阿贝尔簇的欧拉因子相关联？
• RQ3 作用于 $K(p)$ 上西格尔模形式空间的赫克代数具有何种结构？
• RQ4 赫克算子的迹公式在 $F_p$ 与 $\mu$ 作用下如何分解？
• RQ5 当阿贝尔簇具有有理 $\ell$-挠率时，这些形式与格里茨琴科提升在模 $\ell$ 下的同余关系在多大程度上成立？

主要发现

• 对 $p < 600$ 的 $K(p)$ 上权二西格尔尖形式的分类表明，非格里茨琴科赫克特征形式对应于有理数域上导子为 $p$ 的阿贝尔簇。
• 这些非提升形式与关联阿贝尔簇的 $L$-函数共享欧拉因子，支持模形式性预测。
• 当阿贝尔簇具有有理 $\ell$-挠率时，观察到非提升形式与格里茨琴科提升在模 $\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$ 表示，且迹公式尊重这些尖点结构。