Related papers: On uniqueness of $p$-adic period morphisms, II

We construct the crystalline comparison isomorphisms for proper smooth formal schemes over an absolutely unramified base. Such isomorphisms hold for \'etale cohomology with nontrivial coefficients, as well as in the relative setting, i.e.…

In this article, we introduce a new class of smooth partially proper rigid analytic varieties over a $p$-adic field that satisfy Poincar\'e duality for \'etale cohomology with mod $p$-coefficients : the varieties satisfying "primitive…

We study properties of compactly supported $p$-adic pro-\'etale cohomology of smooth partially proper rigid analytic varieties. In particular, we prove a comparison theorem, in a stable range, with compactly supported syntomic cohomology,…

We prove that $p$-adic geometric pro-\'etale cohomology of smooth partially proper rigid analytic varieties over $p$-adic fields seen in the category of Topological Vector Spaces satisfies a Poincar\'e duality as we have conjectured. This…

In some particular cases we give criteria for morphic sequences to be almost periodic (=uniformly recurrent). Namely, we deal with fixed points of non-erasing morphisms and with automatic sequences. In both cases a polynomial-time algorithm…

Via the relative fundamental exact sequence of $p$-adic Hodge theory, we determine the geometric $p$-adic pro-\'etale cohomology of the Drinfeld symmetric spaces defined over a $p$-adic field, thus giving an alternative proof of a theorem…

Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary…

In this article, we define the l-adic homology for a morphism of schemes satisfying certain finiteness conditions. This homology has these functors similar to the Chow groups: proper push-forward, flat pull-back, base change, cap-product,…

We prove that the coherent cohomology of a proper morphism of noetherian schemes can be made arbitrarily p-divisible by passage to proper covers (for a fixed prime p). Under some extra conditions, we also show that p-torsion can be killed…

Over any smooth algebraic variety over a $p$-adic local field $k$, we construct the de Rham comparison isomorphisms for the \'etale cohomology with partial compact support of de Rham $\mathbb Z_p$-local systems, and show that they are…

In order to have cohomological operations for de Rham p-adic cohomology with coefficients as manageable as possible, the main purpose of this paper is to solve intrinsically and from a cohomological point of view the lifting problem of…

We prove the decomposition theorem for Hodge modules with integral structure along proper K\"ahler morphisms, partially generalizing M. Saito's theorem for projective morphisms. Our proof relies on compactifications of period maps of…

We interpret syntomic cohomology of Nekov\'a\v{r}-Nizio{\l} as a $p$-adic absolute Hodge cohomology. This is analogous to the interpretation of Deligne-Beilinson cohomology as an absolute Hodge cohomology by Beilinson and generalizes the…

In this dissertation, we discuss mainly the corresponding geometric and representation theoretic aspects of relative $p$-adic Hodge theory and $p$-adic motives. To be more precise, we study the corresponding analytic geometry of the…

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-\'etale cohomology, in a stable range, can be…

We construct a new cohomology theory for proper smooth (formal) schemes over the ring of integers of C_p. It takes values in a mixed-characteristic analogue of Dieudonne modules, which was previously defined by Fargues as a version of…

We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general,…

We introduce a notion of proper morphism for schematic finite spaces and prove the analogue of Grothendieck's finiteness theorem for it by means of the classic result for schemes and general descent arguments. This result also generalizes…

In a previous paper, we constructed a category of (phi, Gamma)-modules associated to any adic space over Q_p with the property that the etale (phi, Gamma)-modules correspond to etale Q_p-local systems; these involve sheaves of period rings…

We prove a mixed characteristic analog of the Beilinson-Lichtenbaum Conjecture for p-adic motivic cohomology. It gives a description, in the stable range, of p-adic motivic cohomology (defined using algebraic cycles) in terms of…