On the factorisation of the $p$-adic Rankin-Selberg $L$-function in the supersingular case

这是一份关于论文《ON THE FACTORISATION OF THE P-ADIC RANKIN–SELBERG L-FUNCTION IN THE SUPERSINGULAR CASE》（超奇异情形下 p-进 Rankin-Selberg L-函数的因子分解）的详细技术总结。

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

核心问题：
在模形式理论中，经典复 L-函数 $L(f \otimes f, s)$（即模形式 $f$ 与自身的 Rankin-Selberg 卷积）可以分解为对称平方 L-函数 $L(\text{Sym}^2 f, s)$ 和狄利克雷 L-函数 $L(\psi, s-k-1)$ 的乘积。这一分解对应于伽罗瓦表示的张量积分解 $\rho_f \otimes \rho_f \simeq \text{Sym}^2(\rho_f) \oplus \det \rho_f$。

Dasgupta (2016) 在普通情形 (ordinary case) 下证明了这一分解存在 p-进模拟：
$$L_p(f \otimes f, \sigma) = L_p(\text{Sym}^2 f, \sigma) \cdot L_p(\psi, \sigma - k - 1)$$
其中 $L_p$ 表示 p-进 L-函数。

本文要解决的难题：
当模形式 $f$ 在素数 $p$ 处是超奇异 (supersingular) 的（即 $v_p(a_p(f)) > 0$）时，上述因子分解公式是否成立？
在超奇异情形下，传统的 p-进 L-函数构造方法（基于 Hida 族和测度理论）失效，因为此时的 p-进 L-函数不再是测度，而是可能无界的局部解析分布。此外，Coleman 族中的权为 2 的特殊化点不再稠密，导致无法像普通情形那样仅通过有限阶特征标的值来唯一确定 L-函数。

2. 方法论 (Methodology)

作者采用了一种受 Dasgupta 启发但进行了重大改进的策略，核心在于引入高阶 K-理论 (Higher K-theory) 和解析延拓技术。

• Coleman 族与双变量 L-函数：
  利用 Coleman 族 $F$（通过 $f$ 的 p-稳定化构造），作者构造了一个定义在权空间 $U$ 和特征标空间 $W$ 上的双变量亚纯 p-进 L-函数 $L^{\text{imp}}_p(\text{Sym}^2 F)$。

• Beilinson-Flach 欧拉系 (Euler System)：
  利用 Beilinson-Flach 类（由 Eisenstein 类通过模曲线乘积的推前构造），这些类位于模形式对应的 Motivic 上同调群中。

  • 关键创新点 1： 不再依赖有限阶特征标的稠密性，而是利用代数特征标（形式为 $x \mapsto x^n$）进行解析延拓。
  • 关键创新点 2： 使用Motivic 上同调（特别是 $H^1_M$）中的 Beilinson-Flach K-元素 $b_{f,j}$，而不是普通的单位群。这些元素位于 $\wedge^2 \rho_f$ 对应的特征空间中。

• 调节子公式 (Regulator Formulae)：
  作者建立了连接 Motivic 类与 L-函数值的调节子公式：

  1. 复调节子 ($r_D$)： 将 Beilinson-Flach 类与复 L-函数的导数 $L'(f \otimes f, j+1)$ 联系起来。
  2. p-进调节子 ($r_{\text{syn}}$)： 利用 Syntomic 上同调和 Bloch-Kato 指数映射，将同一类与几何 p-进 Rankin-Selberg L-函数 $L^{\text{geom}}_p(F, F)$ 联系起来。

• 因子分解策略：
  通过比较复调节子和 p-进调节子的结果，利用复 L-函数已知的因子分解公式 $L(f \otimes f) = L(\text{Sym}^2 f)L(\psi)$，推导出 p-进 L-函数之间的因子分解关系。由于在超奇异情形下缺乏现成的对称平方 p-进 L-函数构造，作者反向定义了 $L^{\text{imp}}_p(\text{Sym}^2 F)$ 为 $L^{\text{geom}}_p(F, F)$ 与 $L_p(\psi)$ 的商，并证明该定义确实满足插值性质。

3. 主要贡献与结果 (Key Contributions & Results)

定理 A：双变量 p-进对称平方 L-函数的构造

作者构造了一个双变量亚纯 p-进 L-函数 $L^{\text{imp}}_p(\text{Sym}^2 F): U \times W \to \mathbb{Q}_p$。

• 插值性质： 对于权空间 $U$ 中的整数权 $t$ 和偶数 $j$ ($0 \le j \le t$)，该函数插值了非临界复对称平方 L-函数 $L^{\text{imp}}(\text{Sym}^2 f_t, 1+j)$ 的值（需排除某些零点）。
• 这是首次为超奇异情形下的 Coleman 族构造此类 p-进 L-函数。

定理 B：Dasgupta 风格的因子分解公式

在 $f$ 为超奇异且 Satake 参数 $\alpha_f \neq \beta_f$ 的假设下，证明了以下因子分解公式：
$$L^{\text{geom}}_p(F, F)(\kappa, \kappa, \sigma) = L^{\text{imp}}_p(\text{Sym}^2 F)(\kappa, \sigma) \cdot L_p(\psi, \sigma - \kappa - 1)$$
这对所有 $(\kappa, \sigma) \in U \times W$ 成立。

• 这推广了 Dasgupta 在普通情形下的结果，将 p-进 Rankin-Selberg L-函数分解为对称平方部分和 Kubota-Leopoldt L-函数部分。

定理 C：p-进对称平方 L-函数的函数方程

在 $\psi$ 和 $\psi^2$ 均为模 $N$ 原特征标的强假设下，证明了 $L^{\text{imp}}_p(\text{Sym}^2 F)$ 满足函数方程：
$$L^{\text{imp}}_p(\text{Sym}^2 F)(\kappa, 2\kappa + 3 - \sigma) = \varepsilon(\text{Sym}^2 F)(\kappa, \sigma) \cdot L^{\text{imp}}_p(\text{Sym}^2 F^*)(\kappa, \sigma)$$
其中 $\varepsilon$ 是插值了对称平方 $\varepsilon$-因子的解析函数。这使得插值性质可以从权空间的“左半部分”（$0 \le j \le t$）扩展到“右半部分”（$t+1 \le j \le 2t+1$）。

4. 技术细节与难点突破

• 超奇异性的挑战： 在超奇异情形下，p-进 L-函数不是测度，因此不能仅通过有限阶特征标的值确定。作者通过解析延拓从代数特征标（$x^n$）出发，利用 Coleman 族中权 $t$ 和参数 $j$ 的稠密性（在 $U \times W$ 中）解决了唯一性问题。
• K-元素与 $\wedge^2$ 分量： 为了匹配 $\text{Sym}^2$ 的分解，作者构造的 Beilinson-Flach 类 $b_{f,j}$ 必须位于 $\wedge^2 \rho_f$ 对应的特征空间中。通过引入对称化算子和特定的微分形式 $\Omega_{f,f}$，确保了调节子公式能提取出正确的 L-值分量。
• 截断与尖点贡献： 在计算 p-进调节子时，涉及从非紧 Kuga-Sato 簇到紧化簇的推广。作者证明了尖点处的贡献（cuspidal contribution）在配对中为零，从而保证了公式的纯净性。

5. 意义与影响 (Significance)

1. 理论突破： 解决了超奇异模形式 p-进 L-函数因子分解这一长期未决的问题，填补了普通情形与超奇异情形之间的理论空白。
2. 新构造： 提供了一种不依赖预先存在的构造，而是通过因子分解公式和插值性质来定义 p-进对称平方 L-函数的方法。
3. BSD 猜想与 Iwasawa 理论： 这些结果对于研究椭圆曲线和模形式的 p-进 Iwasawa 理论至关重要，特别是对于超奇异情形下的 BSD 猜想（Birch and Swinnerton-Dyer Conjecture）的 p-进形式。因子分解公式允许将复杂的 Rankin-Selberg L-函数分解为更简单的组成部分，便于分析其零点分布和 Selmer 群结构。
4. 方法学贡献： 展示了如何利用 Motivic 上同调、Beilinson-Flach 欧拉系和高阶 K-理论来处理非普通（non-ordinary）情形下的 p-进插值问题，为后续相关研究提供了强有力的工具。

综上所述，该论文通过深刻的算术几何工具，成功地将经典的 L-函数分解理论推广到了极具挑战性的超奇异 p-进情形，是数论领域的一项重要进展。