[论文解读] Siegel cusp forms of degree 2 are determined by their fundamental Fourier coefficients

Abhishek Saha|arXiv (Cornell University)|Jun 25, 2011

Advanced Algebra and Geometry参考文献 18被引用 1

一句话总结

本文证明了对全模群 Sp4(Z) 的第二度 Siegel cusp forms 唯一由其基本 Fourier 系数决定——具体而言，即由行列式 4 det(S) 为奇且无平方因子的矩阵 S 索引的系数。证明将问题约化为半整权模形式的一个关键结果：对于奇且无平方因子的 N，权重为 k+1/2 且水平为 4N 的 cusp forms 同样由其在奇无平方因子整数处的 Fourier 系数唯一决定，即使不假设其为 Hecke 特征形式。该结果解决了 Siegel 模形式 L 函数特殊值定理中长期存在的假设。

ABSTRACT

We prove that a Siegel cusp form of degree 2 for the full modular group is determined by its set of Fourier coefficients a(S) with 4 det(S) ranging over odd squarefree integers. As a key step to our result, we also prove that a classical cusp form of half-integral weight and level 4N, with N odd and squarefree, is determined by its set of Fourier coefficients a(d) with d ranging over odd squarefree integers, a result that was previously known only for Hecke eigenforms.

研究动机与目标

• 建立对 Sp4(Z) 的第二度 Siegel cusp forms 由其基本 Fourier 系数唯一决定。
• 证明水平为 4N（N 为奇且无平方因子）的半整权 cusp forms 由其在奇无平方因子整数处的 Fourier 系数唯一决定，即使不假设其为 Hecke 特征形式。
• 在先前关于 L(s, F × g) 的特殊值定理中，移除对非零基本 Fourier 系数的假设，其中 F 是 Sk(Sp4(Z)) 中的 Hecke 特征形式。

提出的方法

• 通过 Fourier-Jacobi 展开将 Siegel cusp form 问题约化为半整权情形。
• 利用 Jacobi 形式与半整权全模形式之间的对应关系。
• 利用 Hecke 算子关系与 Duke 和 Iwaniec 的渐近公式，建立 Fourier 系数平方平均值的技巧性上界。
• 应用筛法程序，以分离与固定素数集合互素的无平方因子系数。
• 通过归纳构造具有受控零点性质的模形式，将问题约化至可应用引理 3.7 的情形。
• 利用某些 L 函数的非零性以及 Kohnen 正空间中系数的非零性，得出主要结果。

实验结果

研究问题

• RQ1 对 Sp4(Z) 的第二度 Siegel cusp forms 是否由其基本 Fourier 系数唯一决定，即那些满足 4 det(S) 为奇且无平方因子的 S？
• RQ2 是否可在不假设为 Hecke 特征形式的前提下，建立水平为 4N（N 为奇且无平方因子）的半整权 cusp forms 的唯一性？
• RQ3 对所有非零第二度、水平为 1 的 Siegel cusp forms，其基本 Fourier 系数是否非零，即使其非特征形式？
• RQ4 能否无条件地移除先前关于 L(s, F × g) 特殊值定理中对非零基本 Fourier 系数的假设？

主要发现

• 任意非零 Siegel cusp form F ∈ Sk(Sp4(Z)) 必须存在某个 S，使得其 Fourier 系数 a(F, S) 非零，且满足 4 det(S) 为奇且无平方因子。
• 水平为 4N（N 为奇且无平方因子）的半整权 cusp forms 空间，即使不为 Hecke 特征形式，也由其在奇无平方因子整数处的 Fourier 系数唯一决定。
• 该证明表明，对任意非零 f ∈ Sk+1/2(N, χ) 满足定理 2 条件，使得 a(f, d) ≠ 0 的奇无平方因子整数 d 的集合是无限的。
• 该结果消除了先前关于 L 函数 L(s, F × g)（度为 8）的特殊值定理中对非零基本 Fourier 系数的假设，使这些定理对 Hecke 特征形式无条件成立。
• 该方法提供了一种新颖的、不依赖 L 函数的系数唯一性证明途径，避免了对 Waldspurger 型公式或扭曲 L 值的依赖。
• 通过归纳构造在素数处具有受控零点的模形式，确保在约化过程中奇无平方因子整数处的非零性得以保持。