pith. sign in

arxiv: 2602.08095 · v2 · submitted 2026-02-08 · 🧮 math.NT · math.AC· math.LO

The Galois characterisation of p-adically closed fields -- A modern perspective

Leo Gitin , Jochen Koenigsmann , Benedikt Stock This is my paper

Pith reviewed 2026-05-16 05:54 UTC · model grok-4.3

classification 🧮 math.NT math.ACmath.LO
keywords p-adically closed fieldsabsolute Galois grouphenselianityvalued fieldsGalois characterisationPop conjecture
0
0 comments X

The pith

A field is p-adically closed if and only if its absolute Galois group is isomorphic to that of Q_p.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves that a field is p-adically closed precisely when its absolute Galois group matches the absolute Galois group of the p-adic numbers Q_p. This gives a p-adic counterpart to the 1927 Artin-Schreier theorem that real closed fields have absolute Galois group of order two. The new proof first establishes a Galois-theoretic test for henselianity in valued fields and then reduces the main claim to known facts about Q_p. The argument is presented as elementary and self-contained by drawing only on advances in valued field theory from the last 25 years. A reader would care because the result supplies a purely group-theoretic way to recognize p-adic closures without needing to exhibit a valuation or invoke cohomology.

Core claim

The authors prove that a field K is p-adically closed if and only if its absolute Galois group is isomorphic to the absolute Galois group of Q_p. The argument proceeds by first giving a Galois characterisation of henselianity that does not rely on Galois cohomology, then using that characterisation to reduce the problem to the known structure of the absolute Galois group of Q_p. The proof is elementary and self-contained and draws on developments in the theory of valued fields over the last 25 years.

What carries the argument

A Galois characterisation of henselianity, which determines whether a valued field is henselian solely from the structure of its absolute Galois group.

If this is right

  • p-adically closed fields can be recognized using only data from their absolute Galois groups.
  • The characterisation supplies an elementary route to the p-adic analogue of the Artin-Schreier theorem.
  • Henselianity itself becomes detectable from Galois group information alone.
  • The same valued-field methods can be applied systematically to related recognition problems.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The Galois test for henselianity might allow identification of p-adically closed fields inside larger global fields without first constructing an explicit valuation.
  • Similar Galois-only criteria could be developed for other classes of henselian valued fields beyond the p-adic case.
  • The reduction to Galois data may simplify certain model-theoretic transfer arguments between local fields.

Load-bearing premise

Recent advances in the theory of valued fields supply a Galois-theoretic criterion for henselianity that works without Galois cohomology.

What would settle it

A concrete counterexample would be any field whose absolute Galois group is isomorphic to that of Q_p yet which fails to be p-adically closed, or any p-adically closed field whose absolute Galois group differs from that of Q_p.

read the original abstract

In 1927, Artin and Schreier showed that a field is real closed if and only if its absolute Galois group has order two. Inspired by this characterisation and drawing on earlier work of Neukirch, Pop conjectured the following $p$-adic analogue: a field is $p$-adically closed if and only if its absolute Galois group is isomorphic to that of $\mathbb{Q}_p$. In 1995, the conjecture was independently solved by Efrat for $p \ne 2$ and by Koenigsmann in full generality. Using novel techniques in the theory of valued fields developed over the last 25 years, we give a new, elementary, and self-contained proof of this theorem, with a Galois characterisation of henselianity at the heart of the proof and without relying on Galois cohomology. We further highlight connections to the recent work of Jahnke-Kartas on perfectoid fields and model-theoretic transfer techniques. We provide a systematic account of all of our methods to encourage further investigations.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

1 major / 3 minor

Summary. The manuscript re-proves the Efrat-Koenigsmann theorem: a field K is p-adically closed if and only if its absolute Galois group is isomorphic to Gal(Q_p). The argument first establishes a Galois-theoretic characterisation of henselianity using valued-field techniques developed since 1995, then lifts the characterisation to the p-adic closure property. The proof is presented as elementary, self-contained, and independent of Galois cohomology, with additional discussion of links to perfectoid fields and model-theoretic transfer.

Significance. If the central derivation holds, the work supplies a modern, accessible route to a fundamental result in field arithmetic, analogous to the Artin-Schreier theorem for real-closed fields. The explicit avoidance of cohomology and the reliance on recent valued-field machinery constitute a genuine technical advance that may enable further Galois-theoretic investigations of henselian and p-adically closed fields.

major comments (1)
  1. §3, Theorem 3.4: the lifting step from the henselianity characterisation to the full p-adic closure property requires an explicit verification that the isomorphism of absolute Galois groups forces the value group and residue field to satisfy the p-adic axioms; the current sketch leaves the precise transfer of the p-adic valuation data implicit.
minor comments (3)
  1. Introduction, paragraph 3: the phrase 'novel techniques developed over the last 25 years' should be accompanied by a short enumerated list of the specific results invoked (e.g., which theorems on henselianity or defectless extensions are treated as black boxes).
  2. Notation: the symbol for the absolute Galois group is not uniformly defined on first appearance; a single global definition (e.g., G_K) should be fixed before §2.
  3. §6: the discussion of Jahnke-Kartas perfectoid fields would benefit from a one-paragraph comparison table highlighting which model-theoretic transfer principles are reused versus newly adapted.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the positive assessment and the constructive comment on our manuscript. We address the single major comment below and will incorporate the requested clarification in the revised version.

read point-by-point responses

  1. Referee: §3, Theorem 3.4: the lifting step from the henselianity characterisation to the full p-adic closure property requires an explicit verification that the isomorphism of absolute Galois groups forces the value group and residue field to satisfy the p-adic axioms; the current sketch leaves the precise transfer of the p-adic valuation data implicit.

    Authors: We agree that the lifting argument in Theorem 3.4 would be strengthened by an explicit verification of the transfer of p-adic valuation data. In the revised manuscript we will insert a short additional lemma immediately preceding the proof of Theorem 3.4. The lemma will show, using only the henselianity characterisation already established and the assumption that the absolute Galois groups are isomorphic, that the value group must be isomorphic to ℤ (via the unique ordering of the value group compatible with the Galois action) and that the residue field must be the prime field 𝔽_p (via the fact that the residue-field Galois group is a quotient of the absolute Galois group and must therefore be trivial). This makes the passage from henselianity to the full p-adic closure property fully explicit and self-contained. revision: yes

Circularity Check

0 steps flagged

No significant circularity identified

full rationale

The paper presents a new, elementary, self-contained proof of the 1995 Efrat-Koenigsmann theorem using recent valued-field techniques for a Galois characterisation of henselianity without cohomology. The derivation does not reduce any central claim to self-citation, fitted parameters, or definitional equivalence; the 1995 result is cited only as historical context while the current argument is independent and externally verifiable via the stated methods. No load-bearing step matches the enumerated circularity patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The paper rests on standard axioms of field theory and Galois theory together with domain assumptions about valued fields; no free parameters or invented entities are introduced.

axioms (2)
  • domain assumption Absolute Galois groups of fields encode arithmetic information in the manner required for the characterization
    Invoked as the basis for the p-adic analogue of the Artin-Schreier theorem.
  • domain assumption Recent techniques in the theory of valued fields yield a Galois-theoretic criterion for henselianity
    Central technical assumption stated in the abstract.

pith-pipeline@v0.9.0 · 5494 in / 1353 out tokens · 47429 ms · 2026-05-16T05:54:17.398041+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.