[论文解读] Sturm bounds for Siegel modular forms of degree 2 and odd weights

Toshiyuki Kikuta, Sho Takemori|arXiv (Cornell University)|Aug 7, 2015

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

一句话总结

本文为任意素数 $p$ 下，度数为 2 且权为奇数的 Siegel 模形式建立了精确的 Sturm 估计，修正了先前文献中关于 $p=2,3$ 的漏洞，并将结果推广至奇数权情形。证明了当傅里叶系数在界限 $b_k = \lfloor (k-5)/10 \rfloor$ 内消失时，模 $\mathfrak{p}^\nu$ 也消失，且对代数傅里叶系数而言该界限是精确的。

ABSTRACT

We correct the proof of the theorem in the previous paper presented by the first named author, which concerns Sturm bounds for Siegel modular forms of degree $2$ and of even weights modulo a prime number dividing $2\cdot 3$. We give also Sturm bounds for them of odd weights for any prime numbers, and we prove their sharpness. The results cover the case where Fourier coefficients are algebraic numbers.

研究动机与目标

• 修正文献 [7] 中关于 $p=2,3$ 及偶权情形下 Siegel 模形式 Sturm 估计证明中的缺陷。
• 为任意素数 $p$ 下度数为 2 且权为奇数的 Siegel 模形式建立精确的 Sturm 估计。
• 证明这些估计的精确性，这对于通过数值实验验证同余关系至关重要。
• 将理论扩展至具有代数傅里叶系数的模形式，确保其在算术背景下的适用性。

提出的方法

• 提出一种新证明技术，以修正文献 [7] 中关于 $p=2,3$ 及偶权情形下的错误论证。
• 根据权和素数模，定义 Sturm 估计 $b_k$ 为：当 $k$ 为偶数时 $b_k = \lfloor k/10 \rfloor$，当 $k$ 为奇数时 $b_k = \lfloor (k-5)/10 \rfloor$。
• 基于已知的模形式 $X_{10}, X_{16}, X_{35}, Y_{12}$ 及其 $p$-进赋值，对权 $k$ 进行归纳。
• 应用 $W$-映射和 $W''$-映射分析傅里叶系数的 $p$-进赋值，并推导同余条件。
• 利用如下事实：若对所有满足 $0 \leq m,n \leq b_k$ 且 $4mn - r^2 \geq 0$ 的系数 $a_f(m,r,n) \equiv 0 \mod{\mathfrak{p}^\nu}$，则 $f \equiv 0 \mod{\mathfrak{p}^\nu}$。
• 通过构造显式模形式 $f_k$（$k=35,39,41,43,47$）验证精确性，其首项恰好达到该界限。

实验结果

研究问题

• RQ1 对于任意素数 $p$，度数为 2 且权为奇数的 Siegel 模形式，其正确的精确 Sturm 估计是什么？
• RQ2 如何修正文献 [7] 中定理 2.1 关于 $p=2,3$ 及偶权情形下的证明漏洞？
• RQ3 能否证明奇权情形下 Sturm 估计的精确性？其精确形式为何？
• RQ4 傅里叶系数的 $p$-进赋值如何与模素数幂的模形式消失性相关？
• RQ5 对于具有代数系数的模形式，检测其模 $\mathfrak{p}^\nu$ 消失所需的最小傅里叶系数集合是什么？

主要发现

• 奇权情形下的 Sturm 估计为 $b_k = \lfloor (k-5)/10 \rfloor$，且对所有素数 $p$ 均为精确。
• 对于偶权情形及 $p=2,3$，修正后的 Sturm 估计为 $b_k = \lfloor k/10 \rfloor$，且为精确。
• 通过构造 $k=35,39,41,43,47$ 的显式模形式 $f_k$，其首项恰好达到该界限，从而验证了估计的精确性。
• 该证明依赖于一种新方法，结合 $W$-映射与 $p$-进赋值论证，修正了文献 [7] 中的错误方法。
• 结果适用于具有代数傅里叶系数的模形式，扩展了其在算术几何与同余研究中的适用性。
• 界限 $b_k$ 满足递推关系 $b_k = b_{k-8} + 1$（$k \geq 45$），支持了归纳证明的结构。