Building on Leo’s talk last week, I will present the full Galois characterisation of henselianity and introduce some of the ‘explicit’ ingredients he referred to during his presentation. In particular, I will describe a Galois cohomology-inspired criterion for distinguishing between different characteristics. I will then outline the full proof of the Galois characterisation of p-adically closed fields, indicating how each of the ingredients enters the argument.

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.