Formule du nombre de classes

En théorie des nombres, la formule du nombre de classes relie de nombreux invariants importants d'un corps de nombres à une valeur spécifique de sa fonction zêta de Dedekind.

Énoncé général de la formule du nombre de classes

Nous partons des données suivantes :

Alors:

Théorème (formule du nombre de classes). ζK(s) converge absolument pour Re(s) > 1 et se prolonge en une fonction méromorphe définie pour tout complexe s avec un seul pôle simple en s = 1, de résidu

Il s'agit de la formule du nombre de classes la plus générale. Dans des cas particuliers, par exemple lorsque K est une extension cyclotomique de Q, il existe des formules particulières et plus raffinées.

Preuve

L'idée de la preuve de la formule du nombre de classes est plus facile à voir lorsque K = Q(i). Dans ce cas, l'anneau des entiers sur K sont les entiers de Gauss.

Une manipulation élémentaire montre que le résidu de la fonction zêta de Dedekind en s = 1 est la moyenne des coefficients de la représentation en série de Dirichlet de la fonction zêta de Dedekind. Le n-ième coefficient de la série de Dirichlet est essentiellement le nombre de représentations de n sous la forme d'une somme de deux carrés d'entiers non négatifs. On peut donc calculer le résidu de la fonction zêta de Dedekind à s = 1 en calculant le nombre moyen de représentations. Comme dans l'article sur le problème du cercle de Gauss, on peut calculer cette quantité en approximant le nombre de points de réseau à l'intérieur d'un quart de cercle centré à l'origine, concluant que le résidu est un quart de pi.

La preuve lorsque K est un corps de nombres quadratiques imaginaires arbitraires est très similaire[1].

Dans le cas général, d'après le théorème des unités de Dirichlet, le groupe d'unités dans l'anneau des entiers de K est infini. On peut néanmoins réduire le calcul du résidu à un problème de comptage de points de réseau en utilisant des plongements réels et complexes[2] et approximer le nombre de points de réseau dans une région par le volume de la région, pour compléter la preuve.

Formule du nombre de classes de Dirichlet

Peter Gustav Lejeune Dirichlet publia une preuve de la formule du nombre de classes pour les cours quadratiques en 1839, mais énoncée dans le langage des formes quadratiques plutôt que des classes d'idéaux. Il semble que Gauss connaissait déjà cette formule en 1801[3].

L'exposition suit celle de Davenport[4].

Soit d un discriminant fondamental, et notons h(d) le nombre de classes d'équivalence des formes quadratiques de discriminant d. Soit le symbole Kronecker. Alors est un caractère de Dirichlet. Soit la série L de Dirichlet pour . Pour d > 0, soient t > 0, u > 0 la solution de l'équation de Pell pour lequel u est minimale, posons

(Alors est soit une unité fondamentale de ou le carré d'une unité fondamentale. ) Pour d < 0, notons w le nombre d'automorphismes de formes quadratiques du discriminant d ; on sait que,

Alors Dirichlet a montré que

C'est un cas particulier du théorème énoncé ci-dessus : pour un corps quadratique K, la fonction zêta de Dedekind est donnée par , et le résidu en 1 est .

Références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Class number formula » (voir la liste des auteurs).
  1. https://www.math.umass.edu/~weston/oldpapers/cnf.pdf
  2. « Real and complex embeddings »
  3. « Did Gauss know Dirichlet's class number formula in 1801? », MathOverflow,
  4. Harold Davenport, Multiplicative Number Theory, vol. 74, New York, Springer-Verlag, coll. « Graduate Texts in Mathematics », , 43–53 p. (ISBN 978-0-387-95097-6, lire en ligne)

Lectures complémentaires

  • Portail des mathématiques
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.