Comparison between overconvergent de Rham-Witt and crystalline cohomology for projective and smooth varieties

Abstract

We prove that for a projective and smooth variety the hypercohomology of the overconvergent de Rham-Witt complex is canonically isomorphic to crystalline cohomology