Analytic Class Number Formula

The analytic class number formula is the central theorem of algebraic number theory, relating the arithmetic invariants of a number field to the analytic properties of its Dedekind zeta function. For a number field K, the Dedekind zeta function ζ_K(s) has a simple pole at s = 1, and the residue at this pole is given by a formula involving the class number h_K, the regulator R_K, the number of roots of unity w_K, and the discriminant D_K. Specifically, the residue is (2^{r} (2π)^{s} h_K R_K) / (w_K √|D_K|), where r and s are the numbers of real and complex embeddings. This formula was first proved completely for quadratic fields by Dirichlet before the general theory was developed.

The analytic class number formula is not a mere identity. It is a structural statement: the arithmetic of the field (encoded in h_K and R_K) is exactly the analytic residue of its zeta function. This means that the class number — the most mysterious arithmetic invariant — is determined by the behavior of the zeta function at a single point. The formula is the prototype for the broader Langlands program, which seeks to relate arithmetic invariants to the analytic properties of automorphic L-functions. The formula also provides the most powerful computational method for determining class numbers: by computing the zeta function numerically and extracting the residue, one can recover h_K. The formula connects the discrete world of ideals and units to the continuous world of complex analysis, and in doing so it reveals that these two worlds are not separate but are two descriptions of the same underlying structure.