Past exam of the mathematics course of the University of Cambridge / 2005 / iii / Paper 31 / 2

A useful strong form of the Hensel lemma is the following. Let $F$ be a complete discretely valued field, with valuation ring $\mathcal{O}$, normalized valuation $v$, and $P\in \mathcal{O}[T]$. If $a_0\in \mathcal{O}$ satisfiesthen there is a unique root $a\in \mathcal{O}$ in the ball $v(a-a_0)>v(P^{\prime }(a_0))$. When $P(a_0)=0$ the assertion is immediate; otherwise the condition includes $P^{\prime }(a_0)\ne 0$.

Here is a proof by Newton iteration over a valued field. Write $c=v(P^{\prime }(a_0))$ and $t_0=v(P(a_0))>2c$, and setSuppose $v(P^{\prime }(a_j))=c$ and $t_j=v(P(a_j))>2c$. The correction has valuation $t_j-c>c\ge 0$, so $a_{j+1}\in \mathcal{O}$. Taylor expansion over $\mathcal{O}$ cancels the linear term and givesThus the derivative still has valuation $c$, and $t_{j+1}-2c\ge 2(t_j-2c)$. Unless an exact root is reached earlier, the corrections tend to zero with exponentially increasing valuations. Completeness gives $a_j\to a$, and continuity gives $P(a)=0$ and $v(a-a_0)=t_0-c>c$. For uniqueness, if $a,b$ are in this ball, polynomial expansion around $a_0$ givesThe second factor has valuation exactly $c$ and is nonzero, so two roots in the ball must be equal. In particular, a simple residue root lifts uniquely: $v(P(a_0))\ge 1$ and $v(P^{\prime }(a_0))=0$ satisfy the hypothesis.

For the square-class group of a p-adic field, write every element as $p^{r}u$ with $u\in {\mathbb{Z}}_p^{\times }$. Multiplication by a square changes $r$ by an even integer, so valuation parity gives one independent factor $C_2$.

For odd $p$, a unit $u$ is a square if and only if its residue is a square in ${\mathbb{F}}_p^{\times }$. Necessity follows by reduction; sufficiency applies the simple-root Hensel lemma to $T^2-u$, whose derivative is a unit at a nonzero residue root. The cyclic group ${\mathbb{F}}_p^{\times }$ has square subgroup of index two. If $u_0$ is a unit with nonsquare residue, thenFor $p=2$, every odd square is one modulo eight. Conversely, if $u\equiv 1(\mathrm{mod}8)$, take $P(T)=T^2-u$ and $a_0=1$. Then $v_2(P(1))\ge 3>2v_2(P^{\prime }(1))=2$, so the strong Hensel lemma gives a square root. Thus unit square classes are exactly their residues $1,3,5,7$ modulo eight. The classes $-1$ and $5$ generate this group of order four independently, and valuation parity supplies the class $2$. Hence

For $a,b\in {\mathbb{Q}}_p^{\times }$, the quadratic Hilbert symbol $(a,b{)}_p$ is one if $b$ is a field norm from ${\mathbb{Q}}_p(\sqrt{a})$, and minus one otherwise; a square $a$ gives the trivial extension and symbol one. It depends only on the two square classes. Equivalently, the conic $z^2=a{x}^2+b{y}^2$ has a nonzero rational point precisely when the symbol is one. Interchanging $a$ and $b$ in the conic gives $(a,b{)}_p=(b,a{)}_p$. The Hilbert norm residue symbol is a group homomorphism in each argument; for nonsquare $a$, the cyclic local norm index makes its group kernel a subgroup of index two. The resulting pairing on square classes is nondegenerate. Alsosince $N(\sqrt{a})=-a$. In the language of local class field theory, $(a,b{)}_p={\mathrm{Art}}_p(b)(\sqrt{a})/\sqrt{a}$; in the Brauer group, it records whether the quaternion cyclic algebra $(a,b)$ splits. These are compatible norm-obstruction descriptions.

An unramified extension of local fields of degree two has norm group consisting precisely of elements with even valuation. Indeed,and the norms on units are surjective. For the latter assertion, the norm on the finite residue fields is surjective. On successive higher principal-unit groups, the congruenceallows one to correct a proposed unit norm one digit at a time: the residue field trace is surjective, and completeness makes the corrections converge. An unramified quadratic field is unique up to isomorphism. Therefore, if $d$ is its defining nonsquare class,

For odd $p$, choose the nonsquare unit $u_0$ from part (i). The polynomial $T^2-u_0$ has irreducible separable reduction, so it defines the unramified quadratic extension. ThusThe trivial class is included in ${\Delta }_2$, since a degree-one extension is unramified. The two units pair trivially, while $(u_0,p{)}_p=-1$. Any class outside ${\Delta }_1$ has odd valuation and consequently pairs nontrivially with $u_0$. This proves directly

For $p=2$, the unit square classes from part (i) give ${\Delta }_1=\{1,-1,5,-5\}$. The element $\omega =(1+\sqrt{5})/2$ satisfies $T^2-T-1$; its reduction $T^2+T+1$ is irreducible and separable over ${\mathbb{F}}_2$. This shows that ${\mathbb{Q}}_2(\sqrt{5})$ is unramified of degree two, givingFor a fully explicit pairing check, use the generators $(-1,5,2)$. We have $(-1,5{)}_2=1$ and $(-1,2{)}_2=1$, since $5=N(1+2i)$ and $2=N(1+i)$ from ${\mathbb{Q}}_2(i)$. But $(-1,-1{)}_2=-1$: a norm equal to $-1$ would be a sum of two squares. If either summand had negative valuation, the sum would have negative valuation (equal negative valuations give valuation $1-2r<0$); if both were integral, their squares could not sum to $-1\equiv 3(\mathrm{mod}4)$. Finally, the unramified norm criterion gives $(5,2{)}_2=-1$. The identity $(a,b{)}_2=(b,a{)}_2$ and $(a,a{)}_2=(a,-1{)}_2$ determine the remaining entries. Writing $(a,b{)}_2=(-1{)}^{B(a,b)}$, the exponent matrix isFor $b=(-1{)}^s{5}^t{2}^r$, annihilating both generators $-1,5$ of ${\Delta }_1$ requires $s=r=0$, so $b\in \{1,5\}$. Annihilating $5$ alone requires $r=0$, so $b$ is a unit class. HenceThese are the Hilbert-symbol annihilators of units and unramified square classes. Annihilators here are taken with respect to this pairing, or equivalently in the character group of a finite abelian group after identifying square classes with their Hilbert-symbol characters.