[论文解读] p-adic derived de Rham cohomology

Bhargav Bhatt|arXiv (Cornell University)|Apr 30, 2012

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

一句话总结

该论文为 $p$-adic 环和 $\mathbf{F}_p$-环构建了一个导出 de Rham 上同调框架，证明了在 lci 映射下导出 de Rham 上同调与 crystalline 上同调之间的比较同构，从而通过 $p$-adic 版本的 Beilinson 的 $h$-拓扑方法，为 Fontaine 的 crystalline 猜想 $C_{\mathrm{crys}}$ 和 Fontaine-Jannsen 的 semistable 猜想 $C_{\mathrm{st}}$ 提供了新证明。

ABSTRACT

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline cohomology for lci maps of such schemes, as well logarithmic variants. These comparisons give derived de Rham descriptions of the usual period rings and related maps in p-adic Hodge theory. Placing these ideas in the skeleton of Beilinson's construction leads to a new proof of Fontaine's crystalline conjecture and Fontaine-Jannsen's semistable conjecture.

研究动机与目标

• 将 Beilinson 的 $h$-拓扑方法扩展至 $p$-adic Hodge 理论，超越 de Rham 猜想 $C_{\mathrm{dR}}$，进入 crystalline 与 semistable 设置。
• 利用导出上同调与 crystalline 上同调，建立 period rings $B_{\mathrm{crys}}$、$B_{\mathrm{st}}$ 与 $B_{\mathrm{dR}}$ 的导出 de Rham 描述。
• 通过基于导出 de Rham 上同调与对数结构的新框架，证明 Fontaine 的 crystalline 猜想 $C_{\mathrm{crys}}$ 与 semistable 猜想 $C_{\mathrm{st}}$。
• 将 Illusie 的导出 de Rham 上同调理论推广至 $p$-adic 环，并建立其在 lci 映射下与 crystalline 上同调的相容性。
• 构造一个保持过滤、伽罗瓦作用、单值性与 Frobenius 结构的 étale 上同调与 de Rham 上同调之间的比较同构。

提出的方法

• 将导出 de Rham 上同调作为 Illusie 理论的推广，适用于 $p$-adic 环与 $\mathbf{F}_p$-环。
• 应用 de Jong 的变换定理与 $p$-可除性，构造 $h$-拓扑的小开集，使 de Rham 上同调可层化为常值层。
• 通过导出极限构造，建立从导出 de Rham 上同调到与 $\widehat{A_{\mathrm{st}}}$ 张量的 étale 上同调的比较映射 $\mathcal{C}\mathrm{omp}$。
• 证明比较映射与 Gauss-Manin 联络的相容性，确保单值性等变性。
• 利用 Hodge 完备化导出 de Rham 复形与对数结构，定义 semistable 模型的上同调。
• 通过 Poincaré 对偶性与 Gysin/上积相容性，证明比较映射在模 $\beta^d$ 意义下有逆。

实验结果

研究问题

• RQ1 能否在 lci 映射下将 $p$-adic 环的导出 de Rham 上同调与 crystalline 上同调进行比较？
• RQ2 导出 de Rham 上同调框架是否能为 Fontaine 的 crystalline 猜想 $C_{\mathrm{crys}}$ 提供新证明？
• RQ3 能否通过导出 de Rham 上同调与 $h$-拓扑重新证明 semistable 猜想 $C_{\mathrm{st}}$？
• RQ4 period rings $B_{\mathrm{crys}}$、$B_{\mathrm{st}}$ 与 $B_{\mathrm{dR}}$ 是否能自然地从导出 de Rham 上同调中导出？
• RQ5 能否在 $\mathbf{Q}$ 上构造导出 de Rham 上同调的 $p$-adic 比较定理的全局类比？

主要发现

• 为 $p$-adic 环与 $\mathbf{F}_p$-环的 lci 映射构造了导出 de Rham 上同调与 crystalline 上同调之间的自然同构。
• 该比较同构保持了过滤、伽罗瓦作用、单值性与 Frobenius 结构，提供了 $B_{\mathrm{crys}}$ 与 $B_{\mathrm{st}}$ 的导出描述。
• 证明了映射 $\mathcal{C}\mathrm{omp}$ 对 Gauss-Manin 联络的等变性，确保了单值性相容性。
• 通过 Poincaré 对偶性与 Gysin 映射相容性，证明比较同构在模 $\beta^d$ 意义下有逆。
• 通过将导出 de Rham 框架置于 Beilinson 的骨架中，为 Fontaine 的 crystalline 猜想 $C_{\mathrm{crys}}$ 获得新证明。
• 在 $\mathbf{Q}$ 上提出了 semistable 猜想的全局类比，其在 $A_{\mathrm{ddR}}$ 的局部化上存在比较同构。