Completions and derived de Rham cohomology

Abstract

We show that Illusie's derived de Rham cohomology (Hodge-completed) coincides with Hartshorne's algebraic de Rham cohomology for a finite type map of noetherian schemes in characteristic 0; the case of lci morphisms was a result of Illusie. In particular, the E_1-differentials in the derived Hodge-to-de Rham spectral sequence for singular varieties are often non-zero. Another consequence is a completely elementary description of Hartshorne's algebraic de Rham cohomology: it is computed by the completed Amitsur complex for any variety in characteristic 0.

17 pages, comments welcome

Cited by in corpus (19)

• Shifted Poisson Structures and Deformation Quantization
• p-adic derived de Rham cohomology
• Enhancing the filtered derived category
• Topological Hochschild homology and integral $p$-adic Hodge theory
• Derived Algebraic Geometry and Deformation Quantization
• Virtual fundamental classes of derived stacks I
• Hodge theory of classifying stacks
• Formal moduli problems and formal derived stacks
• Derived Algebraic Geometry
• Counterexamples to Hochschild--Kostant--Rosenberg in characteristic $p$
• Overconvergent global analytic geometry
• Equivariant localization and completion in cyclic homology and derived loop spaces
• Period sheaves via derived de Rham cohomology
• Complex orientations for THH of some perfectoid fields
• An introduction to derived (algebraic) geometry
• Filtered formal groups, Cartier duality, and derived algebraic geometry
• Spreading out the Hodge filtration in non-archimedean geometry
• Hodge completed derived de Rham algebra of a perfect ring
• Derived $F$-zips