Related papers: An arithmetic \'etale-crystalline comparison with …

We compute the $p$-adic \'etale and the pro-\'etale cohomologies of the Drinfeld half-space of any dimension. The main input is a new comparison theorem for the $p$-adic pro-\'etale cohomology of $p$-adic Stein spaces.

We use the approach to $p$-adic cohomology theories via stacks recently developed by Drinfeld and Bhatt--Lurie to formulate a stacky version of a comparison result between the Nygaard filtration on prismatic cohomology and the Hodge…

This paper studies the derived de Rham cohomology of F_p and p-adic schemes, and is inspired by Beilinson's recent work. Generalising work of Illusie, we construct a natural isomorphism between derived de Rham cohomology and crystalline…

We compute the integral $p$-adic \'etale cohomology of Drinfeld symmetric spaces of any dimension. This refines the computation of the rational $p$-adic \'etale cohomology from Colmez-Dospinescu-Nizio{\l}. The main tools are: the…

Let $\mathcal{T}$ be an $\mathcal{O}_K$-linear idempotent-complete, small smooth proper stable $\infty$-category, where $K$ is a finite extension of $\mathbb{Q}_p$. We give a Breuil-Kisin module structure on the topological negative cyclic…

We construct a K-theory version of Bhatt-Morrow-Scholze's Breuil-Kisin cohomology theory for $\sO_K$-linear idempotent-complete, small smooth proper stable infinity-categories, where $K$ is a discretely valued extension of $\Q_p$ with…

Faltings' approach in $p$-adic Hodge theory can be schematically divided into two main steps: firstly, a local reduction of the computation of the $p$-adic \'etale cohomology of a smooth variety over a $p$-adic local field to a Galois…

We compute the \'etale $\mathbb{G}_m$-cohomology of some $p$-adic rigid analytic Stein spaces. The computation is done by considering the filtration induced by the subgroup of principal units $U=1+ \mathfrak{m} \mathcal{O}^+$ of…

We introduce rigid syntomic cohomology for strictly semistable log schemes over a complete discrete valuation ring of mixed characteristic (0,p). In case a good compactification exists, we compare this cohomology theory to…

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…

Let $\Lambda$ be a complete noetherian local ring with finite residue field of characteristic $p$ and $K/\mathbb{Q}_p$ a $p$-adic field. We show that, by deformation of the structure sheaf on the (transversal) prismatic site of a bounded…

For varieties over a perfect field of characteristic p, etale cohomology with Q_l-coefficients is a Weil cohomology theory only when l is not equal to p; the corresponding role for l = p is played by Berthelot's rigid cohomology. In that…

Long ago, Fontaine formulated conjectures (now theorems) relating \'etale and de Rham cohomologies of algebraic varieties over $p$-adic fields. In an earlier work we have shown that pro-\'etale and de Rham cohomologies of analytic varieties…

Let $C$ be a complete algebraically closed extension of $\mathbb{Q}_p$, and let $\mathfrak{X}$ be a smooth formal scheme over $\mathcal{O}_C$. By the work of Bhatt--Morrow--Scholze, it is known that when $\mathfrak{X}$ is proper, the length…

In this paper, we prove that for any $p$-adic smooth separated formal scheme $\mathfrak X$, the category of prismatic $F$-crystals with $I$ inverted is equivalent to the category of \'etale $\mathbb Z_p$-local systems on the generic fiber…

The goal of this paper is to study the absolute prismatic cohomology of $p$-adic formal schemes. We do so by recasting the notion of a prismatic crystal on $\mathrm{Spf}(\mathbf{Z}_p)$ in terms of quasicoherent sheaves on a geometric object…

Let $X$ be an integral model at a prime $p$ of a Shimura variety of PEL type having good reduction, associated to a reductive group $G$. To $\mathbb{Z}_p$ reprsententations of the group $G$ can be associated two kinds of sheaves : crystals…

Building on ideas of Berthelot, we develop a crystalline cohomology formalism over divided power rings $(A, I_0, \eta)$ for any ring $A$, allowing $\mathbf{Z}$-flat $A$. For a smooth $A$-scheme $Y$ and a closed subscheme $X$ of $Y$ for…

We continue to study the logarithmic prismatic cohomology defined by the first author, and complete the proof of the de Rham comparison and \'etale comparison generalizing those of Bhatt and Scholze. We prove these comparisons for a derived…

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…