Rational spanning sets of level-one cusp forms from Eisenstein series at prime levels

技术摘要：利用素数层级艾森斯坦级数构造一阶尖点形式的有理扩张集

问题陈述
本文研究了如何为权重为 $k$、层级为 1 的尖点形式空间 $S_k$ 构造显式的有理扩张集。虽然已知 $S_k$ 可以由层级为 1 的艾森斯坦级数（例如 $E_l \cdot E_{k-l} - E_k$）的乘积生成，但从这些形式中寻找一个显式基底是非常困难的。近期的研究通过使用层级为 1 的艾森斯坦级数的 Rankin-Cohen 括号提供了扩张集。驱动这项工作的核心问题是：能否仅使用更高层级（具体为素数层级）的艾森斯坦级数，而不是依赖于较低权重的层级 1 形式，来构造 $S_k$ 的一个显式有理扩张子集？

方法论
作者采用了一种涉及迹映射（trace map）和 Rankin-Cohen 括号的方法，将高层级的形式提升（lift）至层级 1 空间。其核心方法如下：

1. 形式的构造： 本文定义了一族模形式 $F_{p, k_1, k_2, c}(z)$，其通过对两个层级为 $p$（其中 $p$ 为奇素数，$\chi_p$ 为 Legendre 符号）的艾森斯坦级数 $G_{k_1, \chi_p}$ 和 $G_{k_2, \chi_p}$ 取第 $c$ 阶 Rankin-Cohen 括号得到。随后，利用迹映射 $\text{Tr}_1^p$ 将这些形式降至层级 1 空间。
2. Rankin-Selberg 卷积： 通过 Rankin-Selberg 卷积建立了这些构造形式与尖点形式之间的关系。具体而言，构造出的形式与归一化 Hecke 特征形式 $f \in S_k$ 的 Petersson 内积被证明正比于一个中心 $L$ 值与一个扭曲 $L$ 值的乘积：$L(f, k_1+k_2+c-1)L(f, \chi_p, k_2+c)$。
3. 由非中心 $L$ 值进行判定： 证明过程依赖于一项新结果（定理 3.2），该结果表明：一个尖点形式由其在特定算术级数中的素数 $p$ 的非中心二次扭曲 $L$ 值 $L(f, \chi_p, s)$ 唯一确定（若所有相关系数均为零，则该形式必为零）。该结果利用了：
   • Dirichlet 特征的正交性以及 Siegel-Walfisz 定理来对素数进行平均。
   • 对称平方 $L$ 函数的性质，从而将扭曲 $L$ 值与平方自由指数的傅里叶系数联系起来。
   • Anamby 和 Das 的引理，该引理指出在所有平方自由傅里叶系数上消失的尖点形式恒为零。

主要贡献与结果

• 定理 1.1（主要结果）： 本文证明了集合 $\{F_{p, k_1, k_2, c}(z)\}_{p \in P_{4, (-1)^{k_1}}}$ 扩张了整个空间 $S_{k_1+k_2+2c}$。这里 $P_{4, (-1)^{k_1}}$ 表示模 4 余数为 $(-1)^{k_1}$ 的素数集合。这为动机问题提供了肯定的回答，即完全利用不同素数层级的艾森斯坦级数构造出了 $S_k$ 的有理扩张集。
• 定理 3.2（判定定理）： 一个重要的中间结果建立在：如果尖点形式 $f \in S_k$ 满足对于所有属于固定模 4 剩余类的素数 $p$，$L(f, \chi_p, s) = 0$（其中 $\text{Re}(s) > k + 1/2$），那么 $f$ 必须是零形式。这将其前人的关于中心 $L$ 值的研究推广到了非中心值和一般尖点形式。
• 数值证据与猜想： 文中提供了针对 $S_{24}$ 的数值示例，表明对于不同的素数 $p_1, p_2$，形式 $F_{p_1}$ 和 $F_{p_2}$ 是线性无关的。基于此，作者提出了猜想 1.4，认为任何包含 $d = \dim S_k$ 个此类形式（其中素数互不相同且处于正确的剩余类中）的子集都构成 $S_k$ 的一组基。

意义与主张
本文声称提供了第一个完全由高层级艾森斯坦级数导出的层级 1 尖点形式的有理扩张集的显式构造。与以往依赖于低权重层级 1 艾森斯坦级数的构造不同，该方法在保持艾森斯坦级数指数不变的同时改变了层级。

这项工作的意义在于：

1. 显式构造： 它提供了一组可计算的、扩张 $S_k$ 的有理形式，这些形式是通过层级为 $p$ 的艾森stein 级数的 Rankin-Cohen 括号的迹导出的。
2. 理论进展： 证明过程引入了一种通过非中心二次扭曲 $L$ 值来确定尖点形式的方法，这在技术上比依赖于中心值的方法更为简便。
3. 与扭曲周期（Twisted Periods）的联系： 在讨论部分（第 5 节）中，作者将这些结果与模形式的扭曲周期理论联系起来，回答了一个关于具有固定指数但变化的二次特征的扭曲周期是否扩张对偶空间 $S_k^*$ 的特定问题。

作者对于扩张集的有限性保持了谦逊的态度；虽然定理保证了无穷素数集可以扩张该空间，但本文并未证明这些素数的有限子集足以构成一组基，尽管数值数据表明这很可能是成立的。