A Tannakian framework for prismatic $F$-crystals

技术摘要：棱镜 $F$-晶体的 Tannakian 框架

问题与背景
整型 $p$-进 Hodge 理论旨在通过光滑形式方案 $X$（其定义在离散赋值域的整数环 $\mathcal{O}_K$ 上）上的晶体 $\mathbb{Z}_p$-局部系统这一视角，研究 $p$-进几何对象在族中的变化。Bhatt 和 Scholze 最近的工作建立了棱镜 $F$-晶体范畴 $\text{Vect}^\varphi(X^\Delta)$，将其作为这些局部系统的稳健模型。然而，在应用到整型（局部）Shimura 簇时，需要一种 Tannakian 形式化理论：即在这些范畴内建立 $G$-对象（其中 $G$ 是光滑仿射群方案，定义在 $\mathbb{Z}_p$ 上）的理论。

一个主要的困难在于，étale 实现函子 $T_{\acute{e}t}$（它将棱镜 $F$-晶体与晶体局部系统联系起来）是一个范畴等价，但其拟逆函子通常不是正合的。具体而言，虽然 $T_{\acute{e}t}$ 将棱镜 $F$-晶体范畴映射到“棱镜良好还原”的局部系统子范畴，但其逆过程涉及将向量丛从开集扩展到其闭包，而这一过程并不保持正合性。这种非正合性威胁到了 $G$-对象的 Tannakian 等价性的构建，因为 $G$-对象的范畴依赖于底层张量范畴的正合性。

方法论
作者通过分析棱镜 $F$-晶体范畴中的 $G$-对象（记作 $G\text{-}\text{Vect}^\varphi(X^\Delta)$），并将其与晶体局部系统中的 $G$-对象（$G\text{-}\text{Loc}^{\text{crys}}_{\mathbb{Z}_p}(X)$）进行比较，从而开发了一个 Tannakian 框架。

1. 棱镜对象的 Tannakian 形式化： 本文确立了棱镜 $F$-晶体（及其解析对应物）具有必要的 Tannakian 性质。通过利用带有 Frobenius 结构（$F$-结构）的扭转（torsors）理论，作者表明这些范畴中的 $G$-对象对应于带有 Frobenius 同构的 $G$-扭转。
2. 处理非正合性： 核心技术挑战是 $T_{\acute{e}t}$ 拟逆函子的非正合性。作者通过将注意力限制在 $G$ 为还原群方案的情形下来解决这一问题。他们利用了 Colliot-Thélène 和 Sansuc 的一个结果：对于还原群 $G$，如果相关的向量丛可以扩展，那么在开子方案 $U$（其补集深度至少为 2）上的 $G$-扭转也可以扩展到整个方案。这使得他们能够通过利用还原群的特定几何性质以及底层环（特别是 Breuil–Kisin 棱镜）的深度性质，绕过一般群情况下正合性的失效。
3. Shtuka 实现： 本文构造了一个“shtuka 实现函子” $T_{\text{sht}}$，它将解析棱镜 $F$-晶体映射到 $G$-shtukas。这一构造依赖于棱镜上同调与 Scholze 等人开发的 $v$-sheaves 及 diamonds 理论之间的关系。

主要贡献与结果

• 还原群的 Tannakian 等价性： 中心结果（定理 2.29）确立了一个范畴等价：
  $$T_{\acute{e}t}: G\text{-}\text{Vect}^\varphi(X^\Delta) \xrightarrow{\sim} G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$$
  其中 $G\text{-}\text{Loc}^{\Delta\text{-gr}}_{\mathbb{Z}_p}(X)$ 是“棱镜良好还原”的 $G$-局部系统范畴。至关重要的是，作者证明了尽管 $T_{\acute{e}t}$ 在向量丛层面上的拟逆不是正合的，但在 $G$-对象层面上，当 $G$ 是还原群时，该诱导函子是一个等价。这是通过证明由于还原群的扭转扩展性质，正合性的障碍会消失来实现的。

• 解析棱镜 $F$-晶体： 本文通过研究解析棱镜 $F$-晶体（$\text{Vect}^{\text{an},\varphi}(X^\Delta)$）来完善该理论，这对于捕捉所有的晶体 $\mathbb{Z}_p$-局部系统是必要的。文中证明了 étale 实现函子诱导了解析棱镜 $F$-晶体与晶体局部系统之间的双正合等价（命题 2.23）。

• Shtuka 实现与相容性： 作者定义了一个 shtuka 实现函子 $T_{\text{sht}}: G\text{-}\text{Vect}^{\text{an},\varphi}(X^\Delta) \to G\text{-}\text{Sht}(X)$（定理 3.21）。他们证明了一个比较同构 $\varrho$，表明该函子与 étale 实现函子 $T_{\acute{e}t}$ 以及之前建立的从 de Rham 局部系统到 shtukas 的函子 $U_{\text{sht}}$（如 [PR24] 中所定义）是相互交织的：
  $$\varrho: (T_{\text{sht}})_\eta \xrightarrow{\sim} U_{\text{sht}} \circ T_{\acute{e}t}$$
  这一结果允许将 shtuka 实现函子扩展到光滑 $\mathcal{O}_K$-方案（而不只是形式方案），通过从标量纤维和形式完成部分进行数据粘合。

• 良好还原的特征化： 本文提供了一个 $G$-局部系统属于棱镜良好还原的判据：只需与单个忠实表示相关的系统是棱镜良好还原的，则该系统即为棱镜良好还原（推论 2.31）。

意义
本文提供了严谨地将棱镜上同调应用于研究整型 Shimura 簇所需的奠基性 Tannakian 理论。通过建立 $G$-对象在棱镜 $F$-晶体与棱镜良好还原 $G$-局部系统之间的等价性，作者使得使用棱镜方法来参数化 Shimura 簇整型模型上的动机对象成为可能。

这项工作被明确定位为 [IKY23] 和 [IKY25] 的伴随及基础组成部分。在这些工作中，本文的结果被用于在超特殊能级（hyperspecial level）上构造整型 Shimura 簇的棱镜实现函子，从而得出诸如 Serre–Tate 定理的类似结论。此外，与 shtuka 理论的相容性（定理 3）对于将棱镜实现与关于阿贝尔型 Shimura 簇的 shtuka 实现的 Pappas–Rapoport 猜想联系起来至关重要。

作者指出，虽然主要定理要求 $G$ 是还原的，但该框架具有足够的灵活性，潜在地可以容纳 parahoric 群方案，这是 Shimura 簇的一个重要研究方向，尽管这需要超出当前结果范围的进一步研究。