Reduction modulo p of crystalline Galois representations via {\mu}_p-equivariance

技术摘要：通过 $\mu_p$-等变性实现晶体 Galois 表示的模 $p$ 约化

问题陈述
本文探讨了 Serre 猜想中的“权重部分”，即确定产生特定模 $p$ Galois 表示的模 $p$ 模形式（或更一般的自守形式）的可能权重的过程。在 $p$-进霍奇理论（$p$-adic Hodge theory）的语境下，这转化为问题 1.1：给定一个连续的模 $p$ 表示 $r: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{F}_p)$，什么样的 Hodge–Tate 权重能够对应于满足 $\bar{\rho} \simeq r$ 的晶体表示 $\rho: \text{Gal}_{\mathbb{Q}_p} \to \text{GL}_n(\mathbb{Z}_p)$？

虽然已知预测权重的集合仅取决于 $r$ 对惯性子群 $I_{\mathbb{Q}_p}$ 的限制，但对于哪些模 $p$ 表示源自具有特定 Hodge–Tate 权重的晶体表示，其精确特征化工作仍不完整，特别是在处理一般还原群且不依赖生成性（genericity）假设的情况下。

方法论
作者综合运用了现代 $p$-进霍奇理论（特别是棱镜上同调/prismatic cohomology）以及涉及仿射 Grassmannian 的几何表示论。

1. 棱镜框架与 $\mu_p$-等变性：
   核心技术创新在于发现与晶体表示相关的 Breuil–Kisin 模具有自然的 $\mu_p$-等变结构。

   • Breuil–Kisin 环 $S = W(k)[[u]]$ 通过“环路旋转”（loop rotation，$u \mapsto \zeta u$）携带了一个由群方案 $\mu_p$（$p$ 次单位根）诱导的作用。
   • Frobenius 映射 $\phi: S \to S$ 是 $\mu_p$-等变的（在目标上作用平凡）。
   • 作者证明了对于晶体表示，其关联的 Breuil–Kisin 模 $M$ 存在一个“规范修正” $N$，该 $N$ 是 $\mu_p$-等变的。至关重要的是，该修正模在模 $p$ 下的约化与原模 $M$ 的约化是同构的（定理 4.2.3）。
   • 这一结构的建立是通过两种构造实现的：一种是利用 $\text{Spf}(W(k))$ 的棱镜化（prismatization）（具体而言是一个不同于标准棱镜映射的 $\rho^\dagger$）；另一种是利用**合成化（syntomification）**和 Nygaard 叠（Nygaard stacks）。

2. 仿射 Grassmannian 的几何：
   作者将这些模的代数性质转化为仿射 Grassmannian $\text{Gr}_G$ 的几何性质。

   • 他们分析了在环路旋转作用下的不动点子集 $\text{Gr}_G^{\mu_p}$。
   • 他们建立了标准优势序（dominance order $\leq$）与通过 $p$-扩张仿射 Weyl 群定义的全新偏序（$\uparrow$）之间的关系。
   • 一个关键的几何结果（命题 2.4.10）指出，仿射 Grassmannian 中 $\mu_p$-不动点子集的闭包关系是由 $\uparrow$ 序而非标准的 Bruhat 序或优势序所控制的。

3. 综合：
   通过结合 Breuil–Kisun 模的 $\mu_p$-等变结构与仿射 Grassmannian 的几何学，作者将 Hodge–Tate 权重（决定了模在泛性纤维中的位置）与模 $p$ 约化的惯性权重（决定了其在特殊纤维中的位置）联系起来。

主要贡献与结果

• 定理 1.2 (定理 5.5.6)： 令 $\rho$ 为一个晶体表示，其 Hodge–Tate 权重为 $\mu$。则其模 $p$ 约化的半单化在惯性上的限制，同构于一个特定的半单表示 $\tau(\lambda, w)$。此处，$\lambda$ 与 $\mu$ 由偏序 $\lambda \uparrow \mu$ 相关联，且 $w$ 是 Weyl 群的一个元素。

  • 这为模 $p$ 约化的惯性权重提供了一个必要条件。
  • 关系 $\uparrow$ 是通过 $p$-扩张仿ธ射 Weyl 群中的一系列反射来定义的，它推广了标准的优势序。

• 显式 Serre 权重猜想 (猜想 6.3.4)：
  作者为与半单 $L$-参数 $\rho$ 相关的 Serre 权重集合 $W(\rho)$ 制定了一个显式公式。他们基于 $\uparrow$ 关系定义了一个显式权重集合 $W_{\text{explicit}}(\rho)$，并证明了包含关系 $W_{\text{cris}}(\rho) \subseteq W_{\text{explicit}}(\rho)$，其中 $W_{\text{cris}}(\rho)$ 是允许晶体提升的权重集合。

  • 他们猜想 $W(\rho) = W_{\text{cris}}(\rho) = W_{\text{explicit}}(\rho)$，从而为一般的非分歧还原群提供了一个统一的候选权重集，而无需生成性假设。

• 消除方向：
  论文证明了 Serre 权重猜想的“消除方向”：如果一个权重不在预期的显式集合 $W_{\text{explicit}}(\rho)$ 中，则它不可能源自具有给定 Hodge–Tate 权重的晶体表示。

• 与现有文献的兼容性：
  作者展示了他们的显式权重集在生成情形下与 Gee–Herzig–Savitt 预测的集合 $W_{\text{Her}}(\rho)$ 相一致（命题 6.4.6）。他们还指出，证明 Buzzard–Diamond–Jarvis 猜想的关键结构定理是其结果的一个直接推论。

意义与主张
本文声称为晶体 Galois 表示的模 $p$ 约化提供了一种新的结构性约束。通过利用棱镜技术揭示 Breuil–Kisin 模中隐藏的 $\mu_p$-等变结构，作者架起了 Hodge–Tate 权重（特征 0 数据）与模 $p$ 约化的惯性权重之间的桥梁。

其意义在于：

1. 普适性： 结果针对的是 $\mathbb{Q}_p$ 上非分歧连通还原群的 $L$-参数，超越了经典的 $\text{GL}_n$ 情况。
2. 显式性： Serre 权重猜想的表述是显式的，依赖于组合性的 $\uparrow$ 序，消除了以往表述中常见的对生成性假设的需求。
3. 方法论转向： 其证明依赖于仿射 Grassmannian 和棱镜叠的几何学，而非仅仅依靠传统的 $p$-进霍奇理论，这为晶体提升与其约化之间的关系提供了新的视角。

作者对条件的充分性保持审慎；他们指出虽然 $\lambda \uparrow \mu$ 是必要的，但通常不足以保证晶体提升的存在，尽管他们猜想当 Hodge–Tate 权重是 $p$-受限时（即 Serre 猜想相关的情形），该条件会变得充分。