The m-step solvable anabelian geometry of number fields

DOI10.1515/CRELLE-2022-0025MaRDI QIDQ6325605arXivFDO

Publication date 19 September 2019

Galois theory (11R32) Class field theory (11R37) Galois cohomology (11R34)

Abstract: Given a number field

K

and an integer

m g e q 0

, let

K_{m}

denote the maximal

m

-step solvable Galois extension of

K

and write

G_{K}^{m}

for the maximal

m

-step solvable Galois group Gal

(K_{m} / K)

of

K

. In this paper, we prove that the isomorphy type of

K

is determined by the isomorphy type of

G_{K}^{3}

. Further, we prove that

K_{m} / K

is determined functorially by

G_{K}^{m + 3}

(resp.

G_{K}^{m + 4}

) for

m g e q 2

(resp.

m l e q 1

). This is a substantial sharpening of a famous theorem of Neukirch and Uchida. A key step in our proof is the establishment of the so-called local theory, which in our context characterises group-theoretically the set of decomposition groups (at nonarchimedean primes) in

G_{K}^{m}

, starting from

G_{K}^{m + 2}

.

This page was built for publication: The $m$-step solvable anabelian geometry of number fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6325605)