Integral p-adic Hodge theory of formal schemes in low ramification

Yu Min

We prove that for any proper smooth formal scheme $\mathfrak{X}$ over ${\mathcal{O}}_K$, where ${\mathcal{O}}_K$ is the ring of integers in a complete discretely valued nonarchimedean extensi…