$p$-adic rigidity for $\mathrm{GSp}_4$

技术摘要：$GSp_4$ 的 $p$-进刚性

1. 问题陈述与动机
本文研究了 $GSp_4(\mathbb{A}_{\mathbb{Q}})$ 上特定非尖点（noncuspidal）自守表示的 $p$-进刚性问题。虽然在构造特征标（eigenvarieties，即插值 Hecke 特征标系统的 $p$-进刚性分析空间）以及研究自守形式的 $p$-进族方面已经取得了实质性进展，但非尖点、非全纯区域的几何结构仍未得到充分理解。

核心问题在于：某些“$p$-精细化”（p-refined）的自守表示是否可以在一个非平凡的正维 $p$-进族中进行插值。本文聚焦于 Saito–Kurokawa (SK) 点，即 $GL_2$ 表示到 $GSp_4$ 的提升。具体而言，本文研究了这些点在配备了特定的精细化（Borel 环面的可达特征标）时，是否能在特征标空间（eigenvariety）内进行变形。这项工作旨在作为 Bellaïche 关于幺正群 $U(2, 1)$ 刚性定理在 $GSp_4$ 中的类比，旨在识别 $GSp_4$ 特征标空间中 $p$-进变化的障碍。

2. 方法论与框架
证明策略并不依赖于预先存在的全局特征标空间，而是抽象出 $p$-进族预期应满足的性质，并借鉴了 Bellaïche 对 $U(2, 1)$ 的框架。

• 族的定义与点：

  • 一个 $p$-进族 $X(\phi)$ 被定义为一个在 $\mathbb{Q}_p$ 上定义的约简、分离、不可约的刚性分析空间，配备有一个权重映射、一个 Hecke 代数同态以及一个经典点集 $Z$。
  • 一个 Saito–Kurokawa (SK) 点 $z_0 = (\pi, \psi_R)$ 对应于一个非尖点 SK 表示 $\pi$ 以及一个可达精细化 $\psi_R$。
  • 文中区分了四种可能的精细化（$\psi_1, \dots, \psi_4$）形式的局部 SK 因子。主要结果特别适用于 $\psi_2$- 和 $\psi_3$-精细化的点，这些点类似于 $U(2, 1)$ 环境中的“反正规”（anti-ordinary）点。

• 关键技术输入：

  1. Arthur 分类： 利用 Arthur 对 $GSp_4$ 离散自守表示的分类所起的结构性作用，来分析其相关的伽罗瓦表示的可约性。
  2. 伪特征标与可约性： 本文采用伪特征标理论（遵循 Taylor 和 Bellaïche–Chenevier）来分析附属于族的生成伪特征标 $T_\eta$。研究 $T_\eta$ 是否是 $(2, 1, 1)$-可约的（即分解为一个 2 维表示和两个 1 维表示）。
  3. Kisin 性质： 假设在点 $z_0$ 处满足晶体 Frobenius 特征标的插值性质。这确保了由该族产生的扩张在 $p$ 处是晶体的。
  4. 单征控制 (SK–P2)： 施加了一个条件来控制 $p$ 之外的伽罗瓦单征。具体而言，对于在 $\ell \neq p$ 处局部因子为 Steinberg 扭转的素数，族中的单征算子必须位于 $z_0$ 处单征的共轭类 Zariski 闭包内。
  5. Bloch–Kato Selmer 群： 证明最终归结为通过特定 Selmer 群 $H^1_f(\mathbb{Q}, \rho_\mu(2))$ 和 $H^1_f(\mathbb{Q}, \mathbb{Q}_p(1))$ 的消失而导出的矛盾。

3. 关键结果

• SK 刚性 (命题 6.3)：
  若一个 $p$-进族 $X(1)$ 通过一个 $\psi_i$-精细化的 SK 点 $z_0$（其中 $i \in \{2, 3\}$，且满足斜率条件 $v(\alpha(z_0)) \neq k(z_0)-2$ 若 $i=3$），并且 SK 点的集合在 $z_0$ 处累积，则该族 $X(1)$ 必须是一个单点。这确立了 $\psi_2$ 和 $\psi_3$-精细化 SK 点不会在包含其他 SK 点的族中进行变形。

• 非 (2, 1, 1)-可约性 (命题 7.10)：
  对于经过 SK 点的正维族，生成伪特征标 $T_\eta$ 不可能是 $(2, 1, 1)$-可约的。证明利用了类型 (e)/(f) 点（即 $(1,1,1,1)$-可约点）与 SK 点（即 $(2,1,1)$-可约点）无法以保持生成可约性类型的方式相互累积这一事实。

• 完全刚性 (定理 8.4)：
  设 $z_0$ 为一个满足 Steinberg 条件 (St) 和斜率条件的非尖点 $\psi_i$-精细化 SK 点（$i \in \{2, 3\}$）。若 $p$-进族 $X(1)$ 通过 $z_0$ 且满足 Kisin 性质和单征控制条件 (SK–P2)，则 $X(1)$ 是一个点。

  证明简述： 假设 $\dim X > 0$。这意味着 $T_\eta$ 不是 $(2, 1, 1)$-可约的。然而，该族的存在迫使在 $\text{Ext}_T(\epsilon^{-2}, \epsilon^{-1})$ 或 $\text{Ext}_T(\epsilon^{-2}, \rho_\mu)$ 中存在非分裂扩张。

  • $\text{Ext}_T(\epsilon^{-2}, \rho_\mu)$ 中的扩张被证明在 $p$ 之外是无分歧的，且在 $p$ 处是晶体的。通过 $\epsilon^2$ 扭转后，得到一个属于 $H^1_f(\mathbb{Q}, \rho_\mu(2))$ 的类，由于 $L(1/2, \mu) \neq 0$，该类消失。
  • $\text{Ext}_T(\epsilon^{-2}, \epsilon^{-1})$ 中的扩张同样产生一个属于 $H^1_f(\mathbb{Q}, \mathbb{Q}_p(1))$ 的类，根据 Kummer 理论，该类也消失。
  • 这些 Selmer 群的消失与存在非平凡扩张相矛盾，从而意味着该族必须是零维的。

4. 重要性与主张
本文声称确立了 $GSp_4$ 上一类特定非尖点自守表示的 $p$-进刚性。

• 与 $U(2, 1)$ 的类比： 它提供了 $GSp_4$ 的类比，识别了针对“反正规”（特别是 $\psi_2$ 和 $\psi_3$）精细化点的 $p$-进变化障碍。
• 与尖点点的区别： 文中明确指出，尖点 SK 点不是刚性的（它们会在正维族中变形，例如半正规族）。刚性结果专门针对非尖点情形。
• 精细化的作用： 结果强调了选择精细化是决定性的。本文预期 $\psi_1$ 和 $\psi_4$-精细化点（类似于正规点）会变形，而刚性定理专门排除了这些情况。
• 障碍识别： 本工作将特定 Bloch–Kato Selmer 群的消失（由中心 $L$ 值 $L(1/2, \mu)$ 的非零性和 Kummer 理论驱动）识别为这类非尖点 $p$-进变化的根本障碍。

本文对其假设（如非尖点性和特定的单征条件）的必要性保持审慎，指出虽然该方法暗示了某些尖点情形的刚性，但证明所需的单征条件可能在一般的尖点情形下并不成立。