[论文解读] Absolute prismatic cohomology

Bhargav Bhatt, Jacob Lurie|arXiv (Cornell University)|Jan 16, 2022

Algebraic Geometry and Number Theory被引用 11

一句话总结

本文引入了绝对棱锥上同调作为 p-进上同调理论的统一框架，利用 Cartier-Witt 簧堆重新诠释棱锥晶体。它建立了与晶体上同调、de Rham 上同调及 étale 上同调的基础比较，并构造了一个细化整 syntonik 和 Hodge-Tate 上同调的 Nygaard 膜层，为 p-进形式概形提供了 p-进版的经典 Hodge 理论。

ABSTRACT

The goal of this paper is to study the absolute prismatic cohomology of $p$-adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object we call the Cartier-Witt stack.

研究动机与目标

• 通过绝对棱锥上同调为 p-进形式概形发展一个统一的上同调框架。
• 通过 Cartier-Witt 簧堆上的拟相干层重新诠释 $\mathrm{Spf}(\mathbf{Z}_p)$ 上的棱锥晶体。
• 建立绝对棱锥上同调与晶体上同调、de Rham 上同调及 étale 上同调等经典不变量之间的比较。
• 在绝对棱锥上同调上定义并研究 Nygaard 膜层，以细化整 syntonik 和 Hodge-Tate 上同调。
• 将理论应用于周期循环上同调与第一陈类，通过比较态射将 syntonik 与 étale 上同调联系起来。

提出的方法

• 将 $\mathrm{Spf}(\mathbf{Z}_p)$ 上的棱锥晶体重新表述为 Cartier-Witt 簧堆 $\operatorname{WCart}$ 上的拟相干层，利用棱锥的几何结构与 Frobenius 结构。
• 通过相对棱锥范畴构造绝对棱锥上同调，将晶体上同调推广至非光滑与非完备概形。
• 在 Cartier-Witt 簧堆上定义 Hodge-Tate 除子，并利用其定义弥散 Hodge 上同调，以细化 Hodge-Tate 上同调。
• 在绝对棱锥上同调上引入 Nygaard 膜层，利用 Frobenius 与 $A_{\mathrm{crys}}(R)/pA_{\mathrm{crys}}(R)$ 上的共轭膜层，证明其与 de Rham 及 syntonik 上同调的相容性。
• 通过 $q$-de Rham 棱锥与 p-进 Hodge 理论，建立绝对棱锥上同调与晶体上同调、de Rham 上同调及 étale 上同调之间的比较定理。
• 使用动画交换环与滤化复形定义并计算 syntonik 与动机膜层，从而实现对陈类与周期循环上同调的应用。

实验结果

研究问题

• RQ1 如何将棱锥上同调扩展为 p-进形式概形的绝对上同调理论？
• RQ2 Cartier-Witt 簧堆在分类棱锥晶体与组织上同调数据方面具有何种几何作用？
• RQ3 绝对棱锥上同调上的 Nygaard 膜层如何细化 syntonik 与 Hodge-Tate 上同调？其与 de Rham 上同调有何关系？
• RQ4 绝对棱锥上同调与晶体上同调、de Rham 上同调及 étale 上同调之间的比较同构是什么？
• RQ5 如何在棱锥设定下定义第一陈类？其与 syntonik 与 étale 上同调有何关联？

主要发现

• 绝对棱锥上同调被定义为相对棱锥范畴的上同调，将晶体上同调推广至非光滑与非完备的形式概形。
• Cartier-Witt 簧堆 $\operatorname{WCart}$ 提供了一个几何框架，用于分类棱锥晶体，其中 Hodge-Tate 除子对应棱锥 Frobenius 的消失。
• 绝对棱锥上同调上的 Nygaard 膜层与 $A_{\mathrm{crys}}(R)/pA_{\mathrm{crys}}(R)$ 上的共轭膜层相容，其分次项同构于 Hodge-Tate 上同调。
• 通过 $q$-de Rham 棱锥建立了绝对棱锥上同调与晶体上同调之间的比较定理，Nygaard 膜层的分次项同构于 $A_{\mathrm{crys}}(R)/pA_{\mathrm{crys}}(R)$ 上的共轭膜层。
• 绝对棱锥上同调中的第一陈类通过自然比较态射映射到 syntonik 与 étale 第一陈类，其在 Hodge-Tate 上同调中的像由棱锥 Frobenius 的对数导数给出。
• 在 syntonik 上同调中，射影丛公式与爆破公式成立，$\mathrm{H}^{ullet}(\mathrm{BGL}_m)$ 中的陈类通过棱锥陈类映射计算得出，证实了与经典代数 K-理论的相容性。