Skip to main content
added answer
Source Link
Kevin Buzzard
  • 41.4k
  • 13
  • 166
  • 245

Addition after seeing Doris' answer; So I think I now have an explicit counterexample.

There's a unique $A_4$ extension $M$ of $\mathbf{Q}_2$ apparently, with inertia the Sylow 2-subgroup and $f=3$. It's the splitting field of $x^4 - 2x^3 + 2x^2 + 2$. Take an element of order 2 in inertia and let $K$ be the corresponding degree 6 extension of $\mathbf{Q}_2$. We have $e=2$ for $K$ so if $L$ existed it would be a quadratic extension. Rather than count masses like Doris suggests, I am just going to do something far more moronic -- I will check using a computer that if $L/\mathbf{Q}_2$ is ramified and quadratic, then $ML/M$ is ramified and hence $KL/K$ must be too. There is probably a sensible way to do this but I just checked all 6 cases explicitly on a computer.


Addition after seeing Doris' answer; So I think I now have an explicit counterexample.

There's a unique $A_4$ extension $M$ of $\mathbf{Q}_2$ apparently, with inertia the Sylow 2-subgroup and $f=3$. It's the splitting field of $x^4 - 2x^3 + 2x^2 + 2$. Take an element of order 2 in inertia and let $K$ be the corresponding degree 6 extension of $\mathbf{Q}_2$. We have $e=2$ for $K$ so if $L$ existed it would be a quadratic extension. Rather than count masses like Doris suggests, I am just going to do something far more moronic -- I will check using a computer that if $L/\mathbf{Q}_2$ is ramified and quadratic, then $ML/M$ is ramified and hence $KL/K$ must be too. There is probably a sensible way to do this but I just checked all 6 cases explicitly on a computer.

Source Link
Kevin Buzzard
  • 41.4k
  • 13
  • 166
  • 245

This is not a complete answer, but perhaps it's a roadmap to a counterexample.

My strategy is to consider some non-Galois $K/\mathbf{Q}_p$ for which the result is true, and let's make some deductions about what $K$ must look like in this situation. Then let's find a $K$ that doesn't look like this.

Let $M/\mathbf{Q}_p$ denote the Galois closure of $K/\mathbf{Q}_p$. We're assuming the result is true, so let's choose $d$ and $L$ as in the question. Every field in the question is a subfield of $M.F_d$. Note also that the extension $K.F_d/L$ is unramified, and a composite of unramified extensions is unramified, so I am free to change $d$ to any multiple of $d$ and in particular I can assume that $d$ is a multiple of the degree of the maximal unramified subextension $M_0/\mathbf{Q}_p$ of $M/\mathbf{Q}_p$. In fact I really want to take $d=\infty$ and let $F_\infty$ denote the maximal unramified extension of $\mathbf{Q}_p$ in a fixed algebraic closure of $M$. So let's consider $M.F_\infty$, an infinite Galois extension of $\mathbf{Q}_p$, and let's see what the assertion that $L$ exists tells us about this situation.

We now have $F_\infty\subseteq L.F_\infty\subseteq K.F_\infty\subseteq M.F_\infty$. Recall that $M/\mathbf{Q}_p$ is Galois, with group $D$ say, and say $I$ is the inertia subgroup of $D$. Then $M.F_\infty/F_\infty$ is Galois with group $I$, and $M.F_\infty/\mathbf{Q}_p$ is Galois with group $=:D_M$, a semidirect product of $I$ and $\widehat{\mathbf{Z}}$ (with $I$ normal). The subfields $L.F_\infty$ and $K.F_\infty$ of the extension $M.F_\infty/F_\infty$ correspond to subgroups $I_L$ and $I_K$ of $I$, with $I_K\subseteq I_L$.

The tension in the situation is that $L/\mathbf{Q}_p$ is totally ramified -- we've not used this yet. Let's work in $Gal(M.F_\infty/\mathbf{Q}_p)$; recall this is a group with a finite subgroup $I$ and quotient $\widehat{\mathbf{Z}}$. The existence of $L$ from a Galois theory point of view tells us that there's a subgroup $D_L$ of this group with the property that $I_L$ is normal in $D_L$ (as $L.F_\infty/L$ is Galois) and such that the natural map from $Gal(L.F_\infty/L)$ to $Gal(F_\infty/\mathbf{Q}_p)$ is an isomorphism (here is where we use $L/\mathbf{Q}_p$ totally ramified).

In particular the normaliser of $I_L$ in $D_M$ must be quite big -- and I think that this is too much to ask. If $\sigma$ is a lift of Frobenius in $D_M$ then I think that $\sigma$ must normalise $I_L$. Note that $I_K$ and $I_L$ are both subgroups of $I$ and we know exactly how $\sigma$ acts on this, it's just the action coming from $D=Gal(M/\mathbf{Q_p})$.

So now let me imagine that I can choose $M/\mathbf{Q}_p$ such that $I=(\mathbf{Z}/p\mathbf{Z})^2$ with Frobenius acting as an automorphism of $I$ of order $p+1$ which cycles around all of the subgroups of order $p$. I think that I can explicitly build such an extension when $p=2$ by using Kummer theory on the unramified degree 3 extension of $\mathbf{Q}_2$.

Then if $I_K$ corresponds to a degree $p$ subgroup of $I$, we cannot have $I_L=I_K$ as the normaliser isn't big enough to contain $\sigma$, so we must have $I_L=I$. But this is bad because now $L$ corresponds to a subgroup of $D_M$ that contains $I$ and some lift of $\sigma$.

I have to see a student right now but what do you think? Sorry to be so sketchy!