2021/07/06 by Zhouhang Mao, Mao, Zhouhang · 3 citations
Mathematics · #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Algebraic structures and combinatorial models #Commutative Algebra (math.AC) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology
paper · pdf · doi:10.48550/arxiv.2107.02921
openalex publication_date 2021/07/06 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We prove that the ∞-category of surjections of animated rings is projectively generated, introduce and study the notion of animated PD-pairs - surjections of animated rings with a "derived" PD-structure. This allows us to generalize classical results to non-flat and non-finitely-generated situations. Using animated PD-pairs, we develop several approaches to derived crystalline cohomology and establish comparison theorems. As an application, we generalize the comparison between derived and classical crystalline cohomology from syntomic (affine) schemes (due to Bhatt) to quasisyntomic schemes. We also develop a non-completed animated analogue of prisms and prismatic envelopes. We prove a variant of the Hodge-Tate comparison for animated prismatic envelopes from which we deduce a result about flat cover of the final object for quasisyntomic schemes, which generalizes several known results under smoothness and finiteness conditions.