2015/10/19 by Fucheng Tan, Tan, Fucheng, Jilong Tong +1
Mathematics · Pharmacology, Toxicology and Pharmaceutics · #Advanced Algebra and Geometry #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #Alkaloids: synthesis and pharmacology #FOS: Mathematics
paper · pdf · doi:10.48550/arxiv.1510.05543
openalex publication_date 2015/10/19 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for étale cohomology with nontrivial coefficients, as well as in the relative setting, i.e. for proper smooth morphisms of smooth formal schemes. The proof is formulated in terms of the pro-étale topos introduced by Scholze, and uses his primitive comparison theorem for the structure sheaf on the pro-étale site. Moreover, we need to prove the Poincaré lemma for crystalline period sheaves, for which we adapt the idea of Andreatta and Iovita. Another ingredient for the proof is the geometric acyclicity of crystalline period sheaves, whose computation is due to Andreatta and Brinon.