Le sous-groupe du groupe des classes d'idéaux d'un corps global formé des classes d'idéaux qui deviennent principales dans une extension finie donnée ; de façon équivalente, le noyau de l'application de transfert (ou de capitulation) naturelle du groupe des classes du corps de base vers celui de l'extension.

Principe

La capitulation mesure la principalisation lors d'une extension : une classe capitule précisément lorsque son image par l'application de transfert s'annule, de sorte que le noyau de capitulation organise quelles obstructions idélètiques globales sont levées en passant à l'extension.

Démonstration

Pour le corps de classes de Hilbert H d'un corps K, toute classe d'idéaux de K devient principale dans H, donc le noyau de capitulation pour H/K est l'ensemble complet Cl(K) ; dans une extension cyclique de degré p on peut calculer le noyau de capitulation comme noyau de l'application induite sur les groupes de classes et observer une capitulation partielle d'un sous-groupe de Cl(K).

Mauvaise application

Confondre le noyau de capitulation avec le noyau de l'application norme sur les idéaux ou avec le groupe des classes ambigües ; le noyau de capitulation concerne la principalisation des classes dans l'extension, et non pas simplement les classes fixées par l'action galoisienne ou envoyées trivialement par la norme sur les idéaux.

Conséquence

Identifier le noyau de capitulation contraint la croissance du groupe des classes et détermine quelles obstructions de la théorie du corps de classes disparaissent dans l'extension ; il oriente la construction d'extensions non ramifiées supplémentaires et éclaire la structure du module galoisien Cl(L).

Inversion

Le phénomène complémentaire est la persistance : des classes qui restent non principales dans toute extension d'un type donné, produisant des obstructions stables à la principalisation et traduisant des invariants arithmétiques plus profonds.

Limite

Défini pour des extensions finies de corps globaux (corps de nombres ou corps de fonctions globaux) relativement aux groupes de classes d'idéaux ; il ne s'applique pas directement aux corps locaux, aux groupes de Picard de schémas sans traduction en classes de diviseurs, ni aux contextes où il n'existe pas d'application de transfert naturelle sur les groupes de classes.

Tension sémantique

Proche du groupe des classes ambigües (classes fixées par Galois) et des noyaux des applications norme ; la tension tient à la principalisation par opposition à la fixité galoisienne ou la norme triviale, qui coïncident uniquement dans des situations particulières.

Synthèse

Le noyau de capitulation est le sous-groupe des classes d'idéaux éliminées en passant à une extension choisie ; comme noyau de l'application de transfert il encapsule quelles obstructions idélètiques globales sont supprimées par cette extension et relie ainsi les constructions concrètes de corps de classes à l'arithmétique de la principalisation.