On the Artin formalism for triple product $p$-adic $L$-functions

技术摘要：关于三重积 $p$-进 $L$-函数的 Artin 形式理论

问题陈述
本研究的主要目标是调查三重积 $p$-进 $L$-函数的“不规则”（irregular）分解问题，特别是在 $L$-函数的定义插值性质在自然情况下并不支持此类分解，尽管 Artin 形式理论表明应当存在这种分解的情形。作者重点研究了 $g$-非平衡三重积 $p$-进 $L$-函数（记作 $L^g_p(f \otimes g \otimes g^c)$）在特定二维权重空间 $W_2$ 上的限制。

在这种设定下，其中 $f$ 和 $g$ 是尖点原始 Hida 族，而 $g^c$ 是共轭族，限制后的 $L^g_p(f \otimes g \otimes g^c)$ 在 $W_2$ 上的插值范围为空。因此，标准的 Artin 形式理论——该理论预测复 $L$-函数 $L(f \otimes g \otimes g^c, s)$ 可分解为一个 6 阶 $L$-函数 $L(f \otimes \text{ad}_0(g), s)$ 与一个 2 阶 $L$-函数 $L(f, s)$ 的乘积——无法通过插值直接应用于 $p$-进 $L$-函数。由于相关的 Selmer 群并非全部为挠群，这一问题比早期研究（例如 Dasgupta [Das16]）中所研究的“规则”分解问题更为复杂，从而使情况变得更加困难。

方法论
作者采用了一种受等变塔玛加瓦数猜想（ETCT）哲学指导的策略。与其依赖于构建特定的 $p$-进 $L$-函数（对于 6 阶分量而言，这些函数可能并不具有普适的存在性），本文将分解问题重新表述为代数对象的比较：即 Selmer 复形与领先项（leading terms）模之间的比较。

1. Selmer 复形与 Greenberg 条件： 作者使用基于 Greenberg 局部条件的 Galois 表示 $T^\dagger_3$（8 阶）、$T^\dagger_2$（6 阶）和 $M^\dagger_2$（6 阶，迹为零部分）来定义 Selmer 复形。他们确立了在关于 Tamagawa 因子和剩余表示的特定假设下，这些复形是完美的（perfect）。
2. 领先项模： 一个核心的技术创新是引入了“领先项模”（记作 $\delta(T, \Delta)$）。这些是构造在扩展 Selmer 模（特别是 Selmer 复形的第一上同调）中的循环子模。该构造利用了外双对偶（exterior bi-duals），并受到 Kolyvagin 系统理论的启发。模 $\delta(T, \Delta)$ 作为 $p$-进 $L$-函数的代数对应物。
3. 循环与对数的比较： 分解是通过比较不同 Selmer 复形的领先项来实现的。作者利用将三重积、迹零积以及单个形式的 Selmer 复形联系起来的精确三角。至关重要的是，他们利用对数映射（特别是大对数映射 $\text{Log}_{\omega_f}$）将 8 阶和 6 阶对象的领先项与关联于 $f$ 的 Beilinson–Kato 元联系起来。

主要贡献与结果

• 猜想 2.1 (解析形式)： 作者为 $L^g_p(f \otimes g \otimes g^c)|_{W_2}$ 的分解提出了一个精确的猜想。他们预测该函数分解为一个 6 阶 $p$-进 $L$-函数（$L^{ad}_p(f \otimes \text{ad}_0 g)$）与大 Beilinson–Kato 元 $BK^\dagger_f$ 在大对数映射 $\text{Log}_{\omega_f}$ 下的像的乘积。
  $$L^g_p(f \otimes g \otimes g^c)^2|_{W_2} \sim L^{ad}_p(f \otimes \text{ad}_0 g) \cdot \text{Log}_{\omega_f}(BK^\dagger_f)$$
  此处出现的 Beilinson–Kato 元的对数被解释为编码了 $p$-进 $L$-函数的导数，这与“BDP 原则”（Bertolini–Darmon–Prasanna）一致。

• 定理 2.2 / 定理 6.7 (代数分解)： 主要证明的结果是猜想 2.1 的代数类比。在温和的假设下（包括 Hida 族环的正则性以及关于 Tamagawa 因子和剩余表示的特定条件），作者确立了代数 $p$-进 $L$-函数环中理想的相等关系：
  $$\delta(T^\dagger_2, \Delta_g) = \text{Exp}^*_{F^-T^\dagger_f}(\delta(M^\dagger_2, \text{tr}^*\Delta_g)) \cdot \varpi^*_{2,1}\text{Log}_{\omega_f}(\delta(T^\dagger_f, \Delta_\emptyset))$$
  这里，$\delta(T^\dagger_2, \Delta_g)$ 对应于三重积的领先项，$\delta(M^\dagger_2, \text{tr}^*\Delta_g)$ 对应于 6 阶分量，而 $\text{Log}_{\omega_f}(\delta(T^\dagger_f, \Delta_\emptyset))$ 对应于 Beilinson–Kato 元的对数。

• 处理不规则性： 本文证明了分解涉及 Selmer 群之间非平凡的相互作用。与在其中分解可能仅为特征理想简单乘积的“规则”情形不同，这里的“不规则”性质使得必须使用领先项模和对数映射，以处理某些 Selmer 群的非挠性质。

意义与主张
作者声称，这项工作提供了对插值范围为空的三重积 $p$-进 $L$-函数的“不规则”分解问题的首次系统性处理。通过将焦点从解析 $L$-函数转向代数 Selmer 复形和领先项模，他们绕过了无需证明 6 阶 $p$-进 $L$-函数 $L^{ad}_p(f \otimes \text{ad}_0 g)$ 之存在性的分解关系证明。

其意义在于：

1. 推广 Artin 形式理论： 在标准插值失效的情况下，将 Artin 形式理论扩展到 $p$-进情形，揭示了一种涉及 $L$-函数导数（通过 Beilinson–Kato 元）的结构。
2. 代数框架： 建立了一个稳健的代数框架（使用领先项模），用于研究目前在解析上难以触及的分解问题。
3. 与算术几何的联系： 作者在附录 A 中指出，证明解析猜想 2.1 的完整过程将依赖于对比对角循环的 Gross–Kudla 公式与 Heegner 循环的 Gross–Zagier 公式，从而将他们的代数结果与算术几何中的深层猜想联系起来。

文章总结道，虽然解析猜想在全般意义上仍是一个开放问题，但领先项的代数分解已经得到确立，这为所预测的 $p$-进 $L$-函数分解的有效性提供了强有力的证据。