Twisted periods of modular forms

技术摘要：模形式的扭转周期

问题陈述
本文研究了与权重为 $k$、能级为 1 的尖点形式（记为 $S_k$）相关的“扭转周期”（twisted periods）的线性无关性。虽然经典的 Eichler-Shimura 理论已经确立了周期构成对偶空间 $S_k^*$ 的基，但这些周期满足许多线性相关关系（Eichler-Shimura 关系），这意味着它们并非线性无关。Fukuhara、Lei 等人的前人工作已经探讨了特定奇数或偶数周期的线性无关性。本文将这些研究扩展到了扭转周期，该周期对于模为 $D$ 的本原 Dirichlet 特征 $\chi$ 和整数 $0 \le n \le k-2$ 定义为：
$$r_{n,\chi}(f) := \int_0^{i\infty} f_\chi(z) z^n dz = \frac{n!}{(-2\pi i)^{n+1}} L(f, \chi, n+1),$$
其中 $f_\chi$ 是尖点形式 $f$ 的扭转。核心问题是确定扭转周期集合在何种条件下是线性无关的。具体而言，作者探讨了两种情形：

1. 固定特征，不同指标： 对于固定的 $\chi$ 和不同的指标 $\ell_i$，周期集 $\{r_{\ell_i-1, \chi}\}$（或 $\{r_{\ell_i, \chi}\}$）是否线性无关？
2. 固定指标，不同特征： 对于固定的指标 $\ell$ 和不同的模为 $D$ 的本原特征 $\chi_i$，周期集 $\{r_{\ell-1, \chi_i}\}$（或 $\{r_{\ell, \chi_i}\}$）是否线性无关？

方法论
作者采用了类似于近期关于非扭转周期研究的策略，依赖于 Rankin-Selberg 方法和核函数的研究。其核心逻辑流程如下：

1. 核形式构造： 扭转周期 $r_{n,\chi}(f)$ 被实现为 Petersson 内积 $\langle f, K_{n,\chi} \rangle$。作者并没有直接分析具有超越数傅里叶系数的核 $K_{n,\chi}$，而是构造了与这些周期相关的显式尖点形式 $F_{K,\ell,\chi}$ 和 $G_{K,\ell,\chi} \in S_K$。

   • 对于奇数周期（指标 $\ell-1$），$F_{K,\ell,\chi}$ 是通过 Eisenstein 级数乘积的迹的尖点投影 $\text{Tr}_1^D(G_{\ell,\chi} G_{K-\ell,\chi})$ 导出的。
   • 对于偶数周期（指标 $\ell$），$G_{K,\ell,\chi}$ 是通过 Eisenstein 级数的 Rankin-Cohen 括号 $\text{Tr}_1^D([G_{\ell,\chi}, G_{K-2-\ell,\chi}]_1)$ 导出的。

2. 等价性证明： 利用 Rankin-Selberg 卷积公式，作者证明了扭转周期的线性无关性等价于对应的尖点形式集合 $\{F_{K,\ell_i,\chi}\}$ 或 $\{G_{K,\ell,\chi_i}\}$ 的线性无关性。

3. 傅里叶系数分析： 为了证明尖点形式的线性无关性，作者分析了它们的傅里叶系数。他们推导了在迹映射下，Eisenstein 级数乘积和 Rankin-Cohen 括号的显式系数公式。

   • 他们建立了这些系数在权重 $K$ 相对于指标和能级 $D$ 足够大时的渐近行为。
   • 具体而言，他们表明归一化后的 $q^{2j}$-傅里叶系数在 $K \to \infty$ 时，其行为渐近地表现为 $\sigma_{\ell-1,\chi}(2^j)$（针对 $F$）和 $2^j \sigma_{\ell-1,\chi}(2^j)$（针对 $G$），且误差项随之消失。

4. 矩阵非奇异性： 尖点形式的线性无关性被简化为由这些傅里叶系数构成的矩阵的非奇异性问题。

   • 对于固定特征和变化指标的情形，相关的矩阵被证明是涉及 $\chi(2)$ 的幂次的 Vandermonde 类矩阵的扰动矩阵。
   • 对于固定指标和变化特征的情形，矩阵涉及 $\chi_i(2)$ 的幂次。
   • 通过对误差项进行估计，并将扰动矩阵的行列式与主项进行比较（利用 Vandermonde 行列式的性质），作者证明了当 $K$ 足够大时，这些矩阵是非奇异的。

主要贡献与结果
假设 $D$ 是奇数平方自由整数且 $K$ 相对于 $n$ 和 $D$ 足够大，本文确立了关于扭转周期线性无关性的四个主要定理：

• 定理 1.1 & 1.2： 对于固定的本原特征 $\chi$，任何具有相同扭转但不同指标（无论是奇数型还是偶数型）的 $n$ 个扭转周期都是线性无关的。
• 定理 1.3 & 1.4： 对于固定的指标，任何具有不同本原特征 $\chi_i$（满足 $\chi_i(-1) = (-1)^\ell$ 且在固定素数处取值不同，例如 $\chi_i(2)$）的 $n$ 个扭转周期都是线性无关的。

应用
作者展示了其方法的两个应用：

1. 卷积和： 他们推导了将扭转除数函数的卷积和用广义伯努利数进行求值的显式恒等式。这些恒等式源于这样一个事实：对于某些 $\dim S_K = 0$ 的权重，所构造的尖点形式必须为零，从而迫使它们的傅里叶系数之间存在关系。
2. L-值的非零性： 假设 Maeda 猜想（即 Hecke 特征形式的 Galois 共轭形式生成 $S_K$），作者证明了当 $K \ge 10D + 2$ 时，对于归一化的 Hecke 特征形式 $f$，其扭转中心 L-值 $L(f, \chi, K/2)$ 是非零的。这依赖于证明相关的核形式 $F_{K, K/2, \chi}$ 不是恒等于零的。

意义与主张
本文声称提供了关于扭转周期线性无关性的首次系统性证据，将以往关于非扭转周期的结果扩展到了扭转情形。作者明确指出，扭转周期是否能生成整个空间 $S_k^*$ 以及是否存在针对它们的 Eichler-Shimura 型关系，超出了本文的研究范围，尽管他们提出了若干猜想（猜想 6.1–6.4），暗示在特定条件下扭转周期确实生成 $S_k^*$。其结果以权重 $K$ “足够大”为前提，作者通过对小权重（$K, D \le 40$）的数值验证来支持其猜想。这项工作通过傅里叶系数的线性代数视角，将 L-值的算术、模形式的结构以及 Dirichlet 特征的性质联系在了一起。