Definability via the tilting correspondence
Logic
2026-05-25 v1 Number Theory
Abstract
We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definable, then no parameters are needed. We also investigate whether these definitions can be chosen uniformly, and discuss the required quantifier complexity.
Keywords
Cite
@article{arxiv.2605.23466,
title = {Definability via the tilting correspondence},
author = {Gessica Alecci and Ihsane Hadeg and Franziska Jahnke and Margarete Ketelsen and Isabella Negrini},
journal= {arXiv preprint arXiv:2605.23466},
year = {2026}
}
Comments
This work presents the results of the project "Arithmetic Definability of Henselian Valuations", one of the projects of the event "Women in Numbers Europe 5" which took place in Split, Croatia, in summer 2025