Class number formula

In number theory, the class number formula relates many important invariants of a number field to a special value of its Dedekind zeta function

General statement of the class number formula

Let K be a number field with [K:Q]=n=r₁+2r₂, where $r_{1}$ denotes the number of real embeddings of K, and $r_{2}$ is the number of complex embeddings of K. Let

\zeta _{K}(s)\,

be the Dedekind zeta function of K. Also define the following invariants:

$h_{K}$ is the class number, the number of elements in the ideal class group of K.
$\operatorname {Reg} _{K}$ is the regulator of K.
$w_{K}$ is the number of roots of unity contained in K.
$D_{K}$ is the discriminant of the extension K/Q.

Then:

Theorem 1 (Class Number Formula) The Dedekind zeta function of K, $\zeta _{K}(s)$ converges absolutely for $\Re (s)>1$ and extends to a meromorphic function defined for all complex s with only one simple pole at s = 1, with residue

\lim _{s\to 1}(s-1)\zeta _{K}(s)={\frac {2^{r_{1}}\cdot (2\pi )^{r_{2}}\cdot h_{K}\cdot \operatorname {Reg} _{K}}{w_{K}\cdot {\sqrt {|D_{K}|}}}}

This is the most general "class number formula". In particular cases, for example when K is a cyclotomic extension of Q, there are particular and more refined class number formulas.

Galois extensions of the rationals

If K is a Galois extension of Q, the theory of Artin L-functions applies to $\zeta _{K}(s)$ . It has one factor of the Riemann zeta function, which has a pole of residue one, and the quotient is regular at s = 1. This means that the right-hand side of the class number formula can be equated to a left-hand side

Π L(1,ρ)^{dim ρ}

with ρ running over the classes of irreducible non-trivial complex linear representations of Gal(K/Q) of dimension dim(ρ). That is according to the standard decomposition of the regular representation.

Abelian extensions of the rationals

This is the case of the above, with Gal(K/Q) an abelian group, in which all the ρ can be replaced by Dirichlet characters (via class field theory) for some modulus f called the conductor. Therefore all the L(1) values occur for Dirichlet L-functions, for which there is a classical formula, involving logarithms.

By the Kronecker–Weber theorem, all the values required for an analytic class number formula occur already when the cyclotomic fields are considered. In that case there is a further formulation possible, as shown by Kummer. The regulator, a calculation of volume in 'logarithmic space' as divided by the logarithms of the units of the cyclotomic field, can be set against the quantities from the L(1) recognisable as logarithms of cyclotomic units. There result formulae stating that the class number is determined by the index of the cyclotomic units in the whole group of units.

In Iwasawa theory, these ideas are further combined with Stickelberger's theorem.

Dirichlet class number formula

This exposition follows Davenport.^[1] The first class number formula was proved by Dirichlet in 1839, but it was proved about classes of quadratic forms rather than classes of ideals. Let d be a fundamental discriminant, and write h(d) for the number of equivalence classes of quadratic forms with discriminant d. Let $\chi =\left(\!{\frac {d}{m}}\!\right)$ be the Kronecker symbol. Then χ is a Dirichlet character. Write L(s, χ) for the Dirichlet L-series based on χ. For d > 0, let t > 0, u > 0 be the solution to the Pell equation $t^{2}-du^{2}=4$ for which u is smallest, and write

\epsilon ={\frac {1}{2}}(t+u{\sqrt {d}}).

(Then ε is either a fundamental unit of the real quadratic field $\mathbb {Q} ({\sqrt {d}})$ or the square of a fundamental unit.) For d < 0, write w for the number of automorphs of quadratic forms of discriminant d; that is,

w={\begin{cases}2,&d<-4;\\4,&d=-4;\\6,&d=-3.\end{cases}}

Then Dirichlet showed that

h(d)={\begin{cases}{\frac {w{\sqrt {|d|}}}{2\pi }}L(1,\chi ),&d<0;\\{\frac {\sqrt {d}}{\ln \epsilon }}L(1,\chi ),&d>0.\end{cases}}

This is a special case of Theorem 1 above: for a quadratic field K, the Dedekind zeta function is just $\zeta _{K}(s)=\zeta (s)L(s,\chi )$ , and the residue is $L(1,\chi )$ . Dirichlet also showed that the L-series can be written in a finite form, which gives a finite form for the class number. We have

L(1,\chi )={\begin{cases}-{\frac {\pi }{|d|^{3/2}}}\sum _{m=1}^{|d|}m\left({\frac {d}{m}}\right),&d<0;\\-{\frac {1}{d^{1/2}}}\sum _{m=1}^{d}\left({\frac {d}{m}}\right)\ln \sin {\frac {m\pi }{d}},&d>0.\end{cases}}

Notes

^ Davenport, Harold (2000). Montgomery, Hugh L. (ed.). Multiplicative Number Theory. Graduate Texts in Mathematics. Vol. 74 (3rd ed.). New York: Springer-Verlag. pp. 43–53. ISBN 978-0-387-95097-6. Retrieved 2009-05-26.

References

W. Narkiewicz (1990). Elementary and analytic theory of algebraic numbers (2nd ed ed.). Springer-Verlag/Polish Scientific Publishers PWN. pp. 324–355. ISBN 3-540-51250-0. {{cite book}}: |edition= has extra text (help)

This article incorporates material from Class number formula on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

[Davenport-1] Davenport, Harold (2000). Montgomery, Hugh L. (ed.). Multiplicative Number Theory. Graduate Texts in Mathematics. Vol. 74 (3rd ed.). New York: Springer-Verlag. pp. 43–53. ISBN 978-0-387-95097-6. Retrieved 2009-05-26.

[1]

v t e L-functions in number theory
Analytic examples	Riemann zeta function Dirichlet L-functions L-functions of Hecke characters Automorphic L-functions Selberg class
Algebraic examples	Dedekind zeta functions Artin L-functions Hasse–Weil L-functions Motivic L-functions
Theorems	Analytic class number formula Riemann–von Mangoldt formula Weil conjectures
Analytic conjectures	Riemann hypothesis Generalized Riemann hypothesis Lindelöf hypothesis Ramanujan–Petersson conjecture Artin conjecture
Algebraic conjectures	Birch and Swinnerton-Dyer conjecture Deligne's conjecture Beilinson conjectures Bloch–Kato conjecture Langlands conjecture
p-adic L-functions	Main conjecture of Iwasawa theory Selmer group Euler system