[论文解读] Notes on the A_inf-cohomology of Integral p-adic Hodge theory

Matthew Morrow|arXiv (Cornell University)|Aug 2, 2016

Algebraic Geometry and Number Theory参考文献 6被引用 6

一句话总结

本文对 $Ā_{\text{inf}}$-上同调理论在整数 $p$-进霍奇理论中的应用提供了详尽且自完备的阐述，重点通过相对 de Rham–Witt 复形揭示了 $p$-进版的 Cartier 同构。该理论构建了一种新的整数上同调理论，适用于 $p$-进概形，其在平展、晶体与 de Rham 上同调之间实现插值；关键结果为：通过去极化函子 $L\eta$ 和映射 $\widetilde{\theta}_r$，将基变换后的 $Ā\Omega_{\mathfrak{X}/\mathcal{O}}$ 复形的上同调层与 Langer–Zink 的相对 de Rham–Witt 复形进行识别。这为超越经典晶体与 de Rham 设置的整数 $p$-进霍奇理论奠定了基础框架。

ABSTRACT

We present a detailed overview of the construction of the A_inf-cohomology theory from the preprint "Integral p-adic Hodge theory", joint with B. Bhatt and P. Scholze. We focus particularly on the p-adic analogue of the Cartier isomorphism via relative de Rham--Witt complexes.

研究动机与目标

• 从预印本 [BMS] 出发，自完备地构建 $Ā_{\text{inf}}$-上同调理论，重点探讨其在整数 $p$-进霍奇理论中的作用。
• 阐明通过相对 de Rham–Witt 复形实现的 $p$-进版 Cartier 同构的精确角色，这是该理论实现整数性与与其他上同调理论相容性的核心。
• 通过隔离并详述关键技术组件，特别是去极化函子 $L\eta$ 和映射 $\widetilde{\theta}_r$，使 $Ā_{\text{inf}}$-上同调的构造更具可及性。
• 将 $p$-进 Cartier 同构确立为核心定理，建立 $Ā\Omega_{\mathfrak{X}/\mathcal{O}}$ 复形的上同调与 Langer–Zink 的相对 de Rham–Witt 复形之间的联系。
• 通过证明关于基变换、拟同构与通过去极化函子控制挠子群的关键引理，为更广泛的整数 $p$-进霍奇理论计划提供技术基础。

提出的方法

• 该构造依赖于去极化函子 $L\eta$，其可消除 $p$-进上同调中的‘多余挠子群’，通过消除复形中不真实的挠子群，实现整数结果。
• 理论基于 $X_{\text{proét}}$ 的拟态态射拓扑，其中上同调通过几乎拟同构与与完美环相关的群上同调技巧进行计算。
• 关键映射 $\theta_r$ 与 $\widetilde{\theta}_r$ 广义化了 Fontaine 的经典 $\theta$ 映射，实现从 $\u0100_{\text{inf}}$ 到 $\mathcal{O}$-代数的基变换，从而支持 $p$-进 Cartier 同构。
• $p$-进 Cartier 同构通过在环面上进行局部计算得以建立，此时 de Rham–Witt 复形可被实现为 Laurent 多项式代数的群上同调。
• Witt 复形从 $\u0100_{\text{inf}}$ 上具有 Frobenius 作用的导出交换代数构造，为具有限制、Frobenius 与 Verschiebung 映射的微分形式提供了一个普遍框架。
• 利用关于 $L\eta$ 在基变换与上同调下行为的技术引理，证明了几乎拟同构在去极化后转化为真正的拟同构，从而支持主要比较定理的成立。

实验结果

研究问题

• RQ1 如何为 $p$-进概形构造一种新的整数上同调理论，使其统一平展、晶体与 de Rham 上同调？
• RQ2 去极化函子 $L\eta$ 在消除挠子群并实现 $p$-进霍奇理论中整数结果方面的确切作用是什么？
• RQ3 $p$-进 Cartier 同构如何将 $\u0100\Omega_{\mathfrak{X}/\mathcal{O}}$ 的上同调与 Langer–Zink 的相对 de Rham–Witt 复形联系起来？
• RQ4 能否从 $\u0100_{\text{inf}}$ 上具有 Frobenius 作用的 Laurent 多项式代数的群上同调构造出相对 de Rham–Witt 复形？
• RQ5 在什么条件下有 $\operatorname{Tor}_{*}^{\u0100_{\text{inf}}}(M,W(k))=0$ 对于 $*>1$ 成立，且这与晶体特化中挠子群自由性的关系为何？

主要发现

• $p$-进 Cartier 同构被确立为核心结果：基变换复形 $\u0100\Omega_{\mathfrak{X}/\mathcal{O}} \otimes_{\widetilde{\theta}_r} \mathcal{O}$ 的上同调层与 Langer–Zink 的 $\mathfrak{X}$ 的相对 de Rham–Witt 复形同构。
• 去极化函子 $L\eta$ 被证明在基变换后保持拟同构性，并将几乎拟同构转化为真正的拟同构，从而实现对挠子群的整数控制。
• 环面的相对 de Rham–Witt 复形被实现为 $\u0100_{\text{inf}}$ 上 Laurent 多项式代数的群上同调，为 $p$-进 Cartier 同构提供了局部模型。
• 从 $\u0100_{\text{inf}}$ 上具有 Frobenius-等变性的导出代数构造 Witt 复形，产生了一个在 Witt 复形范畴中的普遍对象，推广了经典的 de Rham–Witt 理论。
• $\widetilde{\theta}_r$ 映射诱导出一个行为良好的基变换，使得 $p$-进 Cartier 同构可约化为环面上的计算，从而简化了整体证明。
• 证明了若 $M[1/p]$ 在 $\u0100_{\text{inf}}[1/p]$ 上是平坦的，则对所有 $*>1$ 有 $\operatorname{Tor}_{*}^{\u0100_{\text{inf}}}(M,W(k))=0$，从而确保 $\u0100_{\text{inf}}$-上同调在晶体特化下在高阶中为挠子群自由。