Énoncé central de la théorie du corps de classes globale qui construit une application de réciprocité canonique du groupe des idèles-classes d'un corps global vers le groupe de Galois abélianisé de son extension abélienne maximale, reliant ainsi les caractères continus des idèles aux extensions abéliennes et généralisant la réciprocité quadratique.

Principe

Les extensions abéliennes d'un corps global correspondent aux sous-groupes ouverts d'indice fini du groupe des idèles-classes ; l'application de réciprocité identifie les éléments de Frobenius aux classes d'idèles et induit les isomorphismes prédits par le corps de classes.

Démonstration

Pour les corps de nombres, les extensions cyclotomiques et quadratiques se présentent comme images de caractères explicites sur les idèles-classes ; la réciprocité quadratique classique apparaît comme la restriction de la réciprocité d'Artin aux caractères quadratiques et aux groupes de classes de Ray.

Mauvaise application

S'attendre à une description directe et explicite de réciprocité pour des extensions non abéliennes ou traiter l'application de réciprocité comme toujours calculable de façon élémentaire ; négliger la nécessité de passer au quotient abélien et de prendre en compte conducteurs et ramifications conduit à un mauvais emploi.

Conséquence

Fournit une classification complète des extensions abéliennes finies des corps globaux, donne les conducteurs et lois de réciprocité gouvernant la décomposition des premiers et unifie de nombreux phénomènes de réciprocité en théorie des nombres.

Inversion

Supprimer l'hypothèse abélienne détruit la correspondance bijective ; les généralisations non abéliennes exigent des cadres très différents (et pour beaucoup conjecturaux) comme le programme de Langlands.

Limite

S'applique aux corps globaux (corps de nombres et corps de fonctions de courbes sur un corps fini) et à leurs extensions abéliennes ; il doit être formulé en tenant compte des ramifications, des conducteurs et des clôtures topologiques et ne s'applique pas aux extensions galoisiennes non abéliennes sans structure supplémentaire.

Tension sémantique

Souvent confondu avec la réciprocité locale (application d'Artin locale) ou avec des lois de réciprocité élémentaires ; sa caractéristique distincte est la formulation globale par idèles-classes reliant les caractères aux extensions abéliennes, et non de simples calculs de symboles locaux.

Synthèse

La réciprocité d'Artin synthétise réciprocité locale et globale en produisant une application canonique des idèles vers le groupe de Galois abélianisé : les caractères du groupe des idèles-classes paramètrent les extensions abéliennes, recouvrant les lois classiques comme cas particuliers et soulignant le rôle central de la topologie idélique et de la ramification.