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_{\text{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_{\text{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_{\text{inf}}$-cohomology to the $p$-adic étale and the logarithmic crystalline cohomologies allows us to reprove the semistable conjecture of Fontaine–Jannsen.

We complete our proof that given an overconvergent F-isocrystal on a variety over a field of positive characteristic, one can pull back along a suitable generically finite cover to obtain an isocrystal which extends, with logarithmic singularities and nilpotent residues, to some complete variety. We also establish an analogue for F-isocrystals overconvergent inside a partial compactification. By previous results, this reduces to solving a local problem in a neighborhood of a valuation of height 1 and residual transcendence degree zero. We do this by studying the variation of some numerical invariants attached to p-adic differential modules, analogous to the irregularity of a complex meromorphic connection. This allows for an induction on the transcendence defect of the valuation, i.e., the discrepancy between the dimension of the variety and the rational rank of the valuation.

We resolve the local semistable reduction problem for overconvergent F-isocrystals at monomial valuations (Abhyankar valuations of height 1 and residue transcendence degree zero). We first introduce a higher-dimensional analogue of the generic radius of convergence for a p-adic differential module, which obeys a convexity property. We then combine this convexity property with a form of the p-adic local monodromy theorem for so-called fake annuli.

Let $X$ be a smooth variety over a field $k$ of characteristic $p>0$, and let $\mathcal{E}$ be an overconvergent isocrystal on $X$. We establish a criterion for the existence of a ‘canonical logarithmic extension’ of $\mathcal{E}$ to a smooth compactification $\overline{X}$ of $X$ whose complement is a strict normal crossings divisor. We also obtain some related results, including a form of Zariski–Nagata purity for isocrystals.