{"id":"arxiv/2607.14517","url":"https://arxiv.org/abs/2607.14517","tags":["math.AG","math.NT"],"score":0,"title":"Formality for rigid-analytic spaces satisfying the weight-monodromy conjecture","domain":"math.AG","source":"arxiv","authors":["Alexander Petrov","Bogdan Zavyalov"],"reviews":0,"subject":"math.AG","summary":"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 satisfies the weight-monodromy conjecture. This is achieved by showing that the underlying $E_\\infty$-algebra of a monodromy-pure $E_\\infty$-algebra in Weil--Deligne representations is formal. We give examples of smooth proper rigid-analytic surfaces whose cohomology algebras are not formal.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-16","reactions":{}}