A p-adic Cartier isomorphism between the A_inf-cohomology and de Rham-Witt complexes for semistable formal schemes

Kensuke Aoki

A p-adic Cartier isomorphism between the A_inf-cohomology and de Rham-Witt complexes for semistable formal schemes

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2303.10492 v2 pith:PBI4TXSV submitted 2023-03-18 math.AG

Kensuke Aoki This is my paper · ORCID

classification math.AG

keywords formalinf-cohomologyschemessemistablecartiercomplexesisomorphismp-adic

verification ladder T0 review T1 audit T2 compute T3 formal

0 comments

read the original abstract

\v{C}esnavi\v{c}ius-Koshikawa constructed the A_inf-cohomology theory for semistable formal schemes over the ring of integers of C_p. We prove the p-adic Cartier isomorphism between the A_inf-cohomology and de Rham-Witt complexes for semistable formal schemes, extending the result of Bhatt-Morrow-Scholze in the smooth case.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

TR with logarithmic poles and the de Rham-Witt complex
math.AG 2024-12 conditional novelty 6.0 of 10

Log topological restriction homology over O_C is identified, étale locally, with r-Nygaard filtered log prismatic cohomology and the relative log de Rham-Witt complex.

Pith tools