Mon, 10 Feb 2025
16:00
C4

A new axiom for $\mathbb{Q}_p^{ab}$ and non-standard methods for perfectoid fields

Leo Gitin
(University of Oxford)
Abstract

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 $\mathbb{Q}_p^{ab}$, the maximal extension of the $p$-adic numbers $\mathbb{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 $\mathbb{Q}_p$) and Jahnke-Kartas, we give a uniform treatment of their underlying method. In particular, we highlight how this method yields short, non-standard model-theoretic proofs of known results (e.g. finite extensions of perfectoid fields are perfectoid).

Trust-based Consensus in Multi-Agent Reinforcement Learning Systems
Fung, H DARVARIU, V Hailes, S Musolesi, M
Graph Reinforcement Learning for Combinatorial Optimization: A Survey and Unifying Perspective
Darvariu, V Hailes, S Musolesi, M Transactions on Machine Learning Research volume 2024 (01 Jan 2024)
Dynamic Network Reconfiguration for Entropy Maximization using Deep
Reinforcement Learning
Doorman, C Darvariu, V Hailes, S Musolesi, M (26 May 2022) http://arxiv.org/abs/2205.13578v2
Graph Reinforcement Learning for Operator Selection in the ALNS
Metaheuristic
Johnn, S Darvariu, V Handl, J Kalcsics, J (28 Feb 2023) http://arxiv.org/abs/2302.14678v1
Subscribe to