English

On \'etale maps of sous-perfectoid adic spaces

Algebraic Geometry 2025-10-01 v1

Abstract

We show that a map SpaBSpaA\mathrm{Spa}\,B \to \mathrm{Spa}\,A of sous-perfectoid affinoid adic spaces is \'etale if and only if there exists a presentation BAX1,,Xn/(f1,,fn)B \cong A\langle X_{1},\dots, X_{n} \rangle/(f_{1},\dots,f_{n}) such that the determinant of the associated Jacobian matrix det(fiXj)1i,jn\mathrm{det}( \frac{\partial f_{i}}{\partial X_{j}})_{1\leqslant i, j\leqslant n} is a unit in BB. 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.

Keywords

Cite

@article{arxiv.2509.25294,
  title  = {On \'etale maps of sous-perfectoid adic spaces},
  author = {Dmytro Rudenko},
  journal= {arXiv preprint arXiv:2509.25294},
  year   = {2025}
}