Arithmetic of critical $p$-adic $L$-functions

技术摘要：临界 $p$-进 $L$-函数的算术理论

1. 问题陈述与背景

本文研究了与 Coleman–Mazur–Buzzard 特征曲线上 $\theta$-临界点 处的模形式相关的 $p$-进 $L$-函数的算术理论。一个模形式 $f_\alpha$（是新形式 $f$ 的 $p$-稳定化）被称为 $\theta$-临界的，如果它位于 $p$-进 $\theta$-算子 $\theta^{k-1}$ 的像中。

在经典（非 $\theta$-临界）情形下，特征曲线上关于权重空间的映射是乙角的（étale），且 $p$-进 $L$-函数可以通过模符号或 Beilinson–Kato 元进行构造，并满足标准的插值性质。然而，在 $\theta$-临界点 $x_0$ 处，权重映射是分歧的（分歧指数 $e=2$），特征曲线不再是乙角的。这种几何退化导致了一种“极端例外零点”（extreme exceptional zero）现象：特化的 $p$-进 $L$-函数 $L^{[0]}$ 在整个临界带（$1 \le j \le k-1$）上恒为零，而“次级” $p$-进 $L$-函数 $L^{[1]}$（关于权重参数的导数）则携带了非平凡的插值数据。

核心问题在于为这些临界 $L$-函数开发一个完整的算术框架，包括：

• 使用伽罗瓦上同调构造 Bellaïche 的“乙角” $p$-进 $L$-函数；
• 在这种退化情形下制定 Iwasawa 主猜想；
• 定义代数对应物（Selmer 复形）以及解释消失现象和领先项的 $L$-不变量；
• 阐释次级 $L$-函数的导数与 $p$-进高度和正则化子（regulators）之间的关系。

2. 方法论

作者综合运用了 Iwasawa 理论、$p$-进 Hodge 理论以及 Selmer 复形（借鉴 Nekovář 和 Perrin-Riou）的形式化方法。

• 乙角构造： 作者并未依赖于 Bellaïche 原作中的模符号，而是通过在特征曲线上插值 Beilinson–Kato 元 来构造 $p$-进 $L$-函数。他们利用 Andreatta–Iovita–Stevens 的超收敛乙角上同调来定义一个在 $\theta$-临界点 $x_0$ 的仿射开邻域 $X$ 上的“大” Beilinson–Kato 类 $z(X, \xi)$。
• 特征空间转换原则： 核心技术创新是“通过微分进行特征空间转换”原则。该原则将伽罗瓦表示的无穷小变形的指数映射与其晶体子商的指数映射联系起来。这使得作者能够从斜率零（slope-zero）$L$-函数的性质中推导出次级 $L$-函数（$L^{[1]}$）的插值性质。
• 厚 Selmer 复形（Thick Selmer Complexes）： 为了处理无穷小变形 $V_k$ 的非半单性质（其中 $V_k$ 是沿特征曲线的伽罗瓦表示的变形），作者引入了 厚 Selmer 复形。这些复形定义在环 $\tilde{E} = E[X]/(X^2)$ 上，捕捉了由于 $x_0$ 处的退化而导致的标准 Selmer 群所丢失的算术信息。
• Iwasawa 理论 $L$-不变量： 作者定义了一个新的不变量 $L^{cr}_{Iw}$，作为 Iwasawa 上同调中局部化映射的斜率。该不变量充当了临界 $p$-进 $L$-函数与经典斜率零 $L$-函数之间的桥梁。
• 正则化子与高度： 文中建立了关于 $L$-函数导数与 $p$-进高度配对及正则化子的领先项公式。具体而言，他们定义了一个 $\mathcal{O}_X$-型正则化子，并证明次级 $L$-函数的导数是由该正则化子的二阶导数计算得出的。

3. 关键贡献与结果

• 临界 $L$-函数的乙角构造： 作者利用 Beilinson–Kato 元和特征曲线的三角分解，提供了 Bellaïche 的 $p$-进 $L$-函数（$L^{[0]}$ 和 $L^{[1]}$）的一种替代构造方法。他们证明了该构造与 Bellaïche 的模符号构造是一致的（定理 C）。
• “特征空间转换”原则： 他们建立了一个一般性原则（命题 2.6），通过微分将无穷小变形的上同调与晶体子表示的上同调联系起来。这对于证明次级 $L$- 函数的插值性质至关重要。
• Iwasawa 理论 $L$-不变量 ($L^{cr}_{Iw}$)： 他们定义了一个 Iwasawa 理论 $L$-不变量 $L^{cr}_{Iw}(V_f)$，并证明临界 $L$-函数的循环改善（cyclotomic improvement）等于斜率零 $L$-函数乘以该不变量（命题 F）。因此，临界 $L$-函数的非零性等价于 $L^{cr}_{Iw}$ 的非零性。
• 主猜想：
  • 逐点主猜想（Punctual Main Conjecture）： 他们为临界点制定了一个主猜想，将代数 $L$-函数模与临界 $L$-函数联系起来。他们证明，只要 $L^{cr}_{Iw} \neq 0$，该猜想就等价于经典的斜率零主猜想。
  • 无穷小增厚（Infinitesimal Thickening）： 他们提出了一个更强的涉及厚 Selmer 复形的“无穷小增厚”主猜想 ($\tilde{MC}(f)$)。该猜想蕴含了逐点主猜想和斜率零主猜想。
• 领先项公式：
  • 他们证明了一个关于二变量 $p$-进 $L$-函数的 $\mathcal{O}_X$-型领先项公式（定理 M）。
  • 至关重要的是，他们表明当 Hecke $L$-函数在中心临界点处一次消失时，次级 $p$-进 $L$-函数的导数是由 $\mathcal{O}_X$-型正则化子的二阶导数计算的，而非正则化子本身。这与涉及一阶正则化的标准领先项公式形成对比。
• 非零性结果： 在 $f$ 具有复乘（CM）的情况下，他们无条件地证明了临界 $L$-函数和 Iwasawa 理论 $L$-不变量是非零的（推论 3.20），这为 $\theta$-临界设置下的主猜想提供了首个具体的成立实例。

4. 意义与主张

作者声称这项工作开发了一套“相当完整的算术理论”用于临界 $p$-进 $L$-函数，填补了以往侧重于非临界或非 $\theta$-临界情形的研究空白。

• 解决退化问题： 本文成功地将“极端例外零点”现象（即 $L$-函数在临界带上消失）解释为伽罗瓦表示无穷小变形的非半单性质的结果。
• 新不变量： 引入 Iwasawa 理论 $L$-不变量 $L^{cr}_{Iw}$ 和厚 Selmer 复形，为研究特征曲线在分歧点处的算术提供了新工具。
• 与高度的联系： 关于由正则化子的二阶导数计算领先项公式的推导被视为一项新颖结果，为退化情形下 $L$-值与 $p$-进高度之间的关系提供了新的视角。
• 可推广性： 作者指出，他们的抽象框架（特别是特征空间转换原则和厚 Selmer 形式化方法）可以推广到其他语境，例如 $\theta$-临界情况下的 $p$-进 Rankin–Selberg $L$-函数，尽管本文并未对此进行显式构造。

本文致力于纪念 Joël Bellaïche 和 Jan Nekovář，他们的奠基性工作为本文所呈现的构造提供了 $p$-进 $L$-函数和 Selmer 复形的基础。