# Local Inverse Galois Problem

It's a basic fact that a finite Galois extension $L/K$ of a local nonarchimedian 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$?

-
Has anyone tried to solve embedding problems? – Timo Keller Jun 25 '14 at 16:29

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).

-

One restriction is, e.g. that the groups occuring as a Galois extension of $K/\mathbf{Q}_p$ have to be generated by $\leq n(K)$ elements for some $n(K) \in \mathbf{N}$ depending on $K$. More precisely, one has $n(K) \leq N + 3$ with $N = [K:\mathbf{Q}_p]$ by [Neukirch-Schmidt-Wingberg], Theorem (7.5.14) (for $p > 2$).

-

Regarding embedding problems: I have found http://link.springer.com/article/10.1007%2Fs10958-009-9588-7 ("The embedding problem with non-Abelian kernel for local fields", Journal of Mathematical Sciences, September 2009, Volume 161, Issue 4, pp 553-557; Zentralblatt Math: https://zbmath.org/?q=an:05660150), which I unfortunately do not have access to.

-