Explicit reciprocity law

In mathematics, an explicit reciprocity law is a formula for the Hilbert symbol of a local field. The name "explicit reciprocity law" refers to the fact that the Hilbert symbols of local fields appear in Hilbert's reciprocity law for the power residue symbol. The definitions of the Hilbert symbol are usually rather roundabout and can be hard to use directly in explicit examples, and the explicit reciprocity laws give more explicit expressions for the Hilbert symbol that are sometimes easier to use. There are also several explicit reciprocity laws for various generalizations of the Hilbert symbol to higher local fields, p-divisible groups, and so on.

History

(Artin Hasse) gave an explicit formula for the Hilbert symbol (α,β) in the case of odd prime powers, for some special values of α and β when the field is the (cyclotomic) extension of the p-adic numbers by a pⁿth root of unity. (Iwasawa 1968) extended the formula of Artin and Hasse to more cases of α and β, and (Wiles 1978) and (de Shalit 1986) extended Iwasawa's work to Lubin–Tate extensions of local fields. (Shafarevich 1950) gave an explicit formula for the Hilbert symbol for odd prime powers for general local fields. His formula was rather complicated which made it hard to use, and Brückner (1967, 1979) and (Vostokov 1978) found a simpler formula. (Henniart 1981) simplified Vostokov's work and extended it to the case of even prime powers.

Examples

For archimedean local fields or in the unramified case the Hilbert symbol is easy to write down explicitly. The main problem is to evaluate it in the ramified case.

Archimedean fields

Over the complex numbers (a, b) is always 1. Over the reals, the Hilbert symbol of odd degree is trivial, and the Hilbert symbol of even degree is given by (a, b)_∞ is +1 if at least one of a or b is positive, and −1 if both are negative.

Unramified case: the tame Hilbert symbol

In the unramified case, when the order of the Hilbert symbol is coprime to the residue characteristic of the local field, the tame Hilbert symbol is given by

[math]\displaystyle{ (a,b) = \omega((-1)^{\operatorname{ord}(a)\operatorname{ord}(b)}b^{\operatorname{ord}(a)}/a^{\operatorname{ord}(b)})^{(q-1)/n} }[/math]

where ω(a) is the (q – 1)-th root of unity congruent to a and ord(a) is the value of the valuation of the local field, and n is the degree of the Hilbert symbol, and q is the order of the residue class field. The number n divides q – 1 because the local field contains the nth roots of unity by assumption.

As a special case, over the p-adics with p odd, writing [math]\displaystyle{ a = p^\alpha u }[/math] and [math]\displaystyle{ b = p^\beta v }[/math], where u and v are integers coprime to p, we have for the quadratic Hilbert symbol

[math]\displaystyle{ (a,b)_p = (-1)^{\alpha\beta\varepsilon(p)} \left(\frac{u}{p}\right)^\beta \left(\frac{v}{p}\right)^\alpha }[/math], where [math]\displaystyle{ \varepsilon(p) = (p-1)/2 }[/math]

and the expression involves two Legendre symbols.

Ramified case

The simplest example of a Hilbert symbol in the ramified case is the quadratic Hilbert symbol over the 2-adic integers. Over the 2-adics, again writing [math]\displaystyle{ a = 2^\alpha u }[/math] and [math]\displaystyle{ b = 2^\beta v }[/math], where u and v are odd numbers, we have for the quadratic Hilbert symbol

[math]\displaystyle{ (a,b)_2 = (-1)^{\epsilon(u)\epsilon(v) + \alpha\omega(v) + \beta\omega(u)} }[/math], where [math]\displaystyle{ \omega(x) = (x^2-1)/8 }[/math] and [math]\displaystyle{ \epsilon(x) = (x - 1)/2. }[/math]

See also

• Rational reciprocity law

References

• Artin, E.; Hasse, H. (1928), "Die beiden Ergänzungssätze zum Reziprozitätsgesetz der lⁿ-ten Potenzreste im Körper der lⁿ-ten Einheitswurzeln", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 6: 146–162, doi:10.1007/bf02940607 
• Brückner, Helmut (1967), "Eine explizite Formel zum Reziprozitätsgesetz für Primzahlexponenten p" (in German), Algebraische Zahlentheorie (Ber. Tagung Math. Forschungsinst. Oberwolfach, 1964), Bibliographisches Institut, Mannheim, pp. 31–39 
• Brückner, H. (1979) (in German), Explizites Reziprozitätsgesetz und Anwendungen, Vorlesungen aus dem Fachbereich Mathematik der Universität Essen, 2, Universität Essen, Fachbereich Mathematik, Essen 
• de Shalit, Ehud (1986), "The explicit reciprocity law in local class field theory", Duke Math. J. 53 (1): 163–176, doi:10.1215/s0012-7094-86-05311-1, http://projecteuclid.org/euclid.dmj/1077304887 
• Henniart, Guy (1981), "Sur les lois de réciprocité explicites. I." (in French), J. Reine Angew. Math. 329: 177–203, http://gdz.sub.uni-goettingen.de/en/dms/load/img/?PPN=PPN243919689_0329 
• Iwasawa, Kenkichi (1968), "On explicit formulas for the norm residue symbol", J. Math. Soc. Jpn. 20 (1–2): 151–165, doi:10.2969/jmsj/02010151 
• Neukirch, Jürgen (1999). Algebraic Number Theory. Grundlehren der mathematischen Wissenschaften. 322. Berlin: Springer-Verlag. ISBN 978-3-540-65399-8. 
• Shafarevich, I. R. (1950), "A general reciprocity law" (in Russian), Mat. Sbornik, New Series 26: 113–146 
• Vostokov, S. V. (1978), "An explicit form of the reciprocity law", Izv. Akad. Nauk SSSR Ser. Mat. 42 (6): 1288–1321, 1439, doi:10.1070/IM1979v013n03ABEH002077 
• Wiles, A. (1978). "Higher explicit reciprocity laws". Annals of Mathematics 107 (2): 235–254. doi:10.2307/1971143. 

Further reading

• Lemmermeyer, Franz (2000), Reciprocity laws. From Euler to Eisenstein, Springer Monographs in Mathematics, Berlin: Springer-Verlag, ISBN 3-540-66957-4