[论文解读] Logarithmic Prismatic Cohomology I

Teruhisa Koshikawa|arXiv (Cornell University)|Jul 28, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 12被引用 7

一句话总结

本文通过发展 $δ$-环的对数变体——称为 $δ_{\log}$-环——引入了对数棱锥上同调，从而实现了对数棱锥概形的构造，并首次系统地构建了半稳定情形下的 Breuil-Kisin 上同调。其关键贡献在于，通过这一新框架恢复了半稳定情形下 $A_{\text{inf}}$-上同调，同时建立了与 Hodge-Tate 及结晶上同调的奠基性比较。

ABSTRACT

We introduce a logarithmic variant of the notion of $δ$-rings, which we call $δ_{\log}$-rings, and use it to define a logarithmic version of the prismatic site introduced by Bhatt and Scholze. In particular, this enables us to construct the Breuil-Kisin cohomology in the semistable case.

研究动机与目标

• 为带有对数结构的形式概形发展对数棱锥上同调的推广，将 Bhatt 与 Scholze 的棱锥理论扩展至半稳定情形。
• 定义一类新对象——$δ_{\log}$-环——其为 $δ$-环的推广，且在存在对数结构时与 Frobenius 提升相容。
• 构造对数棱锥概形，并利用它定义一种上同调理论，该理论在半稳定情形下可恢复 $A_{\text{inf}}$-上同调。
• 为新上同调理论建立基础比较，包括与 Hodge-Tate 和结晶上同调的比较。

提出的方法

• 将 $δ_{\log}$-环引入为 $δ$-环的对数变体，其中 Frobenius 提升 $\phi$ 满足 $\phi(\alpha(m)) = \alpha(m^p)$，其中 $\alpha: M \to A$ 是一个幺半群同态。
• 将对数棱锥定义为配备相容预对数结构的有界棱锥，构成对数棱锥概形的基础。
• 为一个关于基对数棱锥的对数形式概形 $X$ 构造对数棱锥概形 $(X/A)_{\mathbbl{\Delta}}^{\log}$，其对象为 $A$ 上的有界对数棱锥，且配备与 $X$ 的相容映射。
• 利用对数棱锥概形上的结构层 $\mathcal{O}_{\mathbbl{\Delta}}^{\log}$，将对数棱锥上同调定义为 $R\Gamma_{\mathbbl{\Delta}}^{\log}(X/A) = R\Gamma((X/A)_{\mathbbl{\Delta}}^{\log}, \mathcal{O}_{\mathbbl{\Delta}}^{\log})$。
• 通过在余单纯模上的同伦等价，证明 Hodge-Tate 比较，表明上同调复形可分解为 Hodge-Tate 拉直的直和。
• 通过沿棱锥自然映射的基变换，将对数棱锥上同调与结晶上同调关联，从而证明结晶比较定理，包括从 $W(k)[[u]]$ 到 $A_{\text{inf}}$ 的映射。

实验结果

研究问题

• RQ1 如何将棱锥上同调理论推广以包含对数结构，特别是在半稳定情形下？
• RQ2 支持良好行为的棱锥概形与上同调理论的对数棱锥的正确概念是什么？
• RQ3 是否能通过棱锥形式化的对数变体来构造半稳定情形下的 Breuil-Kisin 上同调？
• RQ4 对数棱锥上同调与经典上同调理论（如结晶上同调与 Hodge-Tate 上同调）相比有何关系？
• RQ5 $δ_{\log}$-环在混合特征下实现 Frobenius 相容对数结构中起什么作用？

主要发现

• 本文首次通过使用对数棱锥上同调，构造了半稳定情形下已知的 Breuil-Kisin 上同调版本。
• 对数棱锥上同调在半稳定情形下恢复了 $A_{\text{inf}}$-上同调，推广了 Bhatt 与 Scholze 在光滑情形下的构造。
• 建立了 Hodge-Tate 比较，表明对数棱锥上同调复形可分解为 Hodge-Tate 拉直的直和，且 $\phi$-作用与上同调上的 Frobenius 相容。
• 证明了结晶比较，表明通过对数棱锥上同调沿棱锥的自然映射（包括从 $W(k)[[u]]$ 到 $A_{\text{inf}}$ 的映射）可正确基变换至结晶上同调。
• 该构造与已知的棱锥间映射相容：$W(k)[[u]] \to A_{\text{inf}} \to W(\overline{k})$，确保与经典上同调理论的一致性。
• 在假设 $G = Q^{\text{gp}}/M^{\text{gp}}$ 为自由阿贝尔群的条件下，证明了余单纯模上相对 Frobenius 的同伦等价，这对准同构结果至关重要。