Perfectoidness criterion via tangent spaces
Determine whether the following conjectural perfectoidness criterion holds: for a K-torsor \tilde{Z} over a smooth rigid analytic variety Z over a p-adic field L, with base change to C = \overline{L}^\wedge, prove that \tilde{Z}_C is perfectoid whenever, for every geometric point \tilde{z}, the Banach–Colmez tangent space T_{\tilde{z}}\tilde{Z} = \overline{T_{\tilde{z}}\tilde{Z}^} is perfectoid. Equivalently, establish the conjecture formulated in terms of the geometric Sen morphism that characterizes perfectoidness of \tilde{Z}_C via perfectoidness of all tangent spaces.
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. In particular, essentially by \cref{remark.tb-is-bc-of-vb}, this conjecture for \tilde{Z} is equivalent to a conjecture of Rodriguez Camargo in terms of the geometric Sen morphism Conjecture 3.3.5, towards which there has been substantial recent progress .