Un ensemble de résultats qui classifie les extensions abéliennes de corps globaux et locaux en termes de données arithmétiques du corps de base, fournissant des lois de réciprocité explicites et une correspondance entre extensions abéliennes finies et sous-groupes ouverts d'un groupe arithmétique approprié (groupe des idèles ou groupes de classes de modules).

Principe

Le principe organisateur est la réciprocité d'Artin : une application de réciprocité canonique et surjective d'un groupe arithmétique (groupe des idèles pour les corps globaux ou groupe multiplicatif modulo normes pour les corps locaux) vers le groupe de Galois abélianisé identifie des sous-groupes avec des extensions abéliennes et encode la compatibilité locale-globale et les conducteurs.

Démonstration

Le corps de Hilbert d'un corps de nombres est l'extension abélienne maximale non ramifiée dont le groupe de Galois est isomorphe au groupe des classes de l'anneau des entiers du corps de base ; connaître ce corps réalise l'arithmétique liée aux classes d'idéaux comme une extension de corps concrète, exemple global illustratif.

Mauvaise application

Considérer la théorie du corps de classes comme décrivant des extensions non abéliennes ou s'attendre à des générateurs explicites pour des corps quelconques sans l'hypothèse abélienne ; de nombreux phénomènes en théorie de Galois non abélienne dépassent ce cadre et requièrent le programme de Langlands ou d'autres méthodes non abéliennes.

Conséquence

Donne des descriptions explicites des groupes de Galois abéliens en termes d'invariants arithmétiques, produit des lois de réciprocité (généralisant la réciprocité quadratique) et fournit des outils pour construire et analyser les extensions abéliennes, les conducteurs et les fonctions L centraux en théorie algébrique des nombres.

Inversion

Avec la connaissance du groupe de Galois abélien ou d'une extension abélienne donnée, on peut déduire des propriétés arithmétiques du corps de base (groupe des classes, comportement de ramification, conducteurs) en lisant comment les sous-groupes correspondent aux corps intermédiaires via la carte de réciprocité.

Limite

S'applique uniquement aux extensions abéliennes (commutatives) de corps locaux ou globaux ; elle ne classe pas les extensions non abéliennes et requiert généralement le langage des idèles, des groupes de classes de modules ou des groupes de normes locaux pour énoncer les correspondances et conducteurs de façon précise.

Tension sémantique

S'oppose au programme plus vaste de Langlands, qui vise à relier extensions non abéliennes et représentations automorphes ; la théorie du corps de classes est la pierre angulaire abélienne et est parfois confondue avec des ambitions de réciprocité générale nécessitant des outils non abéliens plus profonds.

Synthèse

La théorie du corps de classes est le cadre de réciprocité arithmétique qui identifie les extensions de Galois abéliennes d'un corps avec des sous-groupes explicites de ses structures d'idèles ou de classes de modules via la réciprocité d'Artin, convertissant des données idéales et locales en une classification des extensions abéliennes.