PreprintarXiv licencearXiv
Logarithmic Ainf-cohomology, Part II
Abstract
We develop a theory of logarithmic Ainf-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 Cst conjecture for semistable local systems. The proof also uses the prismatic interpretation of semistable local systems established by Du--Liu--Moon--Shimizu.
Related
- On Logarithmic Poisson and De Rham Cohomology Groups of a Class of Inhomogeneous Divisors
- Computations of Cohomology of Arithmetic Groups, Part 1
- Boundary layer analysis for the 2D Chemotaxis-Navier-Stokes system with logarithmic sensitivity, Part II. viscous vanishing limit
- On the Leibniz cohomology of vector fields
- Igusa stacks and the cohomology of Shimura varieties
BibTeX
@misc{diao2026logarithmic,
title = {{Logarithmic $A_\mathrminf$-cohomology, Part II}},
author = {Hansheng Diao and Zhefan Duan and Zijian Yao},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2609.07737},
eprint = {2609.07737},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2609.07737},
}
RIS
TY - UNPB
TI - Logarithmic A_inf-cohomology, Part II
AU - Hansheng Diao
AU - Zhefan Duan
AU - Zijian Yao
PY - 2026
DA - 2026/09/07
PB - arXiv
DO - 10.48550/arxiv.2609.07737
UR - https://arxiv.org/abs/2609.07737
AB - We develop a theory of logarithmic A_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_st conjecture for semistable local systems. The proof also uses the prismatic interpretation of semistable local systems established by Du--Liu--Moon--Shimizu.
ER -