Explicit generators of the space of modular forms

技术摘要：模形式空间的显式生成元

问题陈述
本文探讨了关于权为偶数 $\kappa \ge 12$ 的级数为 1 的尖点形式空间 $S_\kappa$ 及其对偶空间 $S^*_\kappa$ 的两个相互关联的问题。

1. $S_\kappa$ 的生成元： 虽然已知模形式空间由具有有理傅里叶系数的模形式所张成，但一个具体的问题仍然存在：即尖点形式子空间 $S_\kappa$ 是否可以由 Eisenstein 级数的 Rankin-Cohen 括号（Rankin-Cohen brackets）生成。此前的工作中，Xue [17] 已经确定了对于特定括号阶数 $n$（例如 $n=0, 1, 2, 3$）的情况，并猜想只要 $\kappa$ 相对于 $n$ 足够大，集合 $\{[E_k, E_\ell]_n\}$ 能够张成 $S_\kappa$。
2. $S^*_\kappa$ 的生成元： 对偶空间 $S^*_\kappa$ 由模形式的周期（periods）所张成。虽然 Eichler-Shimura 关系暗示了偶周期 $\{r_0, r_2, \dots, r_{\kappa-2}\}$ 和奇周期 $\{r_1, r_3, \dots, r_{\kappa-3}\}$ 均能张成 $S^*_\kappa$，但这些集合并不线性无关（其规模约为 $6 \dim S_\kappa$）。本问题的目标是识别出显式的、更小的周期子集，使其构成 $S^*_\kappa$ 的生成集（或基）。

方法论
作者结合了解析数论与线性代数的方法：

• Rankin-Selberg 方法： 为了证明 $S_\kappa$ 的张成性质，作者利用 Rankin-Selberg 方法将尖点形式与 Rankin-Cohen 括号的内积联系起来。具体而言，他们证明了如果一个尖点形式 $g$ 与这些括号的张成空间正交，则其相关的周期线性组合必为零。
• Eichler-Shimura 关系： 证明的核心依赖于周期之间的线性相关关系（论文中的方程 (1t), (2t) 和 (3t)）。作者构造了一个代表这些关系的一个子系统的矩阵 $A$。
• 矩阵分析： 为了证明特定的周期子集能张成对偶空间，必须证明其余部分的周期可以表示为所选部分的线性组合。这要求证明由“未被选择”的周期构成的矩阵 $A$ 是非奇异的。
• 组合技术： 证明非奇异性的过程涉及使用特定的消元矩阵 $P$ 对矩阵 $A$ 进行行简化。不同于旨在得到上三角矩阵的标准高斯消元法，作者将其化简为一个下反三角矩阵（lower anti-triangular matrix）。他们利用第一类和第二类 Stirling 数的性质（引理 3.1）以及组合恒等式，证明了 $PA$ 在反对角线之上方的项全部消失，且反对角线上的项均不为零。

主要贡献与结果

1. 解决 $S_\kappa$ 的张成猜想（定理 1.1）：
   作者对 [17] 中的猜想给出了肯定的回答。他们证明了对于任何整数 $n \ge 1$，若 $\kappa \ge 4n + 18$，则由偶数 $k, \ell \ge 4$ 且 $k + \ell + 2n = \kappa$ 构成的 Rankin-Cohen 括号集合 $\{[E_k, E_\ell]_n\}$ 张成向量空间 $S_\kappa$。

   • 机制： 他们基于一个假设的正交尖点形式 $g$ 的周期定义了一个函数 $G_g$。通过分析涉及周期的索引范围，他们表明 $G_g$ 满足命题 2.2 的消失准则，从而推导出 $G_g = 0$，进而得出 $g=0$。

2. $S^*_\kappa$ 的显式生成子集（定理 1.2）：
   本文识别了张成 $S^*_\kappa$ 的显式周期子集。令 $\kappa = 12m + 2a$，其中 $0 \le a \le 5$。作者定义了一个索引集 $I = \{i \in \mathbb{Z} : \lceil \frac{3m}{2} \rceil + 1 \le i \le 3m + \lfloor \frac{a}{2} \rfloor - 1\}$。

   • 他们证明了偶周期 $\{r_{2i}\}_{i \in I}$ 张成 $S^*_\kappa$。
   • 同样地，奇周期 $\{r_{2i-1}\}_{i \in I}$ 也张成 $S^*_\kappa$。
   • 这些生成集的规模约为 $\lceil \frac{3}{2} \dim S_\kappa \rceil$，这与 Fukuhara [4] 发现的基不同。

3. 关系矩阵的非奇异性：
   一个重要的技术贡献是证明了由 Eichler-Shimura 关系导出的矩阵 $A$ 是非奇异的。这是通过构造一个消元矩阵 $P$，将 $A$ 转化为一个具有非零反对角线项的下反三角矩阵来实现的。这一结果验证了被排除在生成集之外的特定周期的线性无关性，从而确认了所选子集的张成性质。

意义与主张
本文声称解决了关于在足够大的权重下，由 Eisenstein 级数的 Rankin-Cohen 括号生成尖点形式的猜想。此外，它为对偶空间提供了新的、显式的生成集，从而比以往的研究更精细地理解了周期之间的线性相关性。

作者指出，与高层级（例如 $\Gamma_0(N)$，其中由于维度限制，周期通常不构成基）相比，他们在级数为 1 情况下的结果显得有些神秘。论文最后将他们的发现与关于任意周期集线性无关性的更广泛猜想（猜想 4.2 和 4.3）联系起来，表明定理 1.2 是这些猜想的推论。该工作依赖于 $\kappa$ 足够大（$\kappa \ge 4n + 18$）这一假设，以确保周期索引的必要不等式成立。