Le phénomène en théorie algébrique des nombres par lequel des classes d'idéaux d'un corps de nombres deviennent principales dans une extension finie ; autrement dit, certains éléments du groupe des classes sont envoyés sur la classe triviale par l'application de transfert (ou d'extension), révélant un échec d'injectivité des morphismes de groupes de classes sous extension.

Principe

Pour une extension de corps de nombres L/K, l'application naturelle Cl(K) → Cl(L) peut avoir un noyau non trivial ; la capitulation se produit lorsque des classes d'idéaux non triviales de K sont représentées par des idéaux principaux dans L, souvent étudiée via les applications de transfert, les relations de norme et la théorie du corps de classes.

Démonstration

Dans le corps de classes de Hilbert H de K (l'extension abélienne maximale non ramifiée), tout idéal de K devient principal dans H, donc le groupe des classes tout entier capitule dans H ; des exemples plus fins étudient quels sous-groupes de Cl(K) capitulent dans certaines extensions intermédiaires.

Mauvaise application

Conclure que la capitulation implique la trivialité des groupes de classes dans toutes les extensions, ou supposer que des schémas de capitulation observés dans des familles particulières se généralisent sans vérification ; ou confondre la capitulation des classes d'idéaux avec des phénomènes non liés pour les unités ou d'autres invariants arithmétiques.

Conséquence

La capitulation diagnostique la façon dont les groupes de classes changent sous extension, informe la structure du transfert des classes d'idéaux et constitue un ingrédient crucial pour comprendre les tours de corps de classes et le comportement des extensions non ramifiées ; elle peut être utilisée pour construire des idéaux principaux à partir de classes.

Inversion

La non-capitulation est la situation opposée où des classes de Cl(K) restent non triviales dans chaque extension considérée, indiquant l'injectivité de l'application d'extension pour ces classes et la persistance de l'obstruction arithmétique à la principality.

Limite

Concerne les groupes de classes d'idéaux et les extensions finies de corps de nombres (ou analogues locaux) ; ne se rapporte pas à des images modulaires quelconques ni à des phénomènes étrangers à la principality des idéaux, et son comportement dépend de la ramification et de la structure galoisienne de l'extension.

Tension sémantique

Tension entre voir la capitulation comme un échec d'injectivité (une pathologie des applications de transfert) et la considérer comme un outil constructif permettant d'obtenir des idéaux principaux dans des corps plus grands ; différentes perspectives mettent l'accent sur la perte d'information ou sur la principality acquise.

Synthèse

La capitulation est le phénomène par lequel certaines classes d'idéaux d'un corps de base deviennent principales dans une extension, encodant le noyau de l'application de transfert des groupes de classes et servant à la fois de diagnostic de l'échec d'injectivité et de méthode pour réaliser des classes par des idéaux principaux dans des corps plus grands.