Théorie du corps de classes
La théorie du corps de classes est l'aboutissement de la théorie algébrique des nombres : elle classifie toutes les extensions abéliennes d'un corps de nombres en termes de l'arithmétique propre à ce corps, généralisant la réciprocité quadratique à une loi de réciprocité d'une portée considérable.
Definition
La théorie du corps de classes établit une correspondance entre les extensions abéliennes finies d'un corps de nombres et certains groupes quotients de son groupe de classes d'idèles (ou groupes de classes d'idéaux généralisés), l'application de réciprocité d'Artin fournissant un isomorphisme canonique sur le groupe de Galois de chaque extension.
Scope
Ce sujet couvre les principaux théorèmes de la théorie du corps de classes dans leurs formulations classique et idéliques : la loi de réciprocité d'Artin et l'application d'Artin des groupes de classes d'idéaux généralisés aux groupes de Galois, le théorème d'existence associant les sous-groupes de congruence aux extensions abéliennes, les conducteurs, le corps de classes de Hilbert comme extension abélienne maximale non ramifiée, le théorème de Kronecker-Weber réalisant les extensions abéliennes des rationnels à l'intérieur des corps cyclotomiques, et le rôle de la théorie locale du corps de classes.
Core questions
- Comment l'application d'Artin envoie-t-elle les données arithmétiques aux automorphismes de Galois, et pourquoi est-ce une loi de réciprocité ?
- Quels sous-groupes du groupe de classes d'idèles correspondent à quelles extensions abéliennes (le théorème d'existence) ?
- Qu'est-ce que le corps de classes de Hilbert, et comment son groupe de Galois reconstitue-t-il le groupe de classes d'idéaux ?
- Comment le théorème de Kronecker-Weber décrit-il chaque extension abélienne des nombres rationnels ?
Key theories
- Réciprocité d'Artin
- Pour une extension abélienne, l'application d'Artin envoyant chaque idéal premier non ramifié à son Frobenius s'étend à un isomorphisme d'un groupe de classes d'idéaux généralisé sur le groupe de Galois, une vaste généralisation de la réciprocité quadratique.
- Théorème d'existence et corps de classes de Hilbert
- Tout sous-groupe ouvert d'indice fini dans le groupe de classes d'idèles est le groupe des normes d'une unique extension abélienne ; le corps de classes de Hilbert est l'extension maximale non ramifiée, avec un groupe de Galois canoniquement isomorphe au groupe de classes d'idéaux.
- Théorème de Kronecker-Weber
- Toute extension abélienne finie des nombres rationnels est contenue dans un corps cyclotomique engendré par des racines de l'unité, le premier et prototypique exemple de la théorie explicite du corps de classes.
Clinical relevance
La théorie du corps de classes encadre le programme de Langlands et les résultats de modularité qui sous-tendent la preuve du dernier théorème de Fermat ; des formes explicites, y compris la multiplication complexe, sont également à l'origine de constructions utilisées en cryptographie basée sur les courbes elliptiques et les isogénies.
History
Hilbert a conjecturé l'existence du corps de classes et a posé des problèmes directeurs vers 1900. Takagi a prouvé le théorème d'existence en 1920, Artin a établi la loi de réciprocité en 1927, et l'introduction des idèles par Chevalley dans les années 1930 a donné à la théorie sa forme adélique moderne, préparant le terrain pour le programme de Langlands.
Key figures
- David Hilbert
- Teiji Takagi
- Emil Artin
- Helmut Hasse
Related topics
Seminal works
- cox2013
Frequently asked questions
- Comment la théorie du corps de classes est-elle liée à la réciprocité quadratique ?
- La réciprocité quadratique est le cas le plus simple : elle décrit l'extension abélienne obtenue en adjoignant une racine carrée, et la réciprocité d'Artin la généralise à toutes les extensions abéliennes de tout corps de nombres.
- Qu'est-ce que le corps de classes de Hilbert ?
- C'est la plus grande extension abélienne d'un corps de nombres qui est non ramifiée partout ; son groupe de Galois est naturellement isomorphe au groupe de classes d'idéaux du corps, de sorte que son degré est égal au nombre de classes.