Saved in:
Bibliographic Details
Main Author: Rudenko, Dmytro
Format: Preprint
Published: 2025
Subjects:
Online Access:https://arxiv.org/abs/2509.25294
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866914064710500352
author Rudenko, Dmytro
author_facet Rudenko, Dmytro
contents We show that a map $\mathrm{Spa}\,B \to \mathrm{Spa}\,A$ of sous-perfectoid affinoid adic spaces is étale 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 étale maps of perfectoid spaces. Namely, we show how our proposition implies a sort of noetherian approximation for perfectoid rings from "Étale 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.
format Preprint
id arxiv_https___arxiv_org_abs_2509_25294
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On étale maps of sous-perfectoid adic spaces
Rudenko, Dmytro
Algebraic Geometry
We show that a map $\mathrm{Spa}\,B \to \mathrm{Spa}\,A$ of sous-perfectoid affinoid adic spaces is étale 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 étale maps of perfectoid spaces. Namely, we show how our proposition implies a sort of noetherian approximation for perfectoid rings from "Étale 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.
title On étale maps of sous-perfectoid adic spaces
topic Algebraic Geometry
url https://arxiv.org/abs/2509.25294