[Math] Local inverse Galois problem

algebraic-number-theoryfieldsfinite-groupsgalois-theorylocal-fields

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedean field $K$ has solvable (in fact supersolvable) Galois group $G$. One sees this by using the ramification filtration $G_i=\{g\in G: g\beta\equiv \beta \pmod {\varpi_K^i}\}$.

More nontrivially, local class field theory tells us if $L/K$ is abelian then $G$ must be a quotient of $K^\times$, whose structure as an abelian group is known explicitly.

In any case, this means the inverse Galois problem over $K$ is quite circumscribed. So is it known precisely which finite groups are Galois groups over $K$?

Best Answer

The short answer is (as far as I am aware) no, but there is a lot that is known. Jannsen and Wingberg have given an explicit presentation for $Gal(\overline{K}/K)$ in the case that the residue characteristic is not $2$ (published in Inventiones Math in 1982/1983), and Volker (1984, Crelle) handles the case when $K$ has residue characteristic $2$ and $\sqrt{-1} \in K$. This does not, however, make it trivial to determine which finite groups are quotients of $Gal(\overline{K}/K)$. Some more information can be obtained from Section VII.5 of "Cohomology of Number Fields" by Neukirch, Schmidt and Wingberg. Here's a paraphrase.

If $K$ is a local nonarchimedean field with residue field of characteristic $p$ (and order $q$), let $G = Gal(\overline{K}/K)$, $T$ be the inertia group, and $V$ be the ramification group. Then $G/T \cong \hat{\mathbb{Z}}$, $T/V \cong \prod_{\ell \ne p} \mathbb{Z}_{\ell}$, and $V$ is a free pro-$p$ group of countably infinite rank. Iwasawa showed that $G/V$ is a profinite group with two generators $\sigma$ and $\tau$ so that $\sigma \tau \sigma^{-1} = \tau^{q}$. Also, the maximal pro-$\ell$ quotient of $G$ is known for all $\ell$. For example, if $\mu_{\ell} \not\subseteq K$ and $\ell \ne p$, the maximal pro-$\ell$ quotient is $\mathbb{Z}_{\ell}$ (i.e. for each positive integer $k$, there is a unique Galois extension $L/K$ of degree $\ell^{k}$, namely the unramified one).

Related Question