Artin reciprocity law

The Artin reciprocity law, which was established by Emil Artin in a series of papers (1924; 1927; 1930), is a general theorem in number theory that forms a central part of global class field theory.^[1] The term "reciprocity law" refers to a long line of more concrete number theoretic statements which it generalized, from the quadratic reciprocity law and the reciprocity laws of Eisenstein and Kummer to Hilbert's product formula for the norm symbol. Artin's result provided a partial solution to Hilbert's ninth problem.

Statement

Let L⁄K be a Galois extension of global fields and C_L stand for the idèle class group of L. One of the statements of the Artin reciprocity law is that there is a canonical isomorphism called global symbol map ^[2][3]

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

The map $\theta$ is defined by assembling the maps called the local Artin symbol, the local reciprocity map or the norm residue symbol^[4][5]

$\theta_v: K_v^{\times}/N_{L_v/K_v}(L_v^{\times}) \to G^{\text{ab}},$

for different places v of K. More precisely, $\theta$ is given by the local maps $\theta_v$ on the v-component of an idèle class. The maps $\theta_v$ are isomorphisms. This is the content of the local reciprocity law, a main theorem of local class field theory.

Proof

A cohomological proof of the global reciprocity law can be achieved by first establishing that

$(\text{Gal}(K^{sep}/K),\varinjlim C_L)$

constitutes a class formation in the sense of Artin and Tate.^[6] Then one proves that

$\hat{H}^{0}( \text{Gal}(L/K), C_L) \simeq\hat{H}^{-2}( \text{Gal}(L/K), \mathbb{Z}),$

where $\hat{H}^{i}$ denote the Tate cohomology groups. Working out the cohomology groups establishes that θ is an isomorphism.

Significance

Artin's reciprocity law implies a description of the abelianization of the absolute Galois group of a global field K which is based on the Hasse local–global principle and the use of the Frobenius elements. Together with the Takagi existence theorem, it is used to describe the abelian extensions of K in terms of the arithmetic of K and to understand the behavior of the nonarchimedean places in them. Therefore, the Artin reciprocity law can be interpreted as one of the main theorems of global class field theory. It can be used to prove that Artin L-functions are meromorphic and for the proof of the Chebotarev density theorem.^[7]

Two years after the publication of his general reciprocity law in 1927, Artin rediscovered the transfer homomorphism of I. Schur and used the reciprocity law to translate the principalization problem for ideal classes of algebraic number fields into the group theoretic task of determining the kernels of transfers of finite non-abelian groups.^[8]

Finite extensions of global fields

The definition of the Artin map for a finite abelian extension L/K of global fields (such as a finite abelian extension of Q) has a concrete description in terms of prime ideals and Frobenius elements.

If $\mathfrak{p}$ is a prime of K then the decomposition groups of primes $\mathfrak{P}$ above $\mathfrak{p}$ are equal in Gal(L/K) since the latter group is abelian. If $\mathfrak{p}$ is unramified in L, then the decomposition group $D_\mathfrak{p}$ is canonically isomorphic to the Galois group of the extension of residue fields $\mathcal{O}_{L,\mathfrak{P}}/\mathfrak{P}$ over $\mathcal{O}_{K,\mathfrak{p}}/\mathfrak{p}$. There is therefore a canonically defined Frobenius element in Gal(L/K) denoted by $\mathrm{Frob}_\mathfrak{p}$ or $\left(\frac{L/K}{\mathfrak{p}}\right)$. If Δ denotes the relative discriminant of L/K, the Artin symbol (or Artin map, or (global) reciprocity map) of L/K is defined on the group of prime-to-Δ fractional ideals, $I_K^\Delta$, by linearity:

$\begin{matrix} \left(\frac{L/K}{\cdot}\right):&I_K^\Delta&\longrightarrow&\mathrm{Gal}(L/K)\\ &\displaystyle{\prod_{i=1}^m\mathfrak{p}_i^{n_i}}&\mapsto&\displaystyle{\prod_{i=1}^m\left(\frac{L/K}{\mathfrak{p}_i}\right)^{n_i}.} \end{matrix}$

The Artin reciprocity law (or global reciprocity law) states that there is a modulus c of K such that the Artin map induces an isomorphism

$I_K^\mathbf{c}/i(K_{\mathbf{c},1})\mathrm{N}_{L/K}(I_L^\mathbf{c})\overset{\sim}{\longrightarrow}\mathrm{Gal}(L/K)$

where K_c,1 is the ray modulo c, N_L/K is the norm map associated to L/K and $I_L^\mathbf{c}$ is the fractional ideals of L prime to c. Such a modulus c is called a defining modulus for L/K. The smallest defining modulus is called the conductor of L/K and typically denoted $\scriptstyle\mathfrak{f}(L/K)$.

Examples

Quadratic fields

If $d\neq1$ is a squarefree integer, K = Q, and $\scriptstyle L=\mathbf{Q}(\sqrt{d})$, then the Galois group Gal(L/Q) can be identified with {±1}. The discriminant Δ of L over Q is d or 4d depending on whether d ≡ 1 (mod 4) or not. The Artin map is then defined on primes p that do not divide Δ by

$p\mapsto\left(\frac{\Delta}{p}\right)$

where $\left(\frac{\Delta}{p}\right)$ is the Kronecker symbol.^[9] More specifically, the conductor of L/Q is the principal ideal (Δ) or (Δ)∞ according to whether Δ is positive or negative,^[10] and the Artin map on a prime-to-Δ ideal (n) is given by the Kronecker symbol $\left(\frac{\Delta}{n}\right).$ This shows that a prime p is split or inert in L according to whether $\left(\frac{\Delta}{p}\right)$ is 1 or −1.

Cyclotomic fields

Let m>1 be either an odd integer or a multiple of 4, let ζ_m be a primitive mth root of unity, and let L = Q(ζ_m) be the mth cyclotomic field. The Galois group Gal(L/Q) can be identified with (Z/mZ)^× by sending σ to a_σ given by the rule

$\sigma(\zeta_m)=\zeta_m^{a_\sigma}.$

The conductor of L/Q is (m)∞,^[11] and the Artin map on a prime-to-m ideal (n) is simply n (mod m) in (Z/mZ)^×.^[12]

Relation to quadratic reciprocity

Let p and ℓ be distinct odd primes. For convenience, let ℓ* = (−1)^(ℓ−1)/2ℓ (which is always 1 (mod 4)). Then, quadratic reciprocity states that

$\left(\frac{\ell^\ast}{p}\right)=\left(\frac{p}{\ell}\right).$

The relation between the quadratic and Artin reciprocity laws is given by studying the quadratic field $\scriptstyle F=\mathbf{Q}(\sqrt{\ell^\ast})$ and the cyclotomic field $\scriptstyle L=\mathbf{Q}(\zeta_\ell)$ as follows.^[9] First, F is a subfield of L, so if H = Gal(L/F) and G = Gal(L/Q), then Gal(F/Q) = G/H. Since the latter has order 2, the subgroup H must be the group of squares in (Z/ℓZ)^×. A basic property of the Artin symbol says that for every prime-to-ℓ ideal (n)

$\left(\frac{F/\mathbf{Q}}{(n)}\right)=\left(\frac{L/\mathbf{Q}}{(n)}\right)\text{ (mod }H).$

When n = p, this shows that $\left(\frac{\ell^\ast}{p}\right)=1$ if, and only if, p (mod ℓ) is in H, i.e. if, and only if, p is a square modulo ℓ.

Statement in terms of L-functions

An alternative version of the reciprocity law, leading to the Langlands program, connects Artin L-functions associated to abelian extensions of a number field with Hecke L-functions associated to characters of the idèle class group.^[13]

A Hecke character (or Größencharakter) of a number field K is defined to be a quasicharacter of the idèle class group of K. Robert Langlands interpreted Hecke characters as automorphic forms on the reductive algebraic group GL(1) over the ring of adeles of K.^[14]

Let E⁄K be an abelian Galois extension with Galois group G. Then for any character σ: G  → C^× (i.e. one-dimensional complex representation of the group G), there exists a Hecke character χ of K such that

$L_{E/K}^{\mathrm{Artin}}(\sigma, s) = L_{K}^{\mathrm{Hecke}}(\chi, s)$

where the left hand side is the Artin L-function associated to the extension with character σ and the right hand side is the Hecke L-function associated with χ, Section 7.D of.^[14]

The formulation of the Artin reciprocity law as an equality of L-functions allows formulation of a generalisation to n-dimensional representations, though a direct correspondence is still lacking.

Notes

1. Helmut Hasse, History of Class Field Theory, in Algebraic Number Theory, edited by Cassels and Frölich, Academic Press, 1967, pp. 266–279
2. Neukirch (1999) p.391
3. Jürgen Neukirch, Algebraische Zahlentheorie, Springer, 1992, p. 408. In fact, a more precise version of the reciprocity law keeps track of the ramification.
4. Serre (1967) p.140
5. Serre (1979) p.197
6. Serre (1979) p.164
7. Jürgen Neukirch, Algebraische Zahlentheorie, Springer, 1992, Chapter VII
8. Artin, Emil (December 1929), "Idealklassen in oberkörpern und allgemeines reziprozitätsgesetz", Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg 7 (1): 46–51, doi:10.1007/BF02941159.
9. Lemmermeyer 2000, §3.2
10. Milne 2008, example 3.11
11. Milne 2008, example 3.10
12. Milne 2008, example 3.2
13. James Milne, Class Field Theory
14. Gelbart, Stephen S. (1975), Automorphic forms on adèle groups, Annals of Mathematics Studies 83, Princeton, N.J.: Princeton University Press, MR 0379375.

References

• Emil Artin, Über eine neue Art von L-Reihen, Abh. Math. Semin. Univ. Hamburg, 3 (1924), 89–108; Collected Papers, Addison Wesley, 1965, 105–124
• Emil Artin, Beweis des allgemeinen Reziprozitätsgesetzes, Abh. Math. Semin. Univ. Hamburg, 5 (1927), 353–363; Collected Papers, 131–141
• Emil Artin, Idealklassen in Oberkörpern und allgemeines Reziprozitätsgesetzes, Abh. Math. Semin. Univ. Hamburg, 7 (1930), 46–51; Collected Papers, 159–164
• Frei, Günther (2004), "On the history of the Artin reciprocity law in abelian extensions of algebraic number fields: how Artin was led to his reciprocity law", in Olav Arnfinn Laudal; Ragni Piene, The legacy of Niels Henrik Abel. Papers from the Abel bicentennial conference, University of Oslo, Oslo, Norway, June 3--8, 2002, Berlin: Springer-Verlag, pp. 267–294, ISBN 978-3-540-43826-7, MR 2077576, Zbl 1065.11001
• Janusz, Gerald (1973), Algebraic Number Fields, Pure and Applied Mathematics 55, Academic Press, ISBN 0-12-380250-4
• Lang, Serge (1994), Algebraic number theory, Graduate Texts in Mathematics 110 (2 ed.), New York: Springer-Verlag, ISBN 978-0-387-94225-4, MR 1282723
• Lemmermeyer, Franz (2000), Reciprocity laws: From Euler to Eisenstein, Springer Monographs in Mathematics, Berlin: Springer-Verlag, ISBN 978-3-540-66957-9, MR 1761696, Zbl 0949.11002
• Milne, James (2008), Class field theory (v4.0 ed.), retrieved 2010-02-22
• 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
• Serre, Jean-Pierre (1979), Local fields, Graduate Texts in Mathematics 67, Translated from the French by Marvin Jay Greenberg, New York, Heidelberg, Berlin: Springer-Verlag, ISBN 3-540-90424-7, Zbl 0423.12016
• Serre, Jean-Pierre (1967), "VI. Local class field theory", in Cassels, J.W.S.; Fröhlich, A., Algebraic number theory. Proceedings of an instructional conference organized by the London Mathematical Society (a NATO Advanced Study Institute) with the support of the International Mathematical Union, London: Academic Press, pp. 128–161, Zbl 0153.07403
• Tate, John (1967), "VII. Global class field theory", in Cassels, J.W.S.; Fröhlich, A., Algebraic number theory. Proceedings of an instructional conference organized by the London Mathematical Society (a NATO Advanced Study Institute) with the support of the International Mathematical Union, London: Academic Press, pp. 162–203, Zbl 0153.07403