We give proofs of de Rham comparison isomorphisms for rigid-analytic varieties, with coefficients and in families. This relies on the theory of perfectoid spaces. Another new ingredient is the pro-étale site, which makes all constructions completely functorial.
No takes yet. Share an insight, caveat, or question.
Peter Scholze (2013) studied this question.