Let $F$ be an unramified extension of $Q_2$. How can I compute the Hilbert symbol (a,b) for $a,b \in F^*$. Here, (a,b) is 1 if $ax^2+by^2=z^2$ has a nontrivial solution, and -1 otherwise.

In the case of $F=Q_2$, I can do this by finding representatives of $Q_2^*/(Q_2^*)^2$, and calculating the Hilbert symbol for each possible pair. However, this becomes a bit unmanageable for larger fields $F$. Is there a better way of approaching this?

  • $\begingroup$ If the degree of $F/\mathbb{Q}_2$ is odd, then I believe that the symbol in question is equal to the symbol for their norms (in $mathbb{Q}_2$). Besides, there are some explicit formulas for the Hilber symbol. $\endgroup$ – Mikhail Bondarko Nov 17 '11 at 10:25
  • 1
    $\begingroup$ There is an old paper of Hasse which gives a general formula, even when the extension $F$ of ${\bf Q}_2$ is not unramified. If I'm able to figure out what he does, I will come back to post an answer here. The Hilbert symbol is also related to the Weil index, but I cannot find the reference right now. $\endgroup$ – Chandan Singh Dalawat Nov 17 '11 at 11:43
  • 2
    $\begingroup$ Hi Soroosh -- see springerlink.com/content/vv0pl74462561216/fulltext.pdf for results of Vostokov and Letsko, for the Hilbert symbol in extensions of 2-adic fields. I generally remember Vostokov's name for explicit formulas for Hilbert symbols - he's written a lot on this. $\endgroup$ – Marty Nov 17 '11 at 16:34
  • $\begingroup$ Explicit reciprocity laws were also proved by Guy Henniart in Sur les lois de réciprocité explicites. I. J. Reine Angew. Math. 329 (1981), 177–203. $\endgroup$ – Chandan Singh Dalawat Nov 17 '11 at 16:52

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.