Seminar series
Date
Tue, 23 Jan 2024
Time
11:00 - 12:00
Speaker
Leo Gitin
Organisation
University of Oxford

The class of henselian valued fields with non-discrete value group is not well-understood. In 2018, Koenigsmann conjectured that a list of seven natural axioms describes a complete axiomatisation of Q_p^ab, the maximal extension of the p-adic numbers Q_p with abelian Galois group, which is an example of such a valued field. Informed by the recent work of Jahnke-Kartas on the model theory of perfectoid fields, we formulate an eighth axiom (the discriminant property) that is not a consequence of the other seven. Revisiting work by Koenigsmann (the Galois characterisation of Q_p) and Jahnke-Kartas, we give a uniform treatment of their underlying method. In particular, we highlight how this method can yield short, non-standard model-theoretic proofs of known results (e.g. finite extensions of perfectoid fields are perfectoid).

Last updated on 27 Nov 2024, 7:19pm. Please contact us with feedback and comments about this page.