On étale maps of sous-perfectoid adic spaces
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _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 |