Moments and joint nonvanishing of symplectic $L$-functions

这是一份关于论文《辛 L-函数的矩与联合非零性》（Moments and Joint Nonvanishing of Symplectic L-functions）的详细技术总结。

1. 研究背景与问题 (Problem)

本文主要研究**二次型辛群 $Sp(4, \mathbb{Z})$ 上全纯西格尔尖点形式（Holomorphic Siegel Cusp Forms）**的 $L$-函数的矩（Moments）及其非零性问题。

具体而言，设 $F$ 是权为 $k$（$k$ 为大偶数）的 $Sp(4, \mathbb{Z})$ 上的全纯西格尔尖点形式，且为海克算子（Hecke operators）的特征函数。与之关联的两个基本 $L$-函数为：

1. 旋量 $L$-函数 (Spinor L-function) $L(s, F)$：次数为 4，导数为 $k^2$。
2. 标准 $L$-函数 (Standard L-function) $D(s, F)$：次数为 5，导数为 $k^4$。

核心问题：

• 计算标准 $L$-函数 $D(1/2, F)$ 在权 $k$ 的特征基 $\mathcal{B}^{(2)}_k$ 上的加权一阶矩。
• 由于标准 $L$-函数的狄利克雷级数展开比旋量 $L$-函数更复杂（涉及矩阵系数而非仅径向系数），此前关于其矩的结果极少。
• 利用矩的结果，证明在 $k$ 足够大时，存在 $F$ 使得 $L(1/2, F)$、$L(1/2, F \times \chi_{-4})$ 和 $D(1/2, F)$ 同时非零。
• 推导标准 $L$-函数二阶矩的下界。

2. 方法论 (Methodology)

作者采用**谱求和公式（Spectral Summation Formula）结合近似函数方程（Approximate Functional Equation）**的方法。

2.1 核心工具：Kitaoka 公式

作者使用了 Kitaoka 推广的 Petersson 公式（针对 $Sp(4, \mathbb{Z})$），该公式将尖点形式的傅里叶系数平均与算术项（矩阵 Kloosterman 和与矩阵 Bessel 函数）联系起来。
公式形式大致为：
$$\sum_{F} \omega_F a_F(T) a_F(Q) = \text{对角项} + \text{秩 1 项} + \text{秩 2 项}$$
其中 $\omega_F$ 是调和权重（Harmonic weights），根据 Böcherer 猜想（已证明），这些权重本身是 $L$-函数值的乘积。

2.2 近似函数方程

将 $D(1/2, F)$ 替换为其近似函数方程形式，引入平滑权重函数 $W(x)$，将求和转化为对矩阵 $M$ 和参数 $r, s$ 的求和。

2.3 误差项分析策略

主项来自对角项（Diagonal term）。主要挑战在于控制**秩 1 项（Rank one term）和秩 2 项（Rank two term）**的误差，使其具有 $k$ 的负幂次节省（Power saving）。

• 秩 1 项处理：

  • 涉及矩阵 Kloosterman 型和 $H^\pm(P, S; c)$。
  • 作者证明了这些和具有**平方根抵消（Square-root cancellation）**性质（引理 1）。
  • 利用泊松求和公式（Poisson summation）在模 $c$ 的剩余类上进行求和，结合指数积分的渐近分析（引理 2），获得 $O(k^{-1/4})$ 的误差界。

• 秩 2 项处理（最困难部分）：

  • 涉及矩阵 Bessel 函数 $J_\ell$ 和矩阵 Kloosterman 和 $K(Q, T; C)$。
  • 关键难点：当矩阵 $NJ^{-1}$ 接近正交矩阵时，Bessel 函数的振荡会减弱，导致传统方法失效。
  • 创新策略：
    1. 引入新的坐标系，将矩阵空间分解为两个子空间 $W_+$ 和 $W_-$，分别对应 $NJ^{-1}$ 接近正交和远离正交的情况。
    2. 根据 $NJ^{-1}$ 的奇异值大小，区分“长变量”和“短变量”。
    3. 仅在长变量上应用泊松求和，而在短变量上保持求和。
    4. 利用相位函数的导数估计（Stationary phase argument），证明在大部分区域相位振荡剧烈，积分可忽略；在临界区域（接近正交），通过精细的坐标变换和参数截断，证明贡献依然可控。

3. 主要结果 (Key Results)

3.1 一阶矩渐近公式 (Theorem 1)

对于权 $k$ 的特征基 $\mathcal{B}^{(2)}_k$，定义加权和：
$$M_k := \sum_{F \in \mathcal{B}^{(2)}_k} \omega_F D(1/2, F)$$
作者证明了如下渐近公式（对于任意 $\eta < 1/4$）：
$$M_k = 2L(3/2, \chi_{-4}) \log k + c_0 + O(k^{-\eta})$$
其中 $c_0$ 是显式常数，涉及欧拉常数 $\gamma$、$\pi$ 和 $L$-函数的导数。

• 推论：Saito-Kurokawa 提升（lifts）的贡献是微不足道的（$O(k^{-1/2})$），因此主要贡献来自非提升形式。

3.2 联合非零性 (Corollary 2)

基于上述矩的结果，利用中值定理和 $D(1/2, F)$ 的非负性（在 GRH 下或通过分析），得出结论：
当 $k$ 足够大时，存在 $F \in \tilde{\mathcal{B}}^{(2)}_k$（非提升形式），使得以下三个值同时非零：
$$L(1/2, F) \neq 0, \quad L(1/2, F \times \chi_{-4}) \neq 0, \quad D(1/2, F) \neq 0$$
且 $D(1/2, F) > 0$。这是该族 $L$-函数联合非零性的重要进展。

3.3 二阶矩下界 (Corollary 3)

利用柯西 - 施瓦茨不等式（Cauchy-Schwarz inequality）结合一阶矩结果和已知的旋量 $L$-函数二阶矩结果，得到标准 $L$-函数二阶矩的下界：
$$\sum_{F \in \tilde{\mathcal{B}}^{(2)}_k} \frac{|D(1/2, F)|^2}{L(1, \pi_F, \text{Ad})} \gg k^3$$
这与辛族（Symplectic family）预期的量级 $k^3 (\log k)^3$ 一致（尽管目前尚未证明对数因子）。

4. 技术贡献与意义 (Significance)

1. 首次计算标准 $L$-函数矩：
   这是首次针对 $Sp(4, \mathbb{Z})$ 上标准 $L$-函数（5 次）的矩进行渐近计算。此前关于此类高维、高次 $L$-函数的矩结果非常稀缺。

2. 复杂的算术分析：
   论文深入分析了矩阵 Kloosterman 和和矩阵 Bessel 函数。特别是处理矩阵 Bessel 函数在接近正交矩阵时的行为，提出了一套新的坐标变换和截断方法，解决了高维指数和中的振荡抵消问题。这为未来研究更高秩群（Higher rank groups）的 $L$-函数矩提供了模板。

3. 联合非零性的突破：
   证明了旋量 $L$-函数、其扭曲形式以及标准 $L$-函数可以同时非零。这对于理解这些 $L$-函数在中心点的零点分布（如低零点统计）以及算术几何中的相关问题（如 BSD 猜想的推广）具有重要意义。

4. 方法论的推广：
   文中展示的将“近似函数方程”与“高维 Petersson 公式”结合，并精细处理“秩 2 项”中矩阵几何性质的策略，是解析数论中处理高维自守形式 $L$-函数矩的有力工具。

总结

这篇文章通过极其精细的解析数论技术，克服了高维辛群上标准 $L$-函数矩计算的巨大困难，不仅给出了精确的渐近公式，还确立了这些 $L$-函数在中心点的联合非零性，填补了该领域的空白，并为后续研究奠定了坚实基础。