The $A_{inf}$-cohomology in the semistable case

Abstract

For a proper, smooth scheme $X$ over a $p$-adic field $K$, we show that any proper, flat, semistable ${\mathcal{O}}_K$-model $\mathcal{X}$ of $X$ whose logarithmic de Rham cohomology is torsion free determines the same ${\mathcal{O}}_K$-lattice inside $H_{dR}^i(X/K)$ and, moreover, that this lattice is functorial in $X$. For this, we extend the results of Bhatt--Morrow--Scholze on the construction and the analysis of an $A_{inf}$-valued cohomology theory of $p$-adic formal, proper, smooth ${\mathcal{O}}_{\overline{K}}$-schemes $\mathfrak{X}$ to the semistable case. The relation of the $A_{inf}$-cohomology to the $p$-adic étale and the logarithmic crystalline cohomologies allows us to reprove the semistable conjecture of Fontaine--Jannsen.

78 pages; final version, to appear in Compositio Mathematica

References in corpus (1)

• The p-adic Hodge decomposition according to Beilinson

Cited by in corpus (3)

• Morphismes de périodes et cohomologie syntomique
• Integral $p$-adic non-abelian Hodge theory for small representations
• p-adic etale cohomology of period domains