local class field theory

local class field theory
Name	Local class field theory
Focus	Number theory
Introduced	1920s–1930s
Key people	John Tate, Emil Artin, Helmut Hasse, Teiji Takagi, Olga Taussky-Todd, Claude Chevalley

local class field theory Local class field theory describes the abelian extensions of local fields via reciprocity laws and topological Galois groups. It connects the multiplicative structure of completions of number fields with the Galois groups of their maximal abelian extensions, using tools from algebraic number theory, harmonic analysis, and cohomology. The theory underpins local-global principles and appears in the study of automorphic forms, representation theory, and arithmetic geometry.

Introduction

Local class field theory situates itself among foundational works in algebraic number theory by relating objects associated to Local field completions and their Galois groups. It refines global statements appearing in the work of Teiji Takagi and Emil Artin and complements global class field theory studied by Claude Chevalley, Carl Ludwig Siegel, and Erich Hecke. Developmental threads link to the cohomological formalism introduced by John Tate and the structural perspectives popularized by Helmut Hasse and Emil Artin.

Local Fields and Galois Groups

Local class field theory begins with a classification of Local fields such as finite extensions of p-adic number fields like Q_p and local function fields over Finite fields like F_q((t)). The absolute Galois group of a local field admits a profinite topology studied by Jürgen Neukirch and analyzed via inertia and decomposition subgroups refined by work of Serre and Alexander Grothendieck. The ramification filtration attributed to Friedrich Karl Schmidt and elaborated by Jean-Pierre Serre and Iwasawa Hayato Iwasawa organizes wild and tame ramification in the manner later used by Kazuya Kato and Kenneth Ribet.

Reciprocity Law and Local Artin Map

The central reciprocity map, the local Artin map first formulated by Emil Artin and systematized by Teiji Takagi and Helmut Hasse, gives a continuous surjection from the multiplicative group of a local field or its idèle class to the abelianized Galois group. Tate's cohomological reinterpretation using Galois cohomology and the duality theorems proved by John Tate connect to Pontryagin duality used by Hermann Weyl and harmonic analysis tools exploited by Atle Selberg. The reciprocity law interacts with local symbols studied by Ernst Steinitz and generalized by Egon Schulte in analyses of norm residue maps.

Local Class Field Theory Statements and Classification

The classification theorem asserts that finite abelian extensions correspond bijectively to open subgroups of finite index in the multiplicative group, an equivalence formalized by Helmut Hasse and presented categorically in the language of Grothendieck-style duality by Jean-Pierre Serre. Explicitly, the isomorphism between the profinite completion of the multiplicative group and the Galois group of the maximal abelian extension appears in expositions by Jürgen Neukirch, Fröhlich and Taylor Richard Taylor. The Herbrand quotient and local cohomology groups analyzed by Kenkichi Iwasawa and John Tate provide exact sequences clarifying local norm indices, while work by Barry Mazur and Andrew Wiles links such local structures to deformation theory.

Explicit Constructions and Examples

Concrete computations for unramified extensions use the Frobenius automorphism as in the study of Finite field extensions and the Weil group as introduced by André Weil. For tamely ramified extensions, Kummer theory and Lubin–Tate formal groups, developed by Jonathan Lubin and John Tate, give explicit local class field theory constructions; these connect to formal module theory advanced by Hazewinkel and formal group law studies linked to Michel Lazard. Explicit local reciprocity formulas appear in computations by Iwasawa and examples in Local Langlands correspondence contexts explored by Colmez and Bernard Gross.

Applications and Connections

Local class field theory is a cornerstone for the Local Langlands correspondence and for the study of local factors of L-functions appearing in the work of Jacques Hadamard and Bernhard Riemann perspectives extended by Robert Langlands. It informs the study of Galois representations central to theorems by Andrew Wiles and Richard Taylor and underlies modularity lifting techniques used by Frederick Diamond and Christophe Breuil. In arithmetic geometry, connections with Étale cohomology by Alexander Grothendieck and duality theorems of John Tate influence the study of Elliptic curves and local behavior of Abelian varietys; the theory also informs explicit reciprocity laws in Iwasawa theory as developed by Kenkichi Iwasawa and Barry Mazur.

Historical Development and Key Contributors

Origins trace to reciprocity ideas in the work of Emil Artin and the explicit formulations of Teiji Takagi during the 1920s and 1930s, with major structural clarity introduced by Helmut Hasse in the 1930s. The cohomological framework and duality theorems were formulated by John Tate in the 1960s and disseminated through lectures involving Jean-Pierre Serre and Claude Chevalley. Later constructive approaches by Jonathan Lubin and John Tate (Lubin–Tate theory) and categorical reinterpretations by Grothendieck and Jürgen Neukirch expanded applicability. Influential expositors including Fröhlich, Janusz and Gerhard Frey have shaped modern texts used by practitioners in Number theory and Algebraic geometry.

Category:Class field theory