## [Réciprocité d'Artin](/fr/node/63763) Définition Une assertion fondamentale de la théorie du corps de classes global qui fournit un isomorphisme canonique (ou une application de réciprocité surjective) entre le groupe des idèles d'un corps global et le groupe de Galois absolu abélien, identifiant des données arithmétiques avec des caractères et des éléments de Frobenius. ## Principe Principe Les extensions abéliennes d'un corps global correspondent aux sous-groupes ouverts du groupe des idèles : les éléments de Frobenius locaux en les places correspondent à des classes idéliques et les caractères sur le groupe des idèles paramètrent les caractères galoisiens abéliens, réalisant une loi de réciprocité. ## Démonstration Démonstration Sur les rationnels, la réciprocité d'Artin identifie le quotient des idèles par Q* avec le groupe de Galois de l'extension abélienne maximale ; concrètement, la décomposition des premiers dans les extensions abéliennes est gouvernée par l'image des uniformisantes locales par l'application de réciprocité (éléments de Frobenius). ## Mauvaise application Mauvaise application Appliquer la réciprocité d'Artin aux extensions non abéliennes ou attendre un analogue direct pour des groupes de Galois arbitraires : le théorème concerne strictement les groupes de Galois abélianisés et ne doit pas être utilisé pour déduire des correspondances non abéliennes sans structure supplémentaire. ## Conséquence Conséquence Fournit une description complète des extensions abéliennes des corps globaux, soutient la formulation des conducteurs et des fonctions L pour les caractères, et impose la contrainte de réciprocité globale utilisée pour calculer le comportement de décomposition des premiers. ## Inversion Inversion La réciprocité locale (les applications locales inverses entre groupes multiplicatifs locaux et groupes de Galois locaux) complète la réciprocité globale, mais une inversion non abélienne complète—remplacer les classes idéliques par des objets non abéliens pour récupérer les groupes de Galois entiers—reste hors du champ de la théorie classique et est l'objet de conjectures profondes. ## Limite Limite S'applique aux corps globaux (corps de nombres et corps de fonctions de courbes sur des corps finis) et à leurs extensions abéliennes ; elle exclut les extensions non abéliennes et requiert de travailler avec les idèles, les complétions et la notion topologique d'ouvert pour la correspondance. ## Tension sémantique Tension sémantique Se situe à la frontière du programme de Langlands et des conjectures de réciprocité : la tension porte entre la classification abélienne concrète par les idèles et la réciprocité non abélienne plus vaste qui cherche des paramétrisations analogues par des données automorphes. ## Synthèse Synthèse La réciprocité d'Artin est le dictionnaire classique et bijectif de la théorie du corps de classes abélienne : elle identifie l'arithmétique des extensions abéliennes aux caractères du groupe des idèles, encode la décomposition et le comportement de Frobenius, et constitue le noyau abélien contre lequel se mesurent les généralisations non abéliennes.