On \'etale maps of sous-perfectoid adic spaces

Abstract

We show that a map $\mathrm{Spa}\,B \to \mathrm{Spa}\,A$ of sous-perfectoid affinoid adic spaces is \'etale if and only if there exists a presentation $B \cong A\langle X_{1},\dots, X_{n} \rangle/(f_{1},\dots,f_{n})$ such that the determinant of the associated Jacobian matrix $\mathrm{det}( \frac{\partial f_{i}}{\partial X_{j}})_{1\leqslant i, j\leqslant n}$ is a unit in $B$. This allows us to provide some technical details to an important claim from the theory of \'etale maps of perfectoid spaces. Namely, we show how our proposition implies a sort of noetherian approximation for perfectoid rings from "\'Etale cohomology of diamonds" by Peter Scholze [S17]. Apart from that, we give an explicit local description of the sheaf of differentials associated to a smooth map of sous-perfectoid adic spaces, as defined by Fargues-Scholze in [FS], in terms of the module of differentials.