技术摘要：关于 $GSp(4)$ 的 Bloch–Kato 猜想

1. 问题陈述与背景

本文研究了与亏格 2 施莱格尔（Siegel）模形式的自旋动机（spin motive）相关的欧拉系统（Euler system）的显式互惠律。作者 David Loeffler 和 Sarah Livia Zerbes 在其先前的工作 [LSZ22] 和 [LZ24] 的基础上，构建了由 $GSp_4/\mathbb{Q}$ 的自守表示 $\Pi$ 所产生的 4 维 $p$ 进自旋伽罗瓦表示（$V_\Pi$）的欧拉系统。

在 [LSZ22] 中，该欧达系统的构建是以“该系统满足将欧拉系统类在 $p$ 处的局部化与 $L$-函数的临界值联系起来的显式互惠律”为条件的。若没有这一律，则无法排除整个欧拉系统恒为零的可能性，从而限制了其在算术中的应用。

本文的主要目标是证明这一缺失的显式互惠律。具体而言，作者旨在计算上文提到的上同调类 $z[\Pi,q,r]_{can}(\chi)$ 在 Bloch–Kato 对数映射下的像，并将其表示为一个非临界值的 $p$ 进自旋 $L$-函数。

2. 方法论与策略

显式互惠律（定理 A）的证明是通过一种连接 étale 上同调、刚性上同调（rigid cohomology）和相干上同调（coherent cohomology）的多步策略实现的。该策略包含五个主要阶段：

第一步：归约为有限多项式上同调中的配对

作者首先将欧拉系统类的 Bloch–Koato 对数表示为 Nekovář–Nizioł 有限多项式（fp）上同调中的一个配对。利用 Lemma–Flach 类的等变性质，他们将问题归约为一种特定类型的测试数据（“Klingen 型”）。互惠律的左手边被重新表述为：由一个合成 $GL_2 \times GL_2$ Eisenstein 类推导出的 pushforward 与一个将 de Rham 上同调类 $\eta_{dR}$ 提升至 Nekovář–Nizioł fp-上同调的类之间的杯积。

第二步：归约为乘法-平凡（Multiplicative-Ordinary）局部

为了使计算显式化，作者使用 Besser 的刚性合成上同调（rigid syntomic cohomology）替换了 Nekovář–Nizioł 上同调。一个关键的技术创新是引入了带部分紧支撑的上同调（cohomology with partial compact support）。这使得作者能够将计算限制在 Shimura 簇的“乘法-平凡”局部（$Y^m_{G,Kl}$）上，在该处特殊纤维是光滑的。这一步通过在具有适当支撑条件的平凡局部上进行计算，绕过了在整个 Shimura 簇上缺乏全局 Frobenius 提升的问题。

第三步：归约为相干上同调

刚性合成上同调中的配对被进一步归约为相干上同调中的配对。这依赖于两个新颖的要素：

1. 部分紧支撑理论：一种允许在上同调中向某些边界层但不同向其他边界层进行紧支撑的形式化方法，该理论在第 14 节中发展。
2. 波兹南谱序列（The Poznań Spectral Sequence）：一个将合成（或有限多项式）上同调与 Frobenius 在相干上同调上的多项式的映射纤维联系起来的新谱序列（命题 18.4.3），它作为合成上同调的 Frölicher 谱序列的类似物。

这一步将正则化子（regulator）连接到 Pilloni 高阶 Hida 理论中所研究的相干上同调类。

第四步：正则化子的计算

作者计算了相干上同调中的所得配对。他们利用 $GSp_4$ 与 $GL_2 \times GL_1 GL_2$ 之间的 Hecke 算子恒等式来简化表达式。计算将正则化子归约为两个项 $L_1$ 和 $L_2$ 的线性组合，这两项是 $p$ 进测度的特殊值。

• 通过局部 Zeta 积分计算，他们证明了 $L_2$ 恒等于零。
• 他们证明了 $L_1$ 对应于 [LP+21] 中构造的 $p$ 进 $L$-函数的非临界值。

第第五步：向临界值变形（定理 B）

为了推导出更强的定理 B（即建立循环扭转的欧拉系统），作者采用了 $p$ 进族。他们考虑了权重变化的“Siegel 型”Hida 族。

• 他们将“动机型”$p$ 进 $L$-函数（通过 Perrin-Riou 正规化子从欧拉系统导出）与通过函子性转移到 $GL_4$ 构造的“解析型”$p$ 进 $L$-函数（利用 [BD+25] 的结果）进行比较。
• 通过证明这两个函数的比值是一个不为零的标量（利用涉及 Mazur 和 Rubin 关于欧达系统及“大图像”条件的矛盾论证），他们证明了欧拉系统类是非零的，且其正则化子恰好是该 $p$ 进 $L$-函数。

3. 核心贡献与技术创新

• 显式互惠律：本文首次为亏格 2 施莱格尔模形式的自旋动机提供了显式互斥律的证明，将欧拉系统类与 $p$ 进 $L$-值联系起来。
• 部分紧支撑：开发了刚性和相干上同调的部分紧支撑理论（第 14 节），这使得在处理非紧、非光滑方案时，可以通过隔离光滑开子簇（平凡局部）同时控制边界行为来进行计算。
• 波兹南谱序列：引入了一个将合成上同调与相干上同调联系起来的谱序列（命题 18.4.3），为在度数为零的相干上同调不足的情况下计算正则化子提供了新工具。
• $p$ 进 $L$-函数的比较：本文建立了“相干”$p$ 进 $L$-函数（通过高阶 Hida 理论构造）与“Betti”$p$ 进 $L$-函数（通过函子性转移到 $GL_4$ 构造）之间的桥梁，并证明它们是成比例的。

4. 主要结果

定理 A（显式互惠律）

对于一个在 $p$ 处是 Klingen-平凡的、非内爆（non-endoscopic）、非 CAP 且全局生成型的 $GSp_4$ 自守表示 $\Pi$，若满足 $r_1 - r_2 \ge 3$，则上同调类 $z[\Pi,q,r]_{can}(\chi)$ 在 Bloch–Kato 对数下的像是：
$$\langle \nu_{dR}, \log_{BK} z[\Pi,q,r]_{can}(\chi) \rangle = (\star) \times L_{p,\nu}(\Pi, \chi; -1-r_2+q, r)$$
其中 $(\star)$ 是一个显式的非零因子，$L_{p,\nu}$ 是 [LP+21] 中的二变量自旋 $p$ 进 $L$-函数。

定理 B（欧拉系统与 Perrin-Riou 正规化子）

在更强的假设下（Borel-平凡、Level 1、$r_1 - r_2 \ge 6$ 以及“大图像”条件），存在一个针对 $V_\Pi^*(-1-r_2)$ 的欧拉系统，其在 Perrin-Riou 循环正规化子映射下的像是单变量 $p$ 进 $L$-函数 $L_p(\Pi, j)$。

定理 C（Iwasawa 主猜想）

假设定理 B 的条件成立，模 $\tilde{H}^2_{Iw}(\mathbb{Q}(\mu_{p^\infty}), V)$ 在 Iwasawa 代数上是挠模，且其特征理想整除 $p$ 进 $L$-函数 $L_p(\Pi, j)$。这建立了这些动机的 Iwasawa 主猜想的一个包含关系。

定理 D（Bloch–Kato 猜想）

假设定理 B 的条件成立，若复 $L$-值 $L(\Pi \otimes \rho, \frac{1-r_1+r_2}{2} + j) \neq 0$（对于有限阶特征 $\rho$），则 Selmer 群 $H^1_f(\mathbb{Q}, V(-j-\rho))$ 为零。这证明了这些表示在解析秩为 0 的临界扭转下的 Bloch–Kato 猜想。

5. 意义与范围

本文声称通过证明显式互惠律，解决了施莱格尔模形式算术领域中的一个关键空白，从而激活了欧拉系统机制。其结果对于以下方面具有重要意义：

• Iwasawa 理论：为 $GSp_4$ 自旋动机的 Iwasawa 主猜想提供了第一个整除性结果。
• Bloch–Kato 猜想：证明了这些表示在解析秩为 0 的扭转下的猜想。
• 方法论：所开发的技巧，特别是使用部分紧支撑和波兹南谱序列，被认为适用于其他存在欧拉系统但 $L$-值无法纯粹通过度数为零的相干上同调表达的情况（例如 Hilbert 模形式的 Asai 表示）。

作者指出，采用简化假设（Level 1、高正则性）主要是为了保持论证简洁；核心正则化子公式（定理 A）是在满足温和权重条件（$r_1 - r_2 \ge 3$）下对任意 Level 均成立的。预计未来的工作将放宽这些条件，并将方法应用于其他群和动机。