One-level densities of large even and odd orthogonal families of automorphic L-functions

技术摘要：大偶数与奇数正交族自守 L-函数的一层密度

问题陈述
本文研究了附着于水平为 $q$、固定权 $k \geq 4$ 的原始尖点形式的 $L$-函数的低位零点分布。具体而言，作者研究了这些零点在平方自由水平 $q$ 上的平均“一层密度”。该研究根据函数方程的符号区分了两个子族：偶族（$\varepsilon_{f,q} = 1$）和奇族（$\varepsilon_{f,q} = -1$）。

指导此项工作的核心启发式思想是 Katz-Sarnak 哲学，该哲学预测 $L$-函数族中零点的统计分布与特定对称群（在此为正交群）随机矩阵的特征值分布相一致。虽然先前的结果已在固定水平或对所有水平取平均的情况下确立了这种对应关系，但本文解决了在平方自由水平上取平均的同时分离偶族和奇族这一特定挑战。这种分离至关重要，因为函数方程的符号决定了中心点 $s=1/2$ 处的消失行为：奇形式在 $s=1/2$ 处消失，而偶形式被猜想为非零。

方法论
作者采用了解析数论技术，主要依赖于将零点之和与素数幂之和联系起来的显式公式，并结合了 Kuznetsov 迹公式。

1. 显式公式与根数：分析的核心在于对族中的显式公式取平均。一个关键的技术步骤是在平均中包含根数 $\varepsilon_{f,q}$。对于平方自由数 $q$，根数由 $\varepsilon_{f,q} = i^k \mu(q) \lambda_f(q) \sqrt{q}$ 显式给出。作者分别处理包含和不包含根数的和，以分离偶贡献和奇贡献。
2. 迹公式：为了评估关于傅里叶系数 $\lambda_f(n)$ 的和，作者利用了新形式的 Petersson 迹公式（特别是 Iwaniec、Luo 和 Sarnak 的版本）以及 Kuznetsov 迹公式。这些工具允许将谱和转换为涉及 Kloosterman 和与贝塞尔函数的算术和。
3. 广义黎曼假设（GRH）：全文假设广义黎曼假设成立。该假设用于界定关于素数的和，并确保迹公式应用所需的收敛性和误差项估计。
4. 傅里叶分析：测试函数傅里叶变换 $\hat{\Phi}$ 的支集是一个关键参数。作者将 $\hat{\Phi}$ 的允许支集扩展到区间 $(-3, 3)$。这一扩展需要精细处理由迹公式产生的误差项，特别是当涉及根数时。
5. 非零优化：为了推导非零结果，作者构建了一个涉及测试函数与对称核积分之比的优化问题。他们利用再生核希尔伯特空间的方法（参考 Freeman 和 Miller）来确定非零形式比例的最优常数。

主要贡献与结果

• 一层密度的扩展支集：主要结果（定理 1.1）证明了 $GL(2)$自守$L$-函数的偶数和奇数正交族的一层密度猜想，该结果是在平方自由水平上取平均得到的。作者确立了当测试函数的傅里叶变换$\hat{\Phi}$紧支于$(-3, 3)$ 时，猜想成立。

  • 对于偶族，密度核为 $W_{\text{even}}(x) = 1 + \frac{\sin(2\pi x)}{2\pi x}$。
  • 对于奇族，密度核为 $W_{\text{odd}}(x) = 1 - \frac{\sin(2\pi x)}{2\pi x} + \delta_0(x)$。
  • 作者指出，虽然前两位作者与 Baluyot 的先前结果在完整正交族上实现了 $(-4, 4)$ 的支集，但为了分离偶族和奇族而引入根数目前构成了障碍，将支集限制在 $(-3, 3)$。

• 改进的非零比例：利用 $(-3, 3)$ 的扩展支集，作者推导出了中心点处非零 $L$-值及其导数比例的更强下界（推论 1.3）。

  • 偶族：偶族中至少 69.8% 的形式满足 $L(1/2, f) \neq 0$。这优于基于支集限于 $(-2, 2)$ 的结果得出的 $(50-\epsilon)\%$ 界限，也优于未优化的 $(-4, 4)$ 结果。
  • 奇族：由于奇形式满足 $L(1/2, f) = 0$，因此关注点在于导数。作者表明，奇族中至少 97.8% 的形式满足 $L'(1/2, f) \neq 0$。

• 技术障碍识别：本文明确指出了将分离族支集扩展到 $(-3, 3)$ 之外的困难。作者认为，这一限制的根本原因在于他们当前的方法在支集超过此范围时无法实现导数的降低。他们推测，进一步的改进可能需要 $GL(3)$ 上更强大的 Kuznetsov 迹公式版本。

意义
本文的主要意义在于理解中心 $L$-值的非零性，这是数论中的一个核心问题，对 Birch 和 Swinnerton-Dyer 猜想及其他算术问题具有深远影响。通过分离偶族和奇族并将测试函数的支集扩展到 $(-3, 3)$，作者在假设 GRH 成立的前提下，针对这些特定族取得了已知最强的非零结果。

这项工作 refine 了对数域背景下 Katz-Sarnak 哲学的理解，证明了即使在平方自由水平上取平均并按根数分离的情况下，零点的统计行为依然与随机矩阵理论相一致。作者对 $(-3, 3)$ 的限制保持了谦逊，将其视为当前方法论的“自然障碍”，而非猜想本身的决定性极限。