Twisted Moments of Rankin-Selberg $L$-functions in the Prime-Power Level Aspect

技术摘要：素幂层级下 Rankin-Selberg $L$-函数的扭转矩量

问题陈述
本文研究了移位中心值 Rankin-Selberg $L$-函数 $L(\frac{1}{2} + \omega, f \otimes g)$ 的扭转第一和第二矩的渐近行为。研究重点在于由偶权重 $k$ 和素幂层级 $p^\nu$（其中 $\nu \ge 3$）的原始新形式组成的集合 $H^*_k(p^\nu)$ 中的族，其中 $g$ 是一个固定的、层级为 $D$（其中 $D=1$ 或 $D$ 为素数）且与 $p$ 互素的原始形式。移位参数 $\omega$ 为有界复数。

作者强调了素幂层级相对于素数或无平方因子层级的显著特征：尖点形式空间 $S_k(p^\nu)$ 包含来自旧形式（oldforms）的重要贡献。这种结构的丰富性使得 Petersson 迹公式变得复杂，并引入了额外的算术考虑因素，从而需要更复杂的分析方法来进行矩计算。

方法论
该方法的核心依赖于近似泛函方程（approximate functional equation），通过快速衰减的傅里叶系数级数来表示中心 $L$-值。随后，作者应用 Petersson 迹公式（具体为 Rouymi 建立的针对素幂层级的版本）来评估族 $H^*_k(p^\nu)$ 上的调和和。

关键技术步骤包括：

1. 分解： 迹公式将求和项分为对角项和非对角项。在素幂设置下，由于存在旧形式，需要仔细处理对角项，这涉及减去来自较低层级的贡献。
2. 非对角项估计： 非对角项使用 Weil 级 Kloosterman 和界、Voronoï 求和公式以及大筛不等式（Deshouillers-Iwaniec 和 Matomäki）进行有界化处理。
3. 离对角与离离对角（Off-diagonal vs. Off-off-diagonal）： 非对角和被进一步拆分为“离对角”部分和“离离对角”部分。离对角项通过复分析中的轮廓积分和留数计算进行显式求值，而离离对角项则通过利用傅里叶系数的移位卷积和的界被证明是可忽略的误差项。
4. 抵消： 证明的一个关键环节是展示来自对角项和离对角项的某些主项会相互抵消，从而留下一个关于移位参数的特定多项式结构。

主要贡献与结果

• 定理 1.1（扭转第一矩）： 作者推导了扭转第一矩 $\sum_{f} \lambda_f(\ell) L(\frac{1}{2} + \omega, f \otimes g)$ 的渐近公式。该公式包含了涉及移位 $\omega$、层级 $p^\nu$ 以及固定形式 $g$ 的显式主项，并带有完全指定的依赖于 $p, \nu, \ell$ 及权重的误差项。

  • 推论 1.2： 通过取极限 $\omega \to 0$，作者得到了未移位第一矩的渐近式。这一结果用于证明一个确定定理：一个原始形式 $g$ 由由族 $\{L(\frac{1}{2}, f \otimes g)\}_{f \in H^*_k(p^\nu)}$ 构成的中心值唯一确定。这将在素幂层级设置下（其中旧形式贡献是非平凡的）扩展之前的确定性结果。

• 定理 1.3（扭转第二矩）： 本文给出了扭转第二矩 $\sum_{f} \lambda_f(\ell) L(\frac{1}{2} + \omega_1, f \otimes g) L(\frac{1}{2} + \omega_2, f \otimes g)$ 的渐近公式。其主项表示为一个包含函数 $m(\omega_1, \omega_2)$ 的四部分之和，该函数结合了 Rankin-Selberg 卷积 $L(s, g \otimes g)$ 以及与素幂层级相关的特定算术因子。

  • 推论 1.4： 令 $\omega_1 = \omega_2 = 0$，作者导出了中心点处的第二矩渐近式。其主项是一个关于 $\nu \log p$ 的三次多项式。其领先系数通过对称平方 $L$-函数 $L(1, \text{sym}^2 g)$ 以及涉及欧拉函数 $\phi$ 和层级 $p$ 的算术因子进行显式计算。

意义与背景
本文置于解析数论的更广泛背景中，即研究自守 $L$-函数的矩问题，这对于非零性、亚凸性（subconvexity）以及零点分布等问题至关重要。

• 与现有文献的比较： 作者指出，尽管 Duke、Akbary、Kowalski-Michel-VanderKam 已建立了素数或无平方因子层级下 $L$-函数矩的结果，但素幂层级的情况由于旧形式结构的特殊性呈现出独特的挑战。此处的结果类似于 Balkanova 关于素幂层级下 $L(\frac{1}{2}, f)$ 第四矩的工作，但将其范围扩展到了 Rankin-Selberg 卷积。
• 方法论的严谨性： 文中强调，所导出的渐近公式包含了对所有参数（$p, \nu, k, k', \ell, \omega$）具有完全指定依赖关系的显式、非均匀误差项。这种精确性被认为是与以往工作相比的一个显著特征。
• 应用： 作者指出，建立的第二矩公式可用于推导该族值 $\{L(\frac{1}{2} + \omega, f \otimes g)\}$ 的亚凸性和非零性结果。确定性结果（推论 1.2）作为一项应用，展示了基于矩数据时固定形式 $g$ 的唯一性。

该工作被描述为“完全是解析性质的”，侧重于在 Rankin-Selberg 卷积框架内，通过技术细节来隔离固定素数处深层分歧（deep ramification）的影响。