The tilting equivalence as a bi-interpretation
Logic
2025-06-23 v2 Algebraic Geometry
Number Theory
Abstract
We propose a model theoretic interpretation of the theorems about the equivalence between mixed characteristic perfectoid spaces and their tilts.
Keywords
Cite
@article{arxiv.2505.01321,
title = {The tilting equivalence as a bi-interpretation},
author = {Silvain Rideau-Kikuchi and Thomas Scanlon and Pierre Simon},
journal= {arXiv preprint arXiv:2505.01321},
year = {2025}
}
Comments
We corrected the definition two issues in the previous version: - The definition of interpretation was weakened so that they do compose; - The proof of Fontaine-Wintenberger was rewritten to prove (and not use) that algebraic extensions of perfectoid fields are algebraic