The purpose of this paper is to prove a basic p-adic comparison theorem for smooth rigid analytic and dagger varieties over the algebraic closure C of a p-adic field: p-adic pro-étale cohomology, in a stable range, can be expressed as a filtered Frobenius eigenspace of de Rham cohomology (over B + dR ). The key computation is the passage from absolute crystalline cohomology to Hyodo-Kato cohomology and the construction of the related Hyodo-Kato isomorphism. We also "geometrize" our comparison theorem by turning p-adic pro-étale and syntomic cohomologies into sheaves on the category Perf C of perfectoid spaces over C (this geometrization will be crucial in our proof of the Cst-conjecture in the sequel to this paper).
ContentsPIERRE COLMEZ AND WIESŁAWA NIZIOŁ 7.2. Rigid analytic varieties, period morphism 55 7.3. Dagger varieties 63 Index 66 References 66This proposition is proved by representing, using distinguished triangles (1.5) and (1.9), both sides of the morphism by means of the rigid analytic and the overconvergent Hyodo-Kato cohomology, respectively, then passing through the rigid analytic and the overconvergent Hyodo-Kato quasi-isomorphisms (that are compatible by construction) to the de Rham cohomology, where the result is known.Remark 1.11. The approach we have taken here to deal with dagger varieties is very different from the one in [14] or [16] (these two approaches also differing between themselves). That is, we do not use Grosse-Klönne's overconvergent Hyodo-Kato cohomology nor the related Hyodo-Kato morphism (which is difficult to work with and is also very different from the rigid analytic version making checking the overconvergent-rigid analytic compatibility a bit of a nightmare). Instead, we induce all the overconvergent cohomologies from their rigid analytic analogs; hence, by definition, the two constructions are compatible. This was only possible because we have constructed a functorial, ∞-category version of the Hyodo-Kato morphism.Structure of the paper. Sections 2 and 4 are devoted to a definition of a functorial, ∞-categorical Hyodo-Kato quasi-isomorphism. In Section 3 we present our definition of B + dR -cohomology. Section 5 puts the above things together and introduces overconvergent geometric syntomic cohomology. In Section 6 we define comparison morphisms and in Section 7 we put a geometric structure on them.