G_a^{perf}-modules and de Rham Cohomology

DOI10.1016/J.AIM.2022.108691arXiv2101.03146WikidataQ114211400 ScholiaQ114211400MaRDI QIDQ6357864FDOQ6357864

Authors: Shubhodip Mondal 

Publication date: 8 January 2021

Abstract: We prove that algebraic de Rham cohomology as a functor defined on smooth $mathbb{F}_p$-algebras is formally 'etale in a precise sense. This result shows that given de Rham cohomology, one automatically obtains the theory of crystalline cohomology as its unique functorial deformation. To prove this, we define and study the notion of a pointed $mathbb{G}_a^{mathrmperf}$-module and its refinement which we call a quasi-ideal in $mathbb{G}_a^{mathrmperf}$ -- following Drinfeld's terminology. Our main constructions show that there is a way to "unwind" any pointed $mathbb{G}_a^{extperf}$-module and define a notion of a cohomology theory for algebraic varieties. We use this machine to redefine de Rham cohomology theory and deduce its formal 'etalness and a few other properties.

Mathematics Subject Classification ID

Homotopy theory and fundamental groups in algebraic geometry (14F35) (p)-adic cohomology, crystalline cohomology (14F30) de Rham cohomology and algebraic geometry (14F40) Hopf algebras and their applications (16T05) Coalgebras and comodules; corings (16T15) Group schemes (14L15)

This page was built for publication: G_a^{perf}-modules and de Rham Cohomology

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6357864)