Artin reciprocity law

Artin reciprocity law
Name	Artin reciprocity law
Caption	Emil Artin, 1940s
Field	Number theory
Introduced	1927
Mathematician	Emil Artin
Related	Class field theory, Galois groups, L-functions

Artin reciprocity law Artin reciprocity law is a central theorem in Number theory and Algebraic number theory that connects abelian extensions of number fields to the arithmetic of ideals via the idele class group and Frobenius elements. Formulated by Emil Artin in 1927, it generalizes classical reciprocity laws such as Quadratic reciprocity and relates to the work of Richard Dedekind, Ernst Kummer, Helmut Hasse, and Teiji Takagi. The law underlies Class field theory and paved the way for later developments by John Tate, André Weil, and Alexander Grothendieck.

Introduction

Artin reciprocity law sits at the core of Class field theory linking abelian Galois groups of finite extensions of a base number field or a global field to quotients of the idele class group. The theorem generalizes the reciprocity phenomena first observed in the work of Carl Friedrich Gauss on Quadratic reciprocity and extended through the contributions of Ernst Eduard Kummer, Leopold Kronecker, and Richard Dedekind to the systematic formulation by Teiji Takagi. Artin's formulation introduced the Artin symbol and connected Frobenius automorphisms in finite Galois extensions to ideal-theoretic data, influencing later frameworks developed by Helmut Hasse, Kurt Hensel, and Emil Artin's contemporaries.

Statement of the Theorem

Let K be a global field such as a number field or a function field over a finite field, and let L/K be a finite abelian Galois extension. Artin reciprocity describes a surjective homomorphism from the idele class group C_K = A_K^*/K^* to the Galois group Gal(L/K), with kernel equal to the norm image N_{L/K}(C_L) of the idele class group of L. The map sends a finite prime ideal's class to the conjugacy class of a Frobenius automorphism (the Frobenius element in Gal(L/K)) and extends multiplicatively to ideles, yielding an isomorphism C_K/N_{L/K}(C_L) ≅ Gal(L/K). This encapsulates classical statements such as the Quadratic reciprocity law, higher-power reciprocity laws studied by Heinrich Weber and Richard Dedekind, and specific reciprocity laws obtained by Ernst Kummer.

Historical Development and Context

The historical roots trace through Carl Friedrich Gauss's Disquisitiones Arithmeticae and the explicit reciprocity law he proved for quadratic residues, later echoed by Adrien-Marie Legendre and Adrien-Marie Legendre's correspondents. Work by Leopold Kronecker on the Kronecker–Weber theorem and Ernst Kummer on cyclotomic fields laid groundwork later synthesized by Teiji Takagi in early 20th century class field theory. Emil Artin formalized the reciprocity map in 1927, influenced by correspondence with Helmut Hasse and developments in Galois theory and Dedekind’s ideal theory. Subsequent elaborations by Helmut Hasse, John Tate, Claude Chevalley, and André Weil recast Artin reciprocity in adelic language and cohomological frameworks, connecting it to the L-function formalism of Erich Hecke and the conjectures of David Hilbert and Hermann Minkowski.

Proofs and Methods

Proofs of Artin reciprocity have been given via multiple approaches. The original strategy by Emil Artin used analytic techniques involving L-series and distribution of Frobenius elements, building on methods of Erich Hecke and Gustav Herglotz. Chebotarev density theorem proofs by Nikolai Chebotarev inform the identification of Frobenius elements for unramified primes, while Helmut Hasse and Teiji Takagi provided algebraic formulations leading to Takagi–Artin reciprocity. Adele and idele methods by Claude Chevalley and cohomological interpretations by John Tate and Jean-Pierre Serre use Galois cohomology and the Tate cohomology groups; these cohomological proofs connect to the Brauer group via local and global duality theorems developed by Emil Artin and John Tate. Modern treatments employ techniques from Homological algebra as used by Alexander Grothendieck and categorical viewpoints influenced by Pierre Deligne.

Consequences and Applications

Artin reciprocity yields classification of finite abelian extensions of a given number field by open subgroups of the idele class group, culminating in the main theorems of Class field theory such as the Kronecker–Weber theorem for rational number fields and explicit descriptions of ray class fields used in Hilbert class field theory. The law informs explicit construction of abelian extensions via cyclotomic fields, Kummer theory, and complex multiplication as developed by Goro Shimura and Yutaka Taniyama. It underpins the study of Artin L-functions, relates to the Chebotarev density theorem, and plays a role in modern research on the Langlands program initiated by Robert Langlands, which generalizes reciprocity beyond abelian settings. Applications reach computational algebraic number theory via algorithms implemented in SageMath and PARI/GP and inform explicit reciprocity computations in cryptographic protocols drawing on elliptic curve arithmetic studied by Andrew Wiles and Gerhard Frey.

Examples and Explicit Calculations

Classical examples include quadratic extensions of Q where Artin reciprocity recovers Gauss's Quadratic reciprocity by identifying the Frobenius for an odd prime p with the Legendre symbol (p|q). The Kronecker–Weber theorem shows that every finite abelian extension of Q lies in a cyclotomic field Q(ζ_n), making explicit the reciprocity map via cyclotomic characters first studied by Leopold Kronecker and Ernst Kummer. For imaginary quadratic fields, complex multiplication theory of Carl Ludwig Siegel and Goro Shimura produces explicit class fields via values of modular functions, exhibiting Artin reciprocity in analytic terms. Computations in function fields over finite fields relate to explicit reciprocity in the work of André Weil and Emil Artin on zeta functions and provide concrete Frobenius calculations used in coding theory connected to Goppa codes.

Category:Class field theory