Formality for rigid-analytic spaces satisfying the weight-monodromy conjecture

Alexander Petrov, Bogdan Zavyalov

We prove that étale and de Rham cohomology algebras of a smooth proper rigid-analytic space over a finite extension of ${\mathbf{Q}}_p$ are formal if the rigid-analytic space satisfi…