[论文解读] Nonlift weight two paramodular eigenform constructions

Cris Poor, Jerry Shurman+1 more|arXiv (Cornell University)|May 10, 2018

Advanced Algebra and Geometry参考文献 12被引用 3

一句话总结

该论文通过使用 Borcherds 乘积和有限特征下的模形式，完成了对所有未被 Gritsenko 提升覆盖的 $N < 600$ 的素数水平下非提升权二参数模 Siegel cusp 特征形式的构造。通过在特征 $p$ 下从水平 $2N$ 进行降维技术，确认了在例外水平 $N = 461$ 和 $587^+$ 处非提升形式的存在性，从而验证了这些情况下的参数模猜想。

ABSTRACT

We complete the construction of the nonlift weight two cusp paramodular Hecke eigenforms for prime levels N&lt;600, which arise in conformance with the paramodular conjecture of Brumer and Kramer.

研究动机与目标

• 完成对所有未被 Gritsenko 提升覆盖的素数水平 $N < 600$ 下非提升权二参数模 Hecke 特征形式的构造。
• 解决参数模猜想中剩余的例外情况，特别是 $N = 461$ 和 $587^+$，其中在正空间中不存在 Borcherds 乘积。
• 通过在有限特征下从水平 $2N$ 进行降维技术，建立这些水平下非提升特征形式的存在性。
• 提供计算证据和显式构造，以支持参数模猜想中关于阿贝尔曲面、QM 阿贝尔四倍体与参数模形式之间双射关系的预测。

提出的方法

• 对于大多数例外水平，通过在 ${\mathcal{S}}_2({\rm K}(N))$ 中使用 theta 块和奇异尖点形式构造非提升特征形式，方法为 Borcherds 乘积。
• 对于 $N = 461$ 和 $587^+$，由于在正空间中不存在 Borcherds 乘积，因此在有限特征 $p$ 下通过水平 $2N$ 的 Jacobi 限制在 ${\mathcal{S}}_2({\rm K}(2N))^{-,+}$ 中构造形式。
• 对 ${\mathcal{S}}_2({\rm K}(2N))^{-,+}$ 中 Atkin–Lehner 特征形式的傅里叶系数部分数据，使用延长和补全技术在模 $p$ 下进行扩展。
• 对特征 $p$ 下的提升特征形式应用降维算子 $\operatorname{TD}$，得到 ${\mathcal{S}}_2({\rm K}(N))^{+}$ 中的形式，同时保持整性与模 $p$ 结构。
• 通过系数计数（$N=461$ 为 255 个，$N=587$ 为 271 个）验证降维后的形式与 Gritsenko 提升在模 $p$ 下的线性无关性。
• 利用 $\operatorname{TD}((f^{-,+}_{2N})_p) = (\operatorname{TD}f^{-,+}_{2N})_p$ 的事实，推断出在特征 0 下存在非提升形式。

实验结果

研究问题

• RQ1 在 $N = 461$ 处是否存在非提升参数模特征形式，其中在正空间中不存在 Borcherds 乘积？
• RQ2 尽管缺乏直接的 Borcherds 乘积构造，是否可以确认 $N = 587^+$ 处非提升特征形式的存在性？
• RQ3 是否可以使用有限特征方法，结合傅里叶系数的延长与补全，验证降维后特征形式的非提升性质？
• RQ4 计算得到的模 $p$ 傅里叶系数是否足以将降维后的形式与 Gritsenko 提升区分开？
• RQ5 参数模猜想是否已在所有素数水平 $N < 600$ 下完全验证？

主要发现

• 该论文完成了对所有素数水平 $N < 600$ 下非提升权二参数模特征形式的构造，包括此前未解决的 $N = 277, 349, 353, 389, 461, 523, 587^\pm$ 等情况。
• 对于 $N = 461$，通过从水平 $922$ 在特征 $p = 12347$ 下对 Atkin–Lehner 特征形式进行降维，确认了 ${\mathcal{S}}_2({\rm K}(461))^+$ 中非提升特征形式的存在性，使用了模 $p$ 下的 255 个傅里叶系数。
• 对于 $N = 587^+$，通过从水平 $1174$ 降维构造形式，使用 271 个模 $p$ 傅里叶系数确认其与 Gritsenko 提升的线性无关性，从而确立了非提升特征形式的存在性。
• 对例外水平的正空间与负空间的维数已完全确定：当 $N \neq 587$ 时，$\dim{\mathcal{S}}_2({\rm K}(N))^+ = \dim{\rm J}_{2,N}^{\rm cusp} + 1$ 且 $\dim{\mathcal{S}}_2({\rm K}(N))^- = 0$；而 $\dim{\mathcal{S}}_2({\rm K}(587))^- = 1$。
• 该构造证实了对所有素数水平 $N < 600$，参数模猜想成立，双射关系 $\mathcal{A}_N \cup \mathcal{B}_N \longleftrightarrow \mathcal{P}_N$ 通过 $L$-函数匹配得以实现。
• 结果解决了低于 600 的素数水平下参数模猜想的最后开放情况，完成了 [14] 中启动并经由 Borcherds 乘积构造扩展的程序。