3
$\begingroup$

Consider the maximal unramified extension $\mathbb{Q}_p^{nr}$ of the field $\mathbb{Q}_p$ of $p$-adic numbers. Its residue field is equal to $\overline{\mathbb{F}_p}$. Consider now some field $K$ satisfying $\mathbb{F}_p \subseteq K \subseteq \overline{\mathbb{F}_p}$ and consider the corresponding unramified extension $F$ of $\mathbb{Q}_p$, which is of course contained in $\mathbb{Q}_p^{nr}$.

Under what conditions on $K$ is the field $F$ dense in $\mathbb{Q}_p^{nr}$ for the topology given by the valuation?

  • 0
    Sorry, that was sloppy. Better now? :-)2012-05-25

1 Answers 1

2

The question makes sense: if $K \subset \overline{\mathbb F}_p$, then $K^{\times}$ is a subgroup of $\overline{\mathbb F}_p$, a group of roots of unity. We can then take $F$ to be $\mathbb Q_p$ adjoint the corresponding group of roots of unity in $\mathbb Q_p^{ur}$.

But $F$ will then be closed in $\mathbb Q_p^{ur}$. (The $p$-adic completion $\hat{F}$ of $F$ is the fraction field of the ring of Witt vectors $W(K)$, and so is closed in the completion $\widehat{\mathbb Q_p^{ur}}$, which is the fraction field of the ring of Witt vectors of $\overline{\mathbb F}_p$. My claim then follows from the formula $F = \hat{F} \cap \mathbb Q_p^{ur}$.)