Syntomification and crystalline local systems

技术摘要：辛托米化与晶格局部系统

问题与背景
本文探讨了$p$-进形式概形的几何与$p$-进伽罗瓦群表示论之间的关系。具体而言，它旨在将 Bhatt-Scholze 关于棱柱 $F$-晶体与晶格伽罗瓦表示之间的等价性（该等价性最初针对单点情形，即 $\text{Spf } \mathcal{O}_K$ 建立）推广到光滑 $p$-进形式概形 $X$ 的情形。研究的核心对象是由 Bhatt 和 Lurie 引入的与 $X$ 相关联的辛托米叠 $X_{\text{Syn}}$。本文研究了 étale 实现函子 $\mathcal{T}_{\text{ét}}: \text{Perf}(X_{\text{Syn}}) \to D^{(b)}_{\text{lisse}}(X_\eta, \mathbb{Z}_p)$，该函子将辛托米叠上的完美复形映射到刚性一般纤维 $X_\eta$ 上局部系统的导出范畴。

本文解决的主要挑战包括：

1. 根据晶格局部系统，刻画 $\mathcal{T}_{\text{ét}}$ 在完美复形范畴（及其等周范畴）上的本质像。
2. 确定等价性 $\text{Perf}(\mathbb{Z}_p^{\text{Syn}})[1/p] \simeq D^b(\text{Rep}^{\text{cris}}_{\mathbb{Q}_p}(G_{\mathbb{Q}_p}))$ 是否能推广到更高维的 $X$。
3. 在真（proper）情形下，提供范畴 $\text{Perf}(X_{\text{Syn}})[1/p]$ 的显式代数描述，类比于通过弱容许滤过 $F$-等晶（weakly admissible filtered $F$-isocrystals）对晶格表示的描述。

方法论
作者结合了叠几何、下降理论和$p$-进霍奇理论技术：

• 叠框架：本文利用了形式叠 $X_{\text{Syn}}$、$X_{\text{Nyg}}$（Nygaard）和 $X_\Delta$（棱柱）。$X_{\text{Syn}}$ 的结构通过分析涉及这些叠的推出（pushouts）和等化子（coequalizers）来研究。
• 自反层：一项关键的技术创新是在辛托米叠上引入了自反层（$\text{Refl}(X_{\text{Syn}})$）。作者将其定义为满足自然映射 $E \to E^{\vee\vee}$ 是同构的相干层 $E$。该子范畴被证明是 étale 实现函子诱导等价性的正确定义域。
• 核分析：本文分析了 étale 实现函子的核。通过调整 Bhatt-Lurie 的方法并利用 Nygaard 关联分次对象上的分次联络，证明了该核由 $(p, v_{1,X})$-幂挠的相干 $F$-规范（$F$-gauges）组成。
• 下降与覆盖：证明严重依赖于平坦局部满射（特别是使用与 Breuil-Kisin 棱柱相关的 Rees 叠），将 $X$ 上的全局问题归约为仿射概形上的局部问题，从而使得利用 Breuil-Kisin 模和 $q$-联络进行显式计算成为可能。
• Beilinson 纤维方图：在真情形下，本文构造了一个 Beilinson 纤维方图，将 $X$ 的辛托米上同调与其特殊纤维上的晶格上同调以及一般纤维上的 de Rham 上同调联系起来。该方图用于定义容许滤过 $F$-等晶的目标范畴。

主要贡献与结果

1. 自反层的等价性（定理 A）：
   本文证明了对于光滑且拟紧的 $p$-进形式概形 $X/\text{Spf } \mathcal{O}_K$，étale 实现函子诱导了范畴等价：
   $$\mathcal{T}_{\text{ét}}: \text{Refl}(X_{\text{Syn}}) \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$$
   其中 $\text{Loc}^{\text{cris}}_{\mathbb{Z}_p}(X_\eta)$ 是 pro-étale 晶格 $\mathbb{Z}_p$-局部系统的范畴。这一结果将函子 $\Pi_X$（由 Guo-Li 构造）的本质像刻画为正是自反层。

2. 等周范畴与晶格上同调（推论 1.3）：
   在将 $p$ 反转后，该函子在各自 t-结构的中心上诱导了等价：
   $$\text{Coh}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta)$$
   $\mathcal{T}_{\text{ét}}[1/p]$ 在整个导出范畴上的本质像包含在具有晶格上同调层的对象子范畴中，但本文指出包含关系通常是严格的（即，并非每个具有晶格上同调层的复形都在本质像中）。

3. 朴素推广的失效（例 4.7）：
   本文证明了等价性 $\text{Perf}(X_{\text{Syn}})[1/p] \simeq D^b(\text{Loc}^{\text{cris}}_{\mathbb{Q}_p}(X_\eta))$ 对于高维 $X$（例如 $X = \mathbb{P}^1_{\mathbb{Z}_p}$）通常不成立。这是由于全忠实性的失效，表现为非零的辛托米上同调群 $H^2_{\text{Syn}}$，它们不对应于晶格局部系统范畴中的扩张。

4. 真概形的等价性（定理 B）：
   对于在 $\text{Spf } \mathcal{O}_K$ 上光滑且真的 $X$，本文证明了如下等价：
   $$\text{Perf}(X_{\text{Syn}})[1/p] \xrightarrow{\sim} \text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$$
   这里，$\text{Perf}^{\text{adm}}_{f\text{Isoc}_\varphi}(X)$ 是容许滤过 $F$-等晶的完美复形范畴。该范畴通过涉及特殊纤维的晶格位和一般纤维的 de Rham 叠的 Beilinson 纤维方图来定义。“容许”条件确保了上同调层对应于晶格局部系统。

5. 上同调计算：
   本文提供了一项上同调计算，表明对于 $X = \text{Spf } \mathcal{O}_K$，辛托米上同调 $H^i_{\text{Syn}}(\mathcal{O}_K, E)[1/p]$ 在 $i \geq 2$ 时消失，在 $i=1$ 时同构于 Bloch-Kato Selmer 群（或晶格表示中的扩张群）。这一消失性对于建立点情形和真情形下的等价性至关重要。

意义与主张
本文声称解决了 Bhatt-Lurie 辛托米叠是否为 $p$-进形式概形提供导出黎曼 - 希尔伯特对应的问题。

• 它确认了虽然对于一般 $X$ 的朴素导出等价性失效，但通过自反层存在精确刻画。
• 它成功地将辛托米完美复形与晶格表示之间的等价性推广到光滑真概形的等周范畴，但要求目标范畴细化为容许滤过 $F$-等晶，而不仅仅是晶格局部系统的导出范畴。
• 这项工作弥合了棱柱/叠方法（Bhatt-Scholze, Bhatt-Lurie）与经典滤过 $F$-等晶理论（Colmez-Fontaine）之间的鸿沟，为研究 $p$-进形式概形上的晶格局部系统提供了一个统一的框架。

作者明确指出，结果依赖于 $X$ 是光滑且拟紧（或真）的，并且当 $X$ 不是拟紧时，对等周范畴的解释需要谨慎。本文并未声称解决非光滑概形的问题，也未提供不反转 $p$ 时的本质像描述（这留作未来工作）。