Related papers: Integral $p$-adic Hodge theory - announcement

I make some remarks on Hodge symmetry, and prove for instance that if $k$ is a perfect field of characteristic $p>0$ and $X/k$ smooth, proper and Hodge-Witt scheme, and Hodge de Rham sequence of $X$ degenerates at $E_1$ and $X$ has…

We prove some injectivity, torsion-free, and vanishing theorems for simple normal crossing pairs. Our results heavily depend on the theory of mixed Hodge structures on compact support cohomology groups. We also treat several basic…

We prove that every perfectoid tower can be decomposed into a fiber product of perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we show that separated perfectoid towers are reduced. We…

Consider a bounded prism $(A,I)$ and a bounded quasi-l.c.i algebra $R$ over $\overline{A}$. In this paper, for any prism $S/A$ with a surjection $S\to R$ such that $\widehat{\mathbb L}_{\overline{S}/\overline{A}}$ is a $p$-completely flat…

We compute, in a stable range, the arithmetic p-adic etale cohomology of smooth rigid analytic and dagger varieties (without any assumption on the existence of a nice integral model) in terms of differential forms using syntomic methods.…

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 compute the p-torsion and p-adic etale cohomologies with compact support of period domains over local fields in the case of basic isocrystals for quasi-split reductive groups. For the p-torsion case, we follow the method used by Orlik in…

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 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…

For a proper, flat, generically smooth scheme $X$ over a complete DVR with finite residue field of characteristic $p$, we define a specialization morphism from the rigid cohomology of the geometric special fibre to $D_{crys}$ of the…

In his foundational study of $p$-adic Hodge theory, Faltings introduced the method of almost \'etale extensions to establish fundamental comparison results of various $p$-adic cohomology theories. Scholze introduced the tilting operations…

Motivated by applications in point counting algorithms using p-adic cohomology, we give an explicit description of integral lattices in rigid cohomology spaces that p-adically approximate logarithmic crystalline cohomology modules. These…

In this article the \'etale cohomology of constructible torsion sheaves on the \'etale site of the algebraic resp. adic Fargues-Fontaine curve is analyzed. In the $\ell\neq p$-torsion case, two conjectures of Fargues are verified: vanishing…

Let $X$ be a quasi-compact quasi-separated $p$-adic formal scheme that is smooth either over a perfectoid $\mathbb{Z}_p$-algebra or over some ring of integers of a $p$-adic field. We construct a fully faithful functor from perfect complexes…

For an algebraically closed non-archimedean extension $C/\mathbb{Q}_p$, we define a Tannakian category of $p$-adic Hodge structures over $C$ that is a local, $p$-adic analog of the global, archimedean category of $\mathbb{Q}$-Hodge…

We construct Hodge filtered cohomology groups for complex manifolds that combine the topological information of generalized cohomology theories with geometric data of Hodge filtered holomorphic forms. This theory provides a natural…

This is a survey of some recent developments concerning the p-adic cohomology of algebraic varieties over fields of positive characteristic and local fields of mixed characteristic, plus some related areas like p-adic Hodge theory.

Let $\frakX$ be a smooth $p$-adic formal scheme over $\calO_C$ with rigid generic fiber $X$. In this paper, we construct a new period sheaf $\calO\widehat \bC_{\pd}^+$ on $X_{\proet}$ and use it to establish an integral $p$-adic Simspon…

Let $\mathfrak{X}$ be a smooth connected $p$-adic formal scheme. Based on the prismatic description of crystalline local systems, we prove an analogue of Fontaine's conjecture for torsion crystalline local systems on the generic fiber of…

We show Poincar\'e Duality for $\mathbf{F}_p$-\'etale cohomology of a smooth proper rigid-analytic space over a non-archimedean field $K$ of mixed characteristic $(0, p)$. It positively answers the question raised by P. Scholze in [Sch13a].…