1
$\begingroup$

Let $p$ be an odd prime, and let $E/\mathbb{Q}_p$ be a finite extension that contains a primitive $p$-th root of unity $\zeta_p$ but not a primitve $p^2$-th root of unity $\zeta_{p^2}$. Let $a,b \in E^*$ such that $[E : \mathbb{Q}_p(a,b,\zeta_p)] = p^m$ for some $m \geq 1$.

Is the Hilbert symbol $(a,b)_p$ calculated over $E$ necessarily equals $1$?

$\endgroup$

1 Answer 1

2
$\begingroup$

No. Take $L/\mathbb{Q}_p$ the unique unramified extension of degree $p$.

Hence, the cyclic algebra $A'=(p,L/\mathbb{Q}_p,\sigma)$ is division (of degree $p$), where $\sigma$ is what you think. Since $\mathbb{Q}_p(\zeta_p)/\mathbb{Q}_p$ has degree $p-1$, which is prime to $p$, $A=A'\otimes_{\mathbb{Q}_p} \mathbb{Q}_p(\zeta_p)$ is still division of degree $p$. In fact, $A=(p,L(\zeta_p)/\mathbb{Q}(\zeta_p),\sigma')$, where $\sigma'$ is the canonical extension of $\sigma$.

The extension $L(\zeta_p)/\mathbb{Q}_(\zeta_p)$ is a cyclic Kummer extension of degree $p$, so you can write it down as $\mathbb{Q}_p(\zeta_p)(\sqrt[p]{d})/\mathbb{Q}_p(\zeta_p)$. Now take $a=p,b=d$, so that $\mathbb{Q}_p(a,b,\zeta_p)=\mathbb{Q}_p(\zeta_p)$.

By construction, $(a,b)_p$ is not $1$ over $\mathbb{Q}_p(\zeta_p).$

Now take $E/\mathbb{Q}_p(\zeta_p)$ any field extension of degree $p$ not containing $\zeta_{p^2}$ and which does not split $A$. Then $(a,b)_p$ is not $1$ over $E$.

$\endgroup$
3
  • $\begingroup$ I am sorry for changing the question, but I wanted that my extension of degree $p^m$ will be Galois. Is it possible for your $E/\mathbb{Q}_p(\zeta_p)$ to be Galois? $\endgroup$
    – Pablo
    May 14, 2017 at 13:27
  • $\begingroup$ I would be surprised if you couldn't choose $E$ to be Galois over $\mathbb{Q}_p(\zeta_p)$. In fact, since the degree of $A$ is prime and the degree of $\mathbb{Q}_p(\zeta_p)$ divides the degree of $A$, $\mathbb{Q}_p(\zeta_p)$ splits $A$ if and only if $E$ is isomorphic to a subfield of $A$. Any extension $E/\mathbb{Q}_p(\zeta_p)$ to be Galois of degree $p$, not containing $A$, and not isomorphic to any subfield of $A$ would do the job. I'm pretty sure a suitable totally ramified Kummer extension of degree $p$ would work. $\endgroup$
    – GreginGre
    May 15, 2017 at 7:46
  • $\begingroup$ The reason I am insisting is because I think I have a proof in the Galois case, so I really want to know if your counterexample works in this situation. $\endgroup$
    – Pablo
    May 15, 2017 at 8:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.