Completions and derived de Rham cohomology
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 4 Pith papers
-
$F$-finite schemes have a dualizing complex
Every Noetherian F-finite scheme has a canonical dualizing complex ω^•_X such that ω^•_X ≅ f! ω^•_Y for any finite type map f between F-finite Noetherian schemes.
-
Logarithmic prismatic cohomology, motivic sheaves, and comparison theorems
Authors prove representability of log prismatic and syntomic cohomology in log motives, obtain Gysin maps and comparison theorems, and compute examples like Grassmannians.
-
Hodge-to-de Rham degeneration and quasihomogeneous singularities of curves
Degeneration of the Hodge-to-de Rham and Hochschild-to-cyclic spectral sequences at E2 is equivalent to all singularities being quasihomogeneous plane curve singularities for integral projective LCI curves.
-
Derived $F$-zips
Derived F-zips are introduced and attached to smooth proper morphisms, with an application to the geometry of the Enriques surface moduli stack in characteristic 2.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.