Perfectoidness criterion via tangent spaces for infinite-level torsors
Establish that for a K-torsor \tilde{Z} over a smooth rigid analytic variety Z/L (as introduced in the paper), the base change \tilde{Z}_C to C=\overline{L}^{\wedge} is perfectoid whenever, for every geometric point \tilde{z}, the inscribed tangent space T_{\tilde{z}\tilde{Z}}=\overline{T_{\tilde{z}\tilde{Z}^{\,}}} is a perfectoid Banach–Colmez space. In other words, determine whether perfectoidness of \tilde{Z}_C is implied by perfectoidness of all inscribed tangent spaces at geometric points.
References
For \tilde{Z} as in \cref{ss.intro-main-results} and C=\overline{L}\wedge, it is natural to conjecture that \tilde{Z}C is perfectoid if, for every geometric point \tilde{z}, the Tangent Space T{\tilde{z} \tilde{Z}=\overline{T_{\tilde{z} \tilde{Z}}} is perfectoid.