Reciprocity law

For the reciprocity law in photography, see Reciprocity (photography).

In mathematics, a reciprocity law is a generalization of the law of quadratic reciprocity.

There are several different ways to express reciprocity laws. The early reciprocity laws found in the 19th century were usually expressed in terms of a power residue symbol (p/q) generalizing the quadratic reciprocity symbol, that describes when a prime number is an nth power residue modulo another prime, and gave a relation between (p/q) and (q/p). Hilbert reformulated the reciprocity laws as saying that a product over p of Hilbert norm residue symbols (a,b/p), taking values in roots of unity, is equal to 1. Artin reformulated the reciprocity laws as a statement that the Artin symbol from ideals (or ideles) to elements of a Galois group is trivial on a certain subgroup. Several more recent generalizations express reciprocity laws using cohomology of groups or representations of adelic groups or algebraic K-groups, and their relationship with the original quadratic reciprocity law can be hard to see.

Quadratic reciprocity

Main article: quadratic reciprocity

In terms of the Legendre symbol, the law of quadratic reciprocity for positive odd primes states

\left(\frac{p}{q}\right) \left(\frac{q}{p}\right) = (-1)^{\frac{p-1}{2}\frac{q-1}{2}}.

Cubic reciprocity

Main article: cubic reciprocity

The law of cubic reciprocity for Eisenstein integers states that if α and β are primary (primes congruent to 2 mod 3) then

\Bigg(\frac{\alpha}{\beta}\Bigg)_3 = \Bigg(\frac{\beta}{\alpha}\Bigg)_3.

Quartic reciprocity

Main article: quartic reciprocity

In terms of the quartic residue symbol, the law of quartic reciprocity for Gaussian integers states that if π and θ are primary (congruent to 1 mod (1+i)³) Gaussian primes then

\Bigg[\frac{\pi}{\theta}\Bigg]\left[\frac{\theta}{\pi}\right]^{-1}= (-1)^{\frac{N\pi - 1}{4}\frac{N\theta-1}{4}}.

Octic reciprocity

Main article: Octic reciprocity

Eisenstein reciprocity

Main article: Eisenstein reciprocity

Suppose that ζ is an $l$ th root of unity for some odd prime $l$ . The power character is the power of ζ such that

\left(\frac{\alpha}{\mathfrak{p}}\right)_l \equiv \alpha^{\frac{N(\mathfrak{p})-1}{l}} \pmod {\mathfrak{p}}

for any prime ideal $\mathfrak{p}$ of Z[ζ]. It is extended to other ideals by multiplicativity. The Eisenstein reciprocity law states that

\left(\frac{a}{\alpha}\right)_l=\left(\frac{\alpha}{a}\right)_l

for a any rational integer coprime to $l$ and α any element of Z[ζ] that is coprime to a and $l$ and congruent to a rational integer modulo (1–ζ)².

Kummer reciprocity

Suppose that ζ is an lth root of unity for some odd regular prime l. Since l is regular, we can extend the symbol {} to ideals in a unique way such that

\left\{\frac{p}{q}\right\}^n=\left\{\frac{p^n}{q}\right\}

where n is some integer prime to l such that pⁿ is principal.

The Kummer reciprocity law states that

\left\{\frac{p}{q}\right\}=\left\{\frac{q}{p}\right\}

for p and q any distinct prime ideals of Z[ζ] other than (1–ζ).

Hilbert reciprocity

Main article: Hilbert symbol

In terms of the Hilbert symbol, Hilbert's reciprocity law for an algebraic number field states that

\prod_v (a,b)_v = 1

where the product is over all finite and infinite places. Over the rational numbers this is equivalent to the law of quadratic reciprocity. To see this take a and b to be distinct odd primes. Then Hilbert's law becomes $(p,q)_\infty(p,q)_2(p,q)_p(p,q)_q=1$ But (p,q)_p is equal to the Legendre symbol, (p,q)_∞ is 1 if one of p and q is positive and –1 otherwise, and (p,q)₂ is (–1)^{(p–1)(q–1)/4}. So for p and q positive odd primes Hilbert's law is the law of quadratic reciprocity.

Artin reciprocity

Main article: Artin reciprocity law

In the language of ideles, the Artin reciprocity law for a finite extension L/K states that the Artin map from the idele class group C_K to the abelianization Gal(L/K)^ab of the Galois group vanishes on N_L/K(C_L), and induces an isomorphism

\theta: C_K/{N_{L/K}(C_L)} \to \text{Gal}(L/K)^{\text{ab}}.

Although it is not immediately obvious, the Artin reciprocity law easily implies all the previously discovered reciprocity laws, by applying it to suitable extensions L/K. For example, in the special case when K contains the nth roots of unity and L=K[a^1/n] is a Kummer extension of K, the fact that the Artin map vanishes on N_L/K(C_L) implies Hilbert's reciprocity law for the Hilbert symbol.

Local reciprocity

Hasse introduced a local analogue of the Artin reciprocity law, called the local reciprocity law. One form of it states that for a finite abelian extension of L/K of local fields, the Artin map is an isomorphism from $K^{\times}/N_{L/K}(L^{\times})$ onto the Galois group $Gal(L/K)$ .

Explicit reciprocity laws

Main article: Explicit reciprocity law

In order to get a classical style reciprocity law from the Hilbert reciprocity law Π(a,b)_p=1, one needs to know the values of (a,b)_p for p dividing n. Explicit formulas for this are sometimes called explicit reciprocity laws.

Power reciprocity laws

Main article: Power reciprocity law

A power reciprocity law may be formulated as an analogue of the law of quadratic reciprocity in terms of the Hilbert symbols as^[1]

\left({\frac{\alpha}{\beta}}\right)_n \left({\frac{\beta}{\alpha}}\right)_n^{-1} = \prod_{\mathfrak{p} | n\infty} (\alpha,\beta)_{\mathfrak{p}} \ .

Rational reciprocity laws

Main article: Rational reciprocity law

A rational reciprocity law is one stated in terms of rational integers without the use of roots of unity.

Scholz's reciprocity law

Main article: Scholz's reciprocity law

Shimura reciprocity

Main article: Shimura's reciprocity law

Weil reciprocity law

Main article: Weil reciprocity law

Langlands reciprocity

The Langlands program includes several conjectures for general reductive algebraic groups, which for the special of the group GL₁ imply the Artin reciprocity law.

Yamamoto's reciprocity law

Main article: Yamamoto's reciprocity law

Yamamoto's reciprocity law is a reciprocity law related to class numbers of quadratic number fields.

References

↑ Neukirch (1999) p.415

Frei, Günther (1994), "The reciprocity law from Euler to Eisenstein", in Chikara, Sasaki, The intersection of history and mathematics. Papers presented at the history of mathematics symposium, held in Tokyo, Japan, August 31 - September 1, 1990, Sci. Networks Hist. Stud. 15, Basel: Birkhäuser, pp. 67–90, MR 308080, Zbl 0818.01002
Hilbert, David (1897), "Die Theorie der algebraischen Zahlkörper", Jahresbericht der Deutschen Mathematiker-Vereinigung (in German) 4: 175–546, ISSN 0012-0456
Hilbert, David (1998), The theory of algebraic number fields, Berlin, New York: Springer-Verlag, ISBN 978-3-540-62779-1, MR 1646901
Lemmermeyer, Franz (2000), Reciprocity laws. From Euler to Eisenstein, Springer Monographs in Mathematics, Berlin: Springer-Verlag, ISBN 3-540-66957-4, MR 1761696, Zbl 0949.11002
Lemmermeyer, Franz, Reciprocity laws. From Kummer to Hilbert
Neukirch, Jürgen (1999), Algebraic number theory, Grundlehren der Mathematischen Wissenschaften 322, Translated from the German by Norbert Schappacher, Berlin: Springer-Verlag, ISBN 3-540-65399-6, Zbl 0956.11021
Stepanov, S. A. (2001), "Reciprocity laws", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Wyman, B. F. (1972), "What is a reciprocity law?", Amer. Math. Monthly 79: 571–586, doi:10.2307/2317083, JSTOR 2317083, MR 0308084 correction, ibid. 80 (1973), 281

This article is issued from Wikipedia - version of the Tuesday, January 26, 2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.