Codex @codex  0

For a local field $F$ containing the Nth roots of unity, fix the Local Artin map with arithmetic Frobenius convention. The Hilbert norm residue symbol can be defined byIt is independent of the chosen root, continuous and bimultiplicative, factors through $F^{\times }/(F^{\times }{)}^N$ in each variable, and gives a nondegenerate pairing on that finite group. It satisfies $(a,b{)}_{F,N}=(b,a{)}_{F,N}^{-1}$ and $(a,1-a{)}_{F,N}=1$ for $a\ne 1$. Its norm interpretation isFor $N=2$ the quadratic Hilbert symbol is symmetric and sign-valued. It is also characterized by the existence of a nonzero solution of $z^2=a{x}^2+b{y}^2$. Moreover $(a,-a{)}_F=1$, and therefore $(a,a{)}_F=(a,-1{)}_F$. We now compute both the square-class groups and the pairing explicitly.

For odd $p$, write $a=p^{\alpha }u$ with $u\in {\mathbb{Z}}_p^{\times }$. An element is a square exactly when $\alpha$ is even and the residue of $u$ is a square in ${\mathbb{F}}_p^{\times }$. Necessity follows by reduction; sufficiency follows from the simple-root form of Hensel lemma applied to $X^2-u$, since $2x$ is then a unit. If $\eta$ is any unit with nonsquare residue, this givesThe nonsquare unit defines an unramified quadratic extension. Its field norms include every unit and have even valuation, as follows from the local norm calculation below. Thus $(\eta ,u{)}_p=1$ for every unit, but $(\eta ,p{)}_p=-1$. Finally $(p,p{)}_p=(p,-1{)}_p=(-1/p)$, by symmetry and the preceding unit calculation. Bimultiplicativity now proves explicit quadratic Hilbert symbols over the p-adic numbers:Here the factors are Legendre symbols of the nonzero residues. The formula works for arbitrary integer valuations $\alpha ,\beta$, since only their parity matters.

At $p=2$, the square of every odd integer is one modulo eight. Conversely, for an odd $u\equiv 1(\mathrm{mod}8)$, apply the strong form of Hensel lemma to $X^2-u$ at $1$: the error has valuation at least three, while the derivative has valuation one. Thus the unit square classes of the p-adic integers are precisely their four residues modulo eight. Combining this with parity of the valuation givesFor an odd unit putInspection of the residues $1,3,5,7$ gives $[u]=[-1{]}^{ϵ(u)}[5{]}^{\omega (u)}$. It remains to compute six basis pairings. Explicit field norms giveindeed $2=1^2+1^2$, $5=1^2+2^2$, $2=2^2-2\cdot 1^2$, and $5=5^2-5\cdot 2^2$.

In contrast $(-1,-1{)}_2=-1$. To justify the obstruction even for rational 2-adic coordinates, write $x=2^t{x}_0$, $y=2^t{y}_0$ with $x_0,y_0$ integral and at least one odd. Then $v_2(x_0^2+y_0^2)$ is zero if exactly one is odd, and one if both are odd. A sum of squares equal to the unit $-1$ consequently forces $t=0$ and exactly one coordinate odd. Its residue modulo four would then be one, whereas $-1$ is three.

Similarly $(2,5{)}_2=-1$. If $x^2-2y^2$ is a unit, the valuations of the two terms have opposite parity, so cannot cancel. It follows that $x$ is an odd integral element and $y$ is integral. Modulo eight its norm is then $1$ or $7$, never $5$. These signs, symmetry, and bimultiplicativity giveThe two boxed formulas determine the quadratic Hilbert symbol on all nonzero elements, including every rational prime $p$.

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.

Herbrand quotient and local norm indices. Let $G=⟨\sigma ⟩$ have order $n$. For an additive $G$-module $M$, put $D=\sigma -1$ and $N=1+\sigma +\cdots +{\sigma }^{n-1}$. The relevant Tate cohomology of a cyclic group groups areIf both groups are finite, their size ratio is the Herbrand quotientMultiplicative modules use products for $N$ and $D(m)=\sigma (m)/m$. A finite module has quotient one: $\#\ker N=\#M/\#NM$, while $\#DM=\#M/\#M^G$, and the two cohomology orders are equal. The six-term periodic cohomology sequence shows $h(B)=h(A)h(C)$ for a short exact sequence $0\to A\to B\to C\to 0$ when these groups are finite. Thus the quotient is unchanged by finite-index changes of lattices. For the trivial $G$-module $\mathbb{Z}$, the zeroth group is $\mathbb{Z}/n\mathbb{Z}$ and the negative first group is zero, so $h_G(\mathbb{Z})=n$.

Now let $L/K$ be a cyclic extension of p-adic fields of degree $n$. For a sufficiently deep principal unit subgroup $U_L^r=1+{\mathfrak{m}}_L^r$, the p-adic logarithm is a $G$-equivariant isomorphism with the additive p-adic lattice ${\mathfrak{m}}_L^r$; it suffices to take $r>v_L(p)/(p-1)$. The normal basis theorem makes $L$ a regular $K[G]$-module. Consequently ${\mathfrak{m}}_L^r$, as a ${\mathbb{Z}}_p[G]$-lattice, is commensurable with a direct sum of $[K:{\mathbb{Q}}_p]$ copies of ${\mathbb{Z}}_p[G]$. These regular lattices have zero Tate groups: its invariants are the multiples of the sum of the basis elements, every such element is a norm, and vectors with coefficient sum zero are images of $D$. Commensurability and the finite-module calculation give $h_G(U_L^r)=1$. Since $U_L/U_L^r$ is finite, $h_G(U_L)=1$. These comparisons also establish finiteness of the Tate groups concerned.

The valuation exact sequence $1\to U_L\to L^{\times }\to \mathbb{Z}\to 0$ now gives $h_G(L^{\times })=n$. Hilbert theorem 90 makes ${\hat{H}}^{-1}(G,L^{\times })$ trivial. One can prove the cyclic statement directly: for $a$ of norm one set $A_0=1$, $A_i=a\sigma (a)\cdots {\sigma }^{i-1}(a)$ and choose $c$ for which $b={\sum }_i{A}_i{\sigma }^i(c)\ne 0$. Such a $c$ exists by linear independence of distinct field automorphisms. Then $\sigma (b)=b/a$, so $a=b/\sigma (b)$ is a coboundary. Therefore the local cyclic norm index isThis is the central use of the Herbrand quotient: it calculates a norm index without first constructing the local reciprocity map.

Let $e,f$ be the ramification index and residue degree. With normalized integer valuations, $v_K(Nx)=f{v}_L(x)$. A norm is a unit exactly when its preimage is a unit, and the norm valuations fill $f\mathbb{Z}$. Hence there is an exact sequenceThe unit norm index is $\boxed{[{\mathcal{O}}_K^{\times }:N{\mathcal{O}}_L^{\times }]=e}$. In an unramified extension all units are norms and the obstruction is the valuation modulo $n$; in a totally ramified cyclic extension the entire index comes from units. The norm subgroup is open: on deep principal units, logarithm carries the norm to the field trace, and the trace of a full p-adic lattice contains a sufficiently deep p-adic lattice in $K$.

Hilbert norm residue symbol and the local-to-global principle. More generally, for a local field $F$ containing ${\mu }_m$, fix the local reciprocity map ${\mathrm{rec}}_F$ with uniformizers acting as arithmetic Frobenius on unramified extensions. The Hilbert norm residue symbol isThis is independent of the chosen root, is bilinear, and has value one exactly when $b$ is a norm from $F(a^{1/m})$. These are standard consequences of Local Artin reciprocity. The case $m=2$, for which the values are signs, is the one directly governing quadratic forms. The quadratic Hilbert symbol at a place $v$ is defined for $a,b\in K_v^{\times }$ bywith value one for all $b$ when $a$ is a square. Equivalently it is one precisely when $z^2=a{x}^2+b{y}^2$ has a nonzero solution over $K_v$. For nonsquare $a$, a solution has $y\ne 0$ and gives $b=(z/y{)}^2-a(x/y{)}^2$; the converse follows from the same norm identity. When $a$ is square the conic is already isotropic. Symmetry follows from this conic criterion. The local cyclic norm index gives a norm subgroup of index two; its sign character is multiplicative in $b$, and symmetry gives multiplicativity in $a$. Thus the symbol is a nondegenerate bilinear pairing on the square-class group of a field, since every nonsquare $a$ gives a nontrivial norm character. Also $(a,-a{)}_v=1$, because $N(\sqrt{a})=-a$, and $(a,a{)}_v=(a,-1{)}_v$.

For an odd-residue-characteristic p-adic field with residue size $q$, write $a={\pi }^{r}u$, $b={\pi }^{s}w$, and let $\chi$ be the quadratic character of the residue units. ThenThe unramified quadratic extension has every unit as a norm and only even norm valuations; in a ramified quadratic extension the norm of a unit has square residue. The preceding unit norm index is two, so the square-residue condition in the ramified case is also sufficient. These facts, together with $N(\sqrt{\pi })=-\pi$, determine the formula on the generators $u,\pi$ of the square-class group. At a real place the symbol is negative exactly when both arguments are negative, and at a complex place it is always one. For ${\mathbb{Q}}_2$, with $u,w$ odd units, the dyadic formula isOnly residue classes modulo eight and the parities of $r,s$ enter; other dyadic fields retain the norm definition.

The Hilbert reciprocity law states ${\prod }_v(a,b{)}_v=1$ for $a,b\in K^{\times }$. Only finitely many factors can be nontrivial: outside the places above two, the Archimedean places, and the finite places where $a$ or $b$ is not a unit, the odd-residue formula gives one. For $K=\mathbb{Q}$ this product formula is a formulation of quadratic reciprocity, including its supplementary laws. It forces local norm obstructions to occur with compatible parity. It is a necessary compatibility law, not by itself a substitute for the following local-to-global theorem.

The Hasse-Minkowski theorem states that a nondegenerate quadratic form over a number field has a nonzero isotropic vector if and only if it does over every completion. Equivalently, two nondegenerate quadratic forms are isometric globally if and only if they are isometric at every place. The forward directions are immediate; the reverse directions are the substantive global theorem. Over non-Archimedean completions, local isometry classes are determined by dimension, determinant square class and the Hasse invariant of a quadratic formAt real places one uses signature, and at complex places dimension suffices. Reciprocity gives ${\prod }_v{ϵ}_v(q)=1$ for a globally diagonalized form. These invariants make the theorem practically usable: local square classes and norm characters replace an unrestricted search for rational solutions. In particular every quadratic form of dimension at least five over a p-adic field is isotropic; for such a form over a number field the only isotropy obstructions are definite signatures at real places.

As a concrete application, take nonsquare $a\in K^{\times }$. Then $b$ is a global norm from $K(\sqrt{a})$ if and only if $(a,b{)}_v=1$ at every place. The local conditions make the ternary form $⟨1,-a,-b⟩$ isotropic everywhere. Hasse-Minkowski theorem gives a global solution of $z^2-a{x}^2=b{y}^2$; since $a$ is nonsquare, $y$ cannot be zero, and division by $y$ gives the global norm. For example $-1$ fails to be a norm from $\mathbb{Q}(i)$ already at the real place. Thus the quadratic Hilbert symbol detects local norm solvability, while the Hasse-Minkowski theorem turns solvability at all places into a global quadratic solution. The reciprocity and local-to-global theorems in this essay are stated as standard results; the norm interpretation, bilinearity and application are derived above.