Recognition: unknown
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 2 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.
-
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.