class field theory

class field theory
Name	Class field theory
Field	Number theory
Originated	19th century
Founders	Évariste Galois, Leopold Kronecker, Ernst Kummer, Richard Dedekind, Heinrich Weber
Notable results	Artin reciprocity law, Takagi existence theorem, Hilbert class field
Related	Galois theory, Algebraic number theory, Local field, Adèle, Idèle

class field theory

Class field theory is a central area of Number theory that classifies abelian extensions of global and local fields via arithmetic invariants. It arose from problems studied by Évariste Galois and Ernst Kummer and was developed by figures such as Leopold Kronecker, Richard Dedekind, David Hilbert, Teiji Takagi, and Emil Artin into a coherent set of reciprocity laws and existence theorems. The theory connects objects like ideal class group, idèle class group, Galois group, and Hilbert class field and underpins later advances by John Tate, Jean-Pierre Serre, and Alexandre Grothendieck.

History and motivations

Class field theory grew from explicit problems in the work of Kummer on cyclotomic fields, Kronecker's Jugendtraum related to complex multiplication of elliptic curves and imaginary quadratic fields, and Dedekind's ideal-theoretic reformulation of Algebraic number theory. Early milestones include Hilbert's formulation of reciprocity problems at the International Mathematical Congress and Takagi's generalized insight culminating in the Takagi existence theorem. Emil Artin introduced the Artin reciprocity law that tied local and global reciprocity to Galois theory and abelian extensions. Later contributions by Claude Chevalley used idèles and adèles, while John Tate's cohomological reinterpretation connected the subject to group cohomology and class formations.

Local and global formulations

In the global setting one studies extensions of number fields such as Q(√−1), cyclotomic fields, and their abelian Galois groups, often described via the idèle class group or ideal class group. The local theory treats extensions of local fields like p-adic number fields Q_p and real numbers R, analyzing inertia and decomposition groups and using local symbols such as the Hilbert symbol. Global reciprocity relates Frobenius elements at primes like those in Splitting of primes to idele classes; this interplay was formalized in Artin's reciprocity and Chevalley's idèle-theoretic approach. Works by Tate, Iwasawa, and Weil explored dualities between local and global cohomology groups and connections to Pontryagin duality.

Main results and theorems

The Takagi existence theorem guarantees for a given modulus and congruence subgroup the existence of a corresponding finite abelian extension, exemplified by the construction of the Hilbert class field. The Artin reciprocity law provides an explicit isomorphism between a quotient of the idèle class group and the Galois group of the maximal abelian extension, generalizing the quadratic reciprocity law studied by Carl Friedrich Gauss. The principal genus theorem and the principal ideal theorem are classical results with precursors in Kummer's work. The Herbrand–Ribet theorem and Iwasawa theory link class groups in towers of fields to L-functions, while Tate local duality and Poitou–Tate duality provide cohomological frameworks for local-global principles. The Kronecker–Weber theorem classifies abelian extensions of Q as subfields of cyclotomic fields, an early concrete instance of the general theory.

Key concepts and tools

Idèles and adèles introduced by Chevalley permit concise global statements; the idèle class group is central to reciprocity maps. Frobenius elements and decomposition groups arise from Galois theory and the study of prime splitting in extensions such as those in cyclotomic extensions. Class groups like the ideal class group and ray class groups measure failure of unique factorization and index abelian extensions; the Hilbert class field is the maximal unramified abelian extension associated to the ideal class group. Local invariants include the Hilbert symbol, Hasse invariants, and ramification filtrations studied by Herbrand and Serre. Cohomological tools from group cohomology and Galois cohomology—pioneered by Tate and Shafarevich—give duality theorems and explicit descriptions of obstruction groups. L-functions and Dirichlet characters relate analytic behavior to arithmetic via reciprocity and explicit class number formulas derived by Dirichlet and Dedekind.

Examples and explicit constructions

Classical examples include the Kronecker–Weber classification of abelian extensions of Q via adjoining roots of unity, explicit class fields for imaginary quadratic fields through complex multiplication of elliptic curves and modular functions as envisioned in Kronecker's Jugendtraum, and cyclotomic extensions associated to Gauss sums. Concrete ray class fields arise from congruence conditions studied by Hecke and Takagi, while explicit local class field theory gives reciprocity maps for Q_p, finite extension fields, and fields like F_p((t)). Algorithms for computing class fields use methods from computational algebraic number theory implemented in systems influenced by work of Cohen and Buchmann; explicit reciprocity laws have been derived by Lubin–Tate formal groups and by Coleman in p-adic settings.

Generalizations and modern developments

Non-abelian generalizations underlie the Langlands program, linking automorphic forms on groups like GL_n and Galois representations studied by Robert Langlands and Pierre Deligne. Iwasawa theory investigates growth of class groups in infinite towers such as Z_p-extensions and connects to Mazur's and Greenberg's conjectures. Higher-dimensional analogues for function fields over finite fields involve tools from Grothendieck's étale cohomology and results of Weil and Drinfeld; advances by Fesenko propose higher local class field theories. Modern approaches integrate techniques from arithmetic geometry, motivic cohomology, and the categorical perspective of Grothendieck to situate classical reciprocity within broader conjectural frameworks initiated by Langlands and pursued by researchers such as Deligne, Tate, Serre, and Carayol.

Category:Algebraic number theory