2024/05/08 by Kirill Olegovich Magidson, Magidson, Kirill · 2 citations
Mathematics · #Advanced Topics in Algebra #Advanced Topology and Set Theory #Algebraic Geometry (math.AG) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #K-Theory and Homology (math.KT)
paper · pdf · doi:10.48550/arxiv.2405.05153
openalex publication_date 2024/05/08 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We develop the formalism of derived divided power algebras, and revisit the theory of derived De Rham and derived crystalline cohomology in this framework. We characterize derived De Rham cohomology of a derived commutative algebra A over a base R, together with the Hodge filtration on it, in terms of the universal property as the largest filtered divided power thickening of A. We show that our approach recovers the classical De Rham cohomology in the case of a smooth map R→ A, and therefore in general, recovers the derived De Rham cohomology in the sense of Illusie. Along the way, we develop some generalities on square-zero extensions and derivations in derived algebraic geometry and apply them to give the universal property of the first Hodge truncation of the derived De Rham cohomology. Finally, we define derived crystalline cohomology relative to a general divided power base, show that it satisfies the main properties of the crystalline cohomology and coincides with the classical crystalline cohomology in the smooth case.