PreprintCC BY-NC-ND 4.0arXiv
Topological transcendence degree and the dimension problem for perfectoid spaces
Abstract
Let K be a perfectoid field of characteristic p with countable value group (for example, K=βpβ). We study Zariski-closed subsets Zβ πΉKn,perfdof the n-dimensional perfectoid closed unit ball πΉKn,perfd over K. We use an example of Gleason, and its generalization obtained in the authors' previous work, to show that two natural notions of dimension for such Zariski-closed subsets, the Krull dimension dim(Z) and Huber's iterated transcendence degree dim.tr(Z), do not coincide, and that the gap between them can be arbitrarily large.
Related
- The CR Nirenberg Problem, Part II: Existence and Topological Degree
- Automorphic Transcendence Degree, Growth, and Skew Normalization
- Poset dimension and maximum comparability degree
- Explicit M-polynomial and degree-based topological indices of Hanoi graphs
- Entropy measures of degree-based topological indices for hyper carbon nanotubes
BibTeX
@misc{dine2026topological,
title = {{Topological transcendence degree and the dimension problem for perfectoid spaces}},
author = {Dimitri Dine and Jack J Garzella},
howpublished = {arXiv},
year = {2026},
month = nov,
doi = {10.48550/arxiv.2611.01418},
eprint = {2611.01418},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2611.01418},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Topological transcendence degree and the dimension problem for perfectoid spaces
AU - Dimitri Dine
AU - Jack J Garzella
PY - 2026
DA - 2026/11/01
PB - arXiv
DO - 10.48550/arxiv.2611.01418
UR - https://arxiv.org/abs/2611.01418
AB - Let K be a perfectoid field of characteristic p with countable value group (for example, K=β_p^β). We study Zariski-closed subsets Zβ πΉ_K^n,perfdof the n-dimensional perfectoid closed unit ball πΉ_K^n,perfd over K. We use an example of Gleason, and its generalization obtained in the authors' previous work, to show that two natural notions of dimension for such Zariski-closed subsets, the Krull dimension dim(Z) and Huber's iterated transcendence degree dim.tr(Z), do not coincide, and that the gap between them can be arbitrarily large.
ER -