Definability via the tilting correspondence

Gessica Alecci, Ihsane Hadeg, Franziska Jahnke +2

We show that arithmetic definability of henselian valuations is preserved by the tilting correspondence. Moreover, we show that if a perfectoid valuation is arithmetically definabl…