Year: 2026
Type: preprint
Abstract: We develop a theory of logarithmic $A_{\mathrm{inf}}$-cohomology with coefficients for a class of $p$-adic log formal schemes that are ``sufficiently log smooth'', where the coefficients are given by relative log BKF modules. Then we establish comparison isomorphisms with étale, de Rham, and crystalline cohomology, and also extend these results to the derived setting. As an application, we give a new proof of the $C_{\mathrm{st}}$ conjecture for semistable local systems. The proof also uses the prismatic interpretation of semistable local systems established by Du--Liu--Moon--Shimizu.
Source: arXiv (Cornell University)
Authors: Diao, Hansheng, Duan, Zhefan, Yao, Zijian
Institution: Tsinghua University
Language: English
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7212062524