L'homomorphisme de réciprocité canonique de groupe des idèles‑classes (ou du groupe des classes d'idéaux) d'un corps global ou local vers son groupe de Galois abélianisé qui enregistre les Frobenius ou l'action géométrique des places et réalise la correspondance de la théorie du corps de classes entre extensions abéliennes et groupes de classes.

Principe

Identifier des classes arithmétiques (classes d'idéaux ou d'idèles) avec des actions galoisiennes en envoyant une classe vers l'automorphisme qu'elle induit sur les extensions abéliennes finies ; l'application d'Artin est le pont qui transforme des données multiplicatives de classes en éléments du groupe de Galois et établit les lois de réciprocité.

Démonstration

Pour une extension abélienne finie, associer à une place non ramifiée son élément de Frobenius ; étendre alors multiplicativement aux idéaux et compléter en une application des classes d'idèles qui se factorise sur le groupe de Galois abélien ; cette application explicite fournit l'isomorphisme de réciprocité de la théorie du corps de classes au cas global.

Mauvaise application

Employer l'affectation naïve de Frobenius hors de son domaine (en ignorant la ramification, la normalisation locale ou le choix de mesure idèlique) ou considérer l'application d'Artin définie sans les complétions topologiques et les hypothèses de continuité nécessaires conduit à des identifications erronées.

Conséquence

L'application d'Artin fournit une description explicite du groupe de Galois abélien en termes de classes arithmétiques, permettant la classification des extensions abéliennes, la formulation des lois de réciprocité et le calcul des éléments de Frobenius à partir des données de classes d'idéaux.

Inversion

L'inversion consiste à tenter de reconstruire des classes d'idéaux ou d'idèles uniquement à partir d'éléments arbitraires du groupe de Galois sans la structure de réciprocité ; sans l'application d'Artin une telle inversion naïve n'a pas de sens arithmétique canonique et ne permet pas de retrouver l'information de classe.

Limite

Objet central de la théorie locale et globale du corps de classes reliant idèles/idéaux et groupes de Galois abéliens ; il ne se généralise pas immédiatement aux groupes de Galois non abéliens sans structures supplémentaires (la correspondance de Langlands remplace ce rôle en contexte non abélien), et sa forme exacte dépend des normalisations et topologies choisies.

Tension sémantique

Il existe une tension entre l'affectation concrète de Frobenius aux places non ramifiées et la formulation idèlique topologique requise pour les places ramifiées ou infinies ; les praticiens confondent parfois la carte naïve de Frobenius avec l'homomorphisme d'Artin complet qui exige complétions et normalisations de réciprocité.

Synthèse

L'application d'Artin est l'homomorphisme de réciprocité qui convertit l'information des classes d'idéaux ou d'idèles en automorphismes galoisiens abéliens : associer Frobenius aux places, étendre multiplicativement et topologiquement, et réaliser ainsi la correspondance de la théorie du corps de classes entre classes arithmétiques et extensions abéliennes.