The Second Moment of Rankin-Selberg $L$-Functions in Conductor-Dropping Regimes

技术摘要：导体下降机制下 Rankin–Selberg L-函数的二阶矩

问题陈述
本文研究了与两个等权重 $k$ 的全纯 Hecke 尖点形式 $f$ 和 $g$ 的卷积相关的 Rankin–Selberg $L$-函数的二阶矩的渐近行为。具体而言，作者研究了如下求和式：
$$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)}$$
其中 $B_{\text{hol}}^{k}$ 是权重为 $k$ 的全纯 Hecke 尖点形式的正交基。

该问题处于 $L$-函数亚凸性问题（subconvexity problem）的更广泛背景之下。一个主要的动机是关于伴随 $L$-函数 $L(s, \text{ad } f)$，其中 $g=f$。中心值 $L(1/2, \text{ad } f)$ 受凸性界 $k^{1/2}$ 的限制，而获得亚凸界（即节省一个 $k$ 的幂次）是一个重大的开放问题。标准的启发式方法表明，具有幂次节省误差项的二阶矩渐近公式可以通过放大法（amplification）促进亚凸性结果。然而，在“导体下降”（conductor-dropping）机制下——即由于权重相等，使得 $L(1/2, f \otimes g)$ 的解析导体从 $k^4$ 下降到 $k^2$——标准方法往往无法产生带有幂次节省误差项的渐近公式。虽然已知存在形式为 $O_\epsilon(k^{1+\epsilon})$ 的上界（通过大筛不等式得出），但推导出一个带有主项且误差项受控的精确渐近公式仍然难以实现。

方法论
作者采用了一种涉及四个自守形式周期积分的谱展开技术。核心策略是计算如下积分：
$$\int_{SL_2(\mathbb{Z})\backslash \mathbb{H}} |G(z)|^2 E^*(z, s_1) E^*(z, s_2) \, d\mu(z)$$
其中 $G(z) = y^{k/2}g(z)$ 且 $E^*(z, s)$ 是完备的实解析 Eisenstein 级数。该积分通过两种不同的方式进行谱展开：

1. 第一种谱展开（权重 $k$）： 将该积分视为内积 $\langle G E^*(\cdot, s_1), G E^*(\cdot, s_2) \rangle$。利用权重 $k$ 下平方可积自守形式的 Parseval 等式，作者将其展开为全纯尖点形式、Maass 尖点形式和 Eisenstein 级数的和。这些内积通过 Rankin–Selberg 方法进行计算，并用 $L$-函数和 Gamma 因子表示。

2. 第二种谱展开（权重 0）： 将该积分视为内积 $\langle E^*(\cdot, s_1) E^*(\cdot, s_2), |G|^2 \rangle$。由于 Eisenstein 级数不是平方可积的，作者使用了正则化的 Parseval 等式（遵循 Zagier 的方法）。这种展开涉及权重 0 的连续谱和离散谱。至关重要的是，涉及 $|G|^2$ 与 Maass 形式的内积是通过 Watson–Ichino 三重积公式 进行评估的，该公式将这些积分与三重积 $L$-函数的值联系起来。

通过将这两种展开的结果进行等价，作者推导出了一个将目标矩与“主项”（由连续谱和留数产生）以及各种误差项联系起来的精确恒等式。

主要贡献与结果
论文确立了以下主要定理（定理 1.4）：

• 渐近公式： 对于固定的权重为 $k$ 的全纯 Hecke 尖点形式 $g$，二阶矩满足：
  $$\sum_{f \in B_{\text{hol}}^{k}} \frac{L(1/2, f \otimes g)^2}{L(1, \text{ad } f)} = k \sum_{j=0}^3 P_j(\log k) L^{(3-j)}(1, \text{ad } g) + O_\epsilon(k (\log k)^{-1/2 + \epsilon})$$
  其中 $P_j$ 是 $j$ 次多项式。
• 主项分析： 主项被证明在充分大的 $k$ 时是正的，并且满足界限 $k(\log k)^2 \ll \text{Main Term} \ll k(\log k)^6$。
• 误差项： 误差项实现了对数节省（logarithmic saving），即 $O_\epsilon(k (\log k)^{-1/2 + \epsilon})$，而非幂次节省。

技术挑战与解决方案
作者强调了本工作中克服的几个特定困难：

1. 缺乏幂次节省误差： 作者证明了在导体下降机制下，如果不假设预先存在的关于 $L(1/2, \text{ad } g)$ 及其 $GL_2$ 扭转的亚凸界，获得幂次节省误差项可能是不可能的。因此，证明依赖于 Soundararajan 的弱亚凸界来实现对数节省。
2. 主项的正定性： 一个重要的技术障碍是证明主项支配误差项。主项涉及 $L(1, \text{ad } g)$ 及其导数，而对于这些项仅已知弱无条件界（$L(1, \text{ad } g) \gg (\log k)^{-1}$）。作者通过利用一种“隐藏结构”绕过了对角项与非对角项之间可能存在的抵消问题。他们将主项表示为一个积分，并将其与 Dirichlet 级数表示进行逐项比较，表明 $n=1$ 的项（其量级为 $\gg k (\log k)^2$）主导了求和。
3. 推广： 该方法被证明可推广至：
   • 级数层面（改变素数级数 $q$ 而固定权重）。
   • 谱层面（对谱参数在 $[T, T+1]$ 范围内的 Maass 形式进行平均）。
   • 移动中心点（$1/2 + it$）。
   • 三重积 $L$-函数的一阶矩（尽管由于下界问题，证明主项支配误差项在这一情况下仍是一个开放的难题）。

意义与主张
论文声称提供了该特定二阶矩在导体下降机制下的第一个渐近公式。尽管误差项没有节省 $k$ 的幂次，但该结果具有重要意义，因为：

• 它证实了在先前仅已知上界的情况下，确实存在渐近公式。
• 它完善了对导体下降设置下矩的理解，在这些设置中，标准的启发式方法可能会产生误导。
• 它通过提供精确的主项和谱展开方法，改进了 Blomer 之前的上界结果。
• 作者明确指出，其方法依赖于 Watson–Ichino 公式，这限制了其在 $GL_n$ ($n \ge 3$) 中的适用性，从而将其与 Blomer 更通用的上界技术区分开来。

论文最后指出，虽然该结果由于缺乏幂次节省误差而不能立即产生亚凸界，但它代表了理解这些 $L$-值分布以及导体下降矩的结构约束所必需的一步。