This article was accepted into the corpus but its outbound wikilinks were never NER-processed — typical at the deepest BFS hop or when the run's entity cap was reached. No expansion funnel to show.
| Herbrand–Ribet theorem | |
|---|---|
| Name | Herbrand–Ribet theorem |
| Field | Number theory |
| Discovered by | Jacques Herbrand; Kenneth A. Ribet |
| Year | 1930s; 1976 |
| Related concepts | Class field theory; Iwasawa theory; Bernoulli numbers; Galois representations |
Herbrand–Ribet theorem The Herbrand–Ribet theorem gives a precise link between divisibility of special values of Bernoulli numbers and the structure of ideal class groups in cyclotomic extensions, relating characters of the Galois group of a cyclotomic field to the p-part of the class group. It sits at the intersection of Jacques Herbrand's early 20th century work and Kenneth A. Ribet's 1976 breakthrough, drawing on techniques developed by Ernst Kummer, Helmut Hasse, John Tate, Alexander Grothendieck, Jean-Pierre Serre, and Barry Mazur. The theorem has deep connections with conjectures and results of Karl Weierstrass, David Hilbert, Richard Dedekind, Emil Artin, Hendrik Lenstra, and John Coates.
For a prime p and an even integer k with 2 ≤ k ≤ p−3, the theorem asserts that if p divides the numerator of the Bernoulli number B_k then a certain eigenspace of the p-primary part of the ideal class group of the pth cyclotomic field is nontrivial. More precisely, for the cyclotomic field Q(ζ_p) with Galois group isomorphic to (Z/pZ)^× and Teichmüller character ω, Herbrand proved one implication linking divisibility of B_k by p to nonvanishing of the ω^{1−k}-isotypic component of the p-Sylow subgroup of the class group; Ribet established the converse, completing the equivalence. This statement intertwines ideas from Kummer theory, Class field theory, Cyclotomic fields, Galois cohomology, and the theory of Modular forms developed by Goro Shimura, Yutaka Taniyama, and Gerhard Frey.
The origins trace to Ernst Kummer's 19th-century work on Fermat's Last Theorem and his study of ideal class groups in cyclotomic fields, which influenced Richard Dedekind and Leopold Kronecker. In the 1930s Jacques Herbrand used early Artin reciprocity ideas and analytic properties of Bernoulli numbers to prove one direction. Decades later, Ribet exploited results of Ribet together with developments in the theory of Hecke algebras, Eisenstein series and Galois representations to prove the converse, influenced by breakthroughs from Andrew Wiles, Barry Mazur, Kenneth A. Ribet, Jean-Pierre Serre, and Kenkichi Iwasawa. The theorem provided motivation for work by Kazuya Kato, Ralph Greenberg, R. L. Taylor, and Richard Taylor in Iwasawa-theoretic and modularity directions. Historical networks include interactions with Hilbert class field research, Mordell–Weil theorem perspectives, and arithmetic geometry shaped by Grothendieck and Alexander Grothendieck's school.
Herbrand's original argument used class field theory, properties of Bernoulli numbers, and cyclotomic units, leveraging tools from Emil Artin's reciprocity, Leopold Kronecker's Jugendtraum, and early Galois cohomology notions later formalized by Jean-Pierre Serre and John Tate. Ribet's converse employed construction of certain cusp forms and congruences between Eisenstein series and cuspidal eigenforms, invoking the Deligne–Serre lifting, Hecke algebras, and modularity phenomena explored by Shimura, Taniyama–Shimura, and Freely linked developments of Gerhard Frey. Key algebraic inputs include control of torsion in class groups via Iwasawa theory, deformation theory of Galois representations as developed by Mazur, and the Eisenstein ideal technique introduced in the work of Barry Mazur and Kenneth Ribet. Technical lemmas draw on the work of Serre–Tate, Grothendieck–Serre, and methods inspired by André Weil's formulations.
The theorem yields criteria for irregular primes as studied by Leopold Kronecker and Kummer, and underpins much of modern work in cyclotomic Iwasawa theory as developed by Kenkichi Iwasawa and later researchers like Ralph Greenberg and Cornelius Greither. It has been used in proofs and formulations related to special cases of the Main conjecture of Iwasawa theory as approached by Barry Mazur, Andrew Wiles, Ken Ribet, Karl Rubin, Kazuya Kato, and Victor Kolyvagin. Consequences touch on the structure of class groups in extensions studied by David Hilbert and have implications for explicit reciprocity laws investigated by John Coates and Robert Coleman. The interplay with modular forms influenced the strategy of Andrew Wiles in his proof concerning Fermat's Last Theorem and continues to inform computational and theoretical work by William Stein, Henri Darmon, and Bjorn Poonen.
Concrete instances involve small irregular primes such as 37, 59, and 67 whose irregularity indices were tabulated by early computational efforts of Siegfried Ulam-era mathematicians and later refined by computational algebraists like John Cremona, William Stein, and Karl Rubin. For p = 37, the divisibility of certain Bernoulli numerators yields a nontrivial ω^{1−k}-eigenspace in the 37-class group of Q(ζ_37), a computation accessible to algorithms in PARI/GP and implementations used by researchers including H. Cohen and J.-M. De Koninck. Modern computer algebra systems developed by teams around John Cremona and William Stein facilitate explicit class group calculations, while databases maintained by institutions like Mathematical Sciences Research Institute and projects led by L-functions and Modular Forms Database contributors provide empirical evidence.
Generalizations include refinements in the context of the Main conjecture of Iwasawa theory proved in many cases by Barry Mazur, Andrew Wiles, Victor Kolyvagin, and Karl Rubin, and extensions to totally real fields pursued by John Coates, Ralph Greenberg, and Kazuya Kato. Related theorems connect to Stickelberger's theorem studied by Ludwig Stickelberger, refinements by Tate, and the study of Eisenstein ideals in the work of Mazur and Ribet. The landscape also intersects with the modularity lifting theorems of Freitag, Richard Taylor, Francesc Fité, and Michael Harris, and with explicit reciprocity and Euler system techniques developed by Kolyvagin and Karl Rubin. Ongoing research links the Herbrand–Ribet paradigm to conjectures of Bloch–Kato and investigations in the arithmetic of motives by Uwe Jannsen and Kazuya Kato.