Pure mathematics

Mathematics

Equivariant cohomology

Cohomology

Sheaf cohomology

Algebra over a field

Chern–Weil homomorphism

Group cohomology

Hodge theory

Functor

De Rham cohomology

Čech cohomology

Motivic cohomology

Publications mathématiques de l IHÉS

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C p $\mathbf {C}_{p}$ . It takes values in a mixed-characteristic analogue of Dieudonné modules, which was previously defined by Fargues as a version of Breuil–Kisin modules. Notably, this cohomology theory specializes to all other known p $p$ -adic cohomology theories, such as crystalline, de Rham and étale cohomology, which allows us to prove strong integral comparison theorems.The construction of the cohomology theory relies on Faltings’ almost purity theorem, along with a certain functor L η $L\eta $ on the derived category, defined previously by Berthelot–Ogus. On affine pieces, our cohomology theory admits a relation to the theory of de Rham–Witt complexes of Langer–Zink, and can be computed as a q $q$ -deformation of de Rham cohomology.

Integral p $p$ -adic Hodge theory