One-level density of zeros of $\Gamma_1(q)$ $L$-functions

技术摘要：$\Gamma_1(q)$ L-函数零点的单级密度

问题陈述
本文研究了自守 L-函数零点的统计分布，具体聚焦于与同余子群 $\Gamma_1(q)$ 相关的 $GL_2$ L-函数大酉族（unitary family）的零点单级密度。核心问题在于确定测试函数傅里叶变换 $\hat{\phi}$ 的容许支撑范围，使得单级密度与 Katz–Sarnak 哲学的预测相吻合。

尽管 Katz–Sarnak 猜想预测自然族中零点的局部统计特性对应于特定对称群（在此情况下为酉群 $U$）随机矩阵的特征值，但此前针对酉族的结果仅限于支撑范围 $\text{supp } \hat{\phi} \subset (-2, 2)$。将这一支撑范围扩展到“对角”范围之外是解析数论中的一大挑战，因为它需要以更精确的方式控制显式公式中的非对角项。本文旨在回答：L-函数族的结构性特征（特别是 $GL_2$ 结构）是否允许其支撑范围超越仅由对称群所决定的限制。

方法论
作者利用显式公式，将测试函数在 L-函数零点上的求和转化为对素数幂的求和。核心工作涉及对应用于尖点形式族 $S_k(\Gamma_1(q))$ 的 Petersson 迹公式所产生的非对角贡献进行上界估计。

关键的方法步骤包括：

1. 显式公式与迹公式：单级密度被表示为一个积分加上涉及傅里叶系数 $\lambda_f(n)$ 的素数幂求和。利用 Petersson 型公式对族上的求和进行评估，该公式将求和分解为对角项（给出主项）以及涉及贝塞尔函数和指数和的非对角项。
2. 非对角项的分解：根据迹公式中产生的素数 $p$ 与模数 $s, t$ 之间的关系，将非对角求和进行拆分。求和进一步被分解为平凡特征标和非平凡狄利克雷特征标的贡献。
3. 二分分解与梅林变换：根据贝塞尔函数 $J_{k-1}$ 和指数项的行为，将求和分析划分为三个不同的过渡区域：
   • 情形 1：$P/q \ll ST$（其中 $P$ 为素数的大小，$S, T$ 分别为 $s, t$ 的大小）。
   • 情形 2：$\sqrt{P}/q \ll ST \ll P/q$。
   • 情形 3：$\sqrt{P}/q \gg ST$。
     在这些区域中，作者利用二分分解、指数函数和贝塞尔函数的梅林变换表示以及围道移位技术进行分析。
4. 广义黎曼猜想（GRH）的假设：全文假设广义黎曼猜想成立，以此对 L-函数的导数进行上界估计，并将积分围道向右移位，从而确保误差项的收敛性和微小性。
5. 特征标和：对于非平凡特征标，作者应用柯西 - 施瓦茨不等式和狄利克雷特征标的正交性关系来对求和进行上界估计，并利用引理 2.4（关于被特征标扭曲的素数和的界）来控制误差项。

主要贡献与结果
主要结果是定理 1.1，它在 GRH 假设下建立了 $\Gamma_1(q)$ L-函数族（权重 $k \ge 3$ 为奇数，$q$ 为素数）的单级密度。

• 扩展的支撑范围：本文证明了 Katz–Sarnak 预测对于傅里叶变换支撑在区间 $\text{supp } \hat{\phi} \subset (-8/3, 8/3)$ 内的测试函数成立。这将此前针对酉族已知的 $(-2, 2)$ 界限进行了扩展。
• 非零比例：作为直接推论（推论 1.2），作者推导出了族中在中心点 $s=1/2$ 处非零形式的比例的下界。结果表明，族中至少有 $5/8$（即 62.5%）的形式在中心点处非零。
• 结构性洞察：本文证明了族的 $GL_2$ 结构是扩展支撑范围的决定性因素，而不仅仅是酉对称群。这挑战了仅由对称群决定带宽极限的观念，表明具有特定结构性特征（如本文中的 $GL_2$ 族）的更大族可以实现与正交族相当甚至更大的支撑范围。

意义
本文声称 62.5% 的非零比例是与酉群相关的任何族中的最高纪录。该工作的意义主要体现在两个方面：

1. 精细的算术信息：通过将测试函数的支撑范围扩展到 $(-8/3, 8/3)$，该结果提供了更精细的算术信息，具体表现为对非零中心 L-值比例的更强上界。
2. 结构性理解：这项工作表明，傅里叶变换支撑的“带宽极限”并非仅由对称群（酉型与正交型）决定，而是深受 L-函数族更精细结构性特征的影响。能够将酉 $GL_2$ 族的支撑范围推至 $8/3$，而此前的酉 $GL_1$ 结果仅限于 2（或在额外假设下略高于 2），突显了 $GL_2$ 结构在控制非对角项方面的强大能力。

作者指出，所发展的技术可以扩展用于研究同一族在相同支撑范围内的更高级密度，这一方向目前正在研究中。本文未提出新的实验应用，而是专注于解析数论框架下单级密度猜想的理论进展。