p-adic derived de Rham cohomology

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.

arXiv comment50 pages, comments very welcome!

References in corpus (1)

• Completions and derived de Rham cohomology

Cited by in corpus (16)

• Topological Hochschild homology and integral $p$-adic Hodge theory
• Derived Logarithmic Geometry I
• Derived Algebraic Geometry
• Co-periodic cyclic homology
• The p-adic Hodge decomposition according to Beilinson
• Cartier isomorphism for unital associative algebras
• Overconvergent global analytic geometry
• Period sheaves via derived de Rham cohomology
• Classes caractéristiques des schémas feuilletés
• p-divisibility for coherent cohomology
• On uniqueness of $p$-adic period morphisms, II
• On the periodic topological cyclic homology of DG categories in characteristic p
• Logarithmic differentials on discretely ringed adic spaces
• Derived $F$-zips
• Topologization and Functional Analytification I: Intrinsic Morphisms of Commutative Algebras
• Hodge completed derived de Rham algebra of a perfect ring