Dirichlet class number formula

Dirichlet class number formula
Name	Dirichlet class number formula
Field	Number theory
Discovered by	Peter Gustav Lejeune Dirichlet
Year	1837
Related	Class number, L-series, Dedekind zeta function, quadratic field

Dirichlet class number formula The Dirichlet class number formula relates analytic values of L-series to algebraic invariants of quadratic number fields, connecting class numbers, regulators, units, and roots of unity with special values of L-functions. It sits at the intersection of algebraic number theory and analytic number theory, influencing work by Euclid, Gauss, Riemann, Dedekind, Hilbert, and Hecke. The formula underlies progress in the study of quadratic forms, the distribution of primes, and the development of Iwasawa theory, Birch–Swinnerton-Dyer conjecture, and modern arithmetic geometry.

Introduction

The formula was introduced by Peter Gustav Lejeune Dirichlet in the study of arithmetic progressions and quadratic forms, building on antecedents such as Carl Friedrich Gauss's Disquisitiones Arithmeticae, Johann Carl Friedrich Gauss's class number problems, and Adrien-Marie Legendre's tables. Dirichlet's work influenced Bernhard Riemann's investigation of zeta functions and Richard Dedekind's algebraic concept of ideals. Later developments involved Ernst Kummer, David Hilbert, Heinrich Weber, and Erich Hecke. The statement ties together the Dedekind zeta function, the regulator first studied by Joseph-Louis Lagrange and Augustin-Louis Cauchy, and the notion of roots of unity familiar from Évariste Galois and Niels Henrik Abel.

Statement of the formula

For an algebraic number field K of degree n with ring of integers O_K, Dirichlet's analytic class number formula expresses the leading term of the Dedekind zeta function ζ_K(s) at s = 1 in terms of arithmetic invariants introduced by Carl Gustav Jacob Jacobi, Leopold Kronecker, and Heinrich Eduard Heine. Let r_1 and r_2 denote the numbers of real and complex embeddings following the conventions of Richard Dedekind and David Hilbert, h_K the class number in the sense of Ernst Kummer, R_K the regulator building on work by Adrien-Marie Legendre, w_K the number of roots of unity echoing Évariste Galois, and d_K the discriminant connected to Johann Peter Gustav Lejeune Dirichlet. Then the formula reads (up to notation standardised by Heinrich Minkowski and Helmut Hasse): the residue lim_{s→1} (s−1) ζ_K(s) equals (2^{r_1} (2π)^{r_2} h_K R_K) / (w_K √|d_K|). Special cases include imaginary quadratic fields studied by Gauss and real quadratic fields analysed by Dirichlet himself; the role of L-series attached to Dirichlet characters links to the distribution results of Peter Gustav Lejeune Dirichlet on primes in arithmetic progressions and to Hecke L-series introduced by Erich Hecke.

Proof outline

Dirichlet's original proof used ideas from analytic continuation and nonvanishing of L-series at s = 1, inspired by Bernhard Riemann's methods in the study of ζ(s) and later refined by Richard Dedekind and Heinrich Weber. Modern expositions invoke Tate's thesis and adelic harmonic analysis developed by John Tate and André Weil, with input from Emil Artin and Helmut Hasse on L-functions and class field theory. Key steps include decomposing ζ_K(s) via Hecke characters introduced by Erich Hecke and Eisenstein series studied by Srinivasa Ramanujan and Carl Ludwig Siegel, isolating the simple pole at s = 1 akin to Riemann's proof of the prime number theorem later refined by Atle Selberg, and relating the residue to volumes of fundamental domains in the sense of Hermann Minkowski and Claude Chevalley. The use of regulators stems from logarithmic embeddings formalised by Alexander Grothendieck and André Weil, while the finiteness of class group follows from Minkowski's theorem and work by Helmut Hasse and Emmy Noether.

Applications and consequences

The formula has consequences across algebraic number theory, influencing the class number problem posed by Carl Friedrich Gauss, the development of class field theory advanced by Emil Artin and Helmut Hasse, and effective results on units rooted in work of Alan Baker and Kurt Mahler. It links to the Birch–Swinnerton-Dyer conjecture framed by Bryan Birch and Peter Swinnerton-Dyer through analogy between special values of L-functions and arithmetic invariants, and feeds into Iwasawa theory pioneered by Kenkichi Iwasawa and Ralph Greenberg. Computational approaches to class numbers use algorithms by John Buchmann and Hendrik Lenstra, while conjectures of Stark, Brumer, and Gross relate refinements of the formula to special values studied by Harold Stark and Benedict Gross. Results on the distribution of primes in arithmetic progressions echo Dirichlet's theorem and relate to the Chebotarev density theorem developed by Nikolai Chebotarev and Frobenius.

Examples

- Imaginary quadratic fields: Gauss catalogued small discriminants and class numbers, with later computations by Hendrik Lenstra and David A. Cox verifying class numbers h_K = 1 for nine Heegner discriminants studied by Kurt Heegner, Bryan Birch, and Harold Stark. - Real quadratic fields: Dirichlet's unit theorem and Pell's equation historically linked to Lagrange and Pierre de Fermat; explicit regulators can be computed using continued fractions as in the work of Joseph-Louis Lagrange and Srinivasa Ramanujan. - Cyclotomic fields: Kummer's study of FLT and roots of unity via Ernst Kummer and Leopold Kronecker provide prototypical calculations where w_K equals Euler's cyclotomic order studied by Carl Friedrich Gauss. These examples follow computational traditions extending through John Tate, Eric Bach, and Andrew Granville.

Generalizations and refinements

Extensions include analytic class number formulas for Artin L-functions due to Emil Artin and for motives formulated by Pierre Deligne and Spencer Bloch, and equivariant refinements in nonabelian settings pursued by John Coates and Christopher Deninger. Iwasawa's main conjecture connects p-adic L-functions of Kenkichi Iwasawa to growth of class groups studied by Ralph Greenberg and Barry Mazur. Stark conjectures of Harold Stark propose refinements relating derivatives of L-functions to units, extended by Barry Mazur and Karl Rubin in the study of Euler systems, while Bloch–Kato conjectures by Spencer Bloch and Kazuya Kato offer vast generalizations connecting special values to Selmer groups, influenced by Jean-Pierre Serre and Alexander Grothendieck. Recent work by Peter Scholze, Jacob Lurie, and Bhargav Bhatt develops new tools that may yield further refinements linking p-adic Hodge theory to special value formulae.

Category:Algebraic number theory