Kummer theory

Kummer theory
Name	Kummer theory
Caption	Ernst Kummer
Field	Algebraic number theory
Introduced	19th century
Notable contributors	Ernst Kummer, Richard Dedekind, Helmut Hasse, Emil Artin, Ernst Eduard Kummer

Kummer theory is a branch of algebraic number theory that analyzes certain abelian extensions of number fields by adjoining nth roots of elements, linking arithmetic in rings of integers with Galois modules and reciprocity laws. It connects work of 19th‑century mathematicians with 20th‑century advances in class field theory, enabling explicit descriptions of extensions via cyclotomic units, norm residue symbols, and cohomological pairings. The theory underlies many results in the study of Fermat's Last Theorem, Hilbert's theory of ramification, and modern Iwasawa theory.

Introduction

Kummer theory studies extensions obtained by adjoining an n-th root of an element to a base field that already contains the n-th roots of unity, yielding abelian extensions governed by explicit arithmetic data. Foundational objects include cyclotomic fields, ideal class groups, and multiplicative groups of fields, whose interaction is mediated by the Galois group and by cohomology groups such as those appearing in the work of Hilbert and Artin. Core tools are the Kummer pairing, norm residue symbols, and reciprocity maps that later formed parts of the frameworks developed in class field theory and Tate cohomology.

Historical development

The origins trace to the work of Ernst Kummer on ideal numbers and attempts to resolve cases of Fermat's Last Theorem, influenced by correspondence with Carl Friedrich Gauss and subsequent formalization by Richard Dedekind. Developments in the late 19th and early 20th centuries linked Kummer's ideas with the Kronecker-Weber theorem and the emerging field of class field theory contributed by Helmut Hasse, Emil Artin, and Teiji Takagi. The cohomological reinterpretation emerged via the work of John Tate and Jean-Pierre Serre, integrating Kummer's constructions into the language of Galois cohomology and relating them to the Brauer group and results of Alexander Grothendieck on étale cohomology.

Kummer extensions and cyclotomic fields

A Kummer extension is typically obtained by adjoining an n-th root to a base field containing the full group of n-th roots of unity, often a cyclotomic field such as those generated by a primitive n-th root via the Cyclotomic field construction central to Leopoldt's conjecture and the Kronecker-Weber theorem. For a prime p and an integer n, one studies fields like Q(ζ_n) where ζ_n is a primitive root related to the Gauss sums and Bernoulli numbers that appear in the proof of the Herbrand–Ribet theorem. Ramification and decomposition in these extensions are governed by inertia groups appearing in the work of David Hilbert and the explicit reciprocity laws later formulated by Emil Artin and Helmut Hasse. Cyclotomic units, Vandiver's conjecture, and the structure of the class group of cyclotomic fields are central themes connecting Kummer extensions to explicit computations in arithmetic.

Kummer pairing and duality

The Kummer pairing links the multiplicative group modulo n-th powers with Galois cohomology via pairings analogous to those in Pontryagin duality and the theory of Tate duality. This pairing can be expressed by norm residue symbols that generalize the Hilbert symbol and integrate into the reciprocity maps of Artin reciprocity in class field theory. Cohomological duality statements, as refined by John Tate and realized in the context of local and global fields studied by Alexander Schmidt and Karl Fricke, provide exact control of Selmer groups and Tate–Shafarevich groups in arithmetic geometry settings linked to Elliptic curves and Modular forms.

Applications in class field theory and algebraic number theory

Kummer theory furnishes concrete descriptions of abelian extensions used in proofs and computations across algebraic number theory, including explicit generation of ray class fields and constructions appearing in the Kronecker Jugendtraum and the Lubin–Tate theory for local fields. It underpins methods in the study of the ideal class group, the behavior of units as in Dirichlet's unit theorem, and the formulation of the Main conjecture of Iwasawa theory. Applications extend to explicit reciprocity laws exploited in works by Kenkichi Iwasawa, Barry Mazur, and Andrew Wiles in contexts touching on modularity results and the proof of cases of Fermat's Last Theorem via cyclotomic methods. Computations of Galois modules and capitulation in class field towers draw on Kummer's explicit approach and its modern cohomological refinements.

Generalizations and modern perspectives

Generalizations replace roots of unity by more general one‑dimensional tori or by torsion points on abelian varieties, leading to Kummer sequences in étale cohomology and to analogues in the theory of Drinfeld modules and Shimura varieties. Noncommutative generalizations interact with nonabelian class field theories and the Langlands program developed by Robert Langlands, while arithmetic duality theorems connect to the work of Grothendieck and Alexander Beilinson. Contemporary research intertwines Kummer ideas with p-adic Hodge theory advanced by Jean-Marc Fontaine, deformation theory studied by Mazur, and explicit algorithmic number theory as pursued by researchers at institutions like Institut Henri Poincaré and the Mathematical Sciences Research Institute.

Category:Algebraic number theory