30 years since the Galois characterisation of ℚₚ — Part I
Abstract
The absolute Galois group of ℚₚ determines its field structure: a field K is p-adically closed if and only if its absolute Galois group is isomorphic to that of ℚₚ. This Galois-theoretic characterisation was proved by Koenigsmann in 1995, building on previous work by Arason, Elman, Jacob, Ware, and Pop. Similar results were obtained by Efrat and further developed in his 2006 book.
Our project aims to provide an optimal proof of this characterisation, incorporating improvements and new developments. These include a revised proof strategy; Efrat's construction of valuations via multiplicative stratification; the Galois characterisation of henselianity; systematic use of the standard decomposition; and the function field analogy of Krasner-Kazhdan-Deligne type. Moreover, we replace arguments that use Galois cohomology with elementary ones.
In this talk, I will focus on two key components of the proof: the construction of valuations from rigid elements, and the role of the function field analogy as developed via the non-standard methods of Jahnke-Kartas.
This is joint work with Jochen Koenigsmann and Benedikt Stock.