Theorie des corps de classes


Theorie des corps de classes

Théorie des corps de classes

En mathématiques, la théorie du corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c'est-à-dire galoisiennes et de groupe de Galois commutatif, d'un corps donné. Plus précisément, il s'agit de décrire et de construire ces extensions en termes de propriétés arithmétiques du corps de base lui-même.

La plupart des résultats centraux ont été démontrés dans la période s'étendant entre 1900 et 1950. La théorie a été nommée ainsi en rapport avec les idées, conjectures et résultats de ses débuts, tel que le corps de classes de Hilbert, et s'organisa vers 1930.

De nos jours, le terme est généralement utilisé comme synonyme de l'étude de toutes les extensions abéliennes des corps de nombres algébriques (et plus généralement des corps globaux), mais aussi des corps de nombres p-adiques (et plus généralement des corps locaux).

Une autre ligne importante est la recherche de générateurs explicites pour les corps de classes de corps de nombres algébriques, c'est-à-dire de générateurs donnés par les valeurs de fonctions transcendantes. C'est le Kronecker Jugendtraum (rêve de jeunesse de Kronecker). Il n'est encore réalisé que pour de rares cas, notamment celui du corps des rationnels (théorème de Kronecker-Weber, où les générateurs sont des racines de l'unité, c'est-à-dire des valeurs de la fonction exponentielle), et des corps quadratiques imaginaires (cas des corps à multiplication complexe, où les générateurs sont des valeurs de fonctions elliptiques).

Sommaire

Formulation en langage contemporain

En langage moderne, il existe une extension abélienne maximale A de K, qui sera de degré infini sur K; et associée à A, un groupe de Galois G qui sera un groupe profini, donc un groupe topologique compact, et aussi abélien. Nous nous intéressons à la description de G en termes de K.

Le résultat fondamental de la théorie des corps de classes établit que le groupe G est naturellement isomorphe à la complétion profinie du groupe de classes d'idèles de K. Par exemple, lorsque K est le corps des nombres rationnels, le groupe de Galois G est (naturellement isomorphe à) un produit infini du groupe des unités des entiers p-adique pris sur tous les nombres premiers p, et l'extension abélienne maximale correspondante des rationnels est le corps engendré par toutes les racines de l'unité. Ceci était connu comme le théorème de Kronecker-Weber, originellement énoncé par Kronecker.

Pour une description du cas général :

Article détaillé : formation de classes.

.

En pratique, le programme prend la forme suivante. Étant donné un corps K\, et fixée une clôture séparable K^{sep}\, de K\,, on cherche à associer à toute extension finie abélienne L\, de K\, incluse dans K^{sep}\, un groupe topologique C(L)\, et un homomorphisme continu de groupes N_{L/K}\, de C(L)\, dans C(K)\, de manière que :

  • L'application qui à L\, associe N_{L/K}(C(L))\, est une bijection entre extensions finies abéliennes de K\, incluse dans K^{sep}\, et sous-groupes ouverts d'indice fini de C(K)\,.
  • Pour chaque extension finie abélienne L/K\, incluse dans K^{sep}\,, on a un isomorphisme de groupes r_{L/K}\, de Gal(L/K)\, dans C(K)/N_{L/K}(C(L))\,, appelé application de réciprocité.

La théorie du corps de classes a été décrite pour une famille variée de corps, parmi lesquels les corps de nombres algébriques et les corps de nombres p-adiques.

L'exemple le plus simple est celui des corps finis. Si K\, est un corps fini de cardinal q, on pose C(L)=\mathbb{Z}\, et N_{L/K}\, est égal à la multiplication par le degré [L/K\,] de L/K\,, pour toute extension finie L\, de K\, incluse dans K^{sep}\,. On a un homomorphisme de groupes de \mathbb{Z}\, dans Gal(K^{sep}/K)\, injectif et d'image dense, qui envoie 1 sur le Frobenius de K\,, c'est-à-dire sur l'automorphisme \varphi_K : x \mapsto x^q\,. Si \sigma\, est un élément de Gal(L/K)\,, il existe un unique n dans \mathbb{Z}/[L:K]\mathbb{Z}\, tel que \varphi_K^n\, prolonge \sigma\,. L'application de réciprocité est définie par \sigma \mapsto n\,.

Théorie du corps de classes local

Il s'agit de la partie de la théorie concernant les corps locaux. Dans ce qui suit, on se restreint aux corps locaux dont le corps résiduel est fini.

Si K est un corps local de corps résiduel fini, il existe un homomorphisme de groupes topologiques, injectif et d'image dense, du groupe multiplicatif de K sur le groupe de Galois de l'extension abélienne maximale de K. Cet homomorphisme, appelé le symbole d'Artin, est défini de la façon suivante : à chaque élément premier de K est associé un automorphisme qui, restreint à toute sous-extension abélienne non ramifiée, est le Frobenius de cette extension, et le symbole d'Artin se factorise à travers les groupes de normes associées aux sous-extensions finies. Il y a alors une correspondance de Galois des sous-extensions de l'extension abélienne maximale de K avec les sous-groupes (fermés pour la topologie de Krull) du groupe de Galois de cette extension, et donc, via le symbole d'Artin, avec les sous-groupes du groupe multiplicatif de K.

Le cas particulier le plus frappant est celui du groupe des unités : il est associé à l'extension non ramifiée maximale de K.

Corps de classes global

Pour K un corps de nombres, la correspondance du corps de classes s'énonce comme la collection des correspondances locales en toutes les places non archimédiennes de K, à l'aide des idèles.

Historique

La généralisation prit place dans un projet historique à long terme impliquant les formes quadratiques, les lois de réciprocité, les travaux de Kummer et de Kronecker/Kurt Hensel sur les idéaux et ses achèvements, la théorie de la cyclotomie, les extensions de Kummer, les conjectures de Hilbert et les démonstrations par de nombreux mathématiciens (Takagi, Hasse, Artin, Furtwängler et d'autres). Le théorème d'existence de Takagi crucial était connu en 1920 et tous les autres résultats principaux vers 1930. La propriété de principalisation est une des dernières conjectures classiques à avoir été démontrée.

Dans les années 1930 et ultérieurement, l'usage des extensions infinies et de la théorie de Krull sur leurs groupes de Galois a été considérée comme de plus en plus utile. Elle se mélange avec la dualité de Pontryagin pour donner une formulation plus claire mais plus abstraite du résultat central, la loi de réciprocité d'Artin. Elle est aussi basée sur la théorie d'Iwasawa.

Après que les résultats furent reformulés en termes de cohomologie galoisienne, avec la notion de formation de classes, le champ devint relativement statique. Le programme de Langlands lui donna une impulsion nouvelle, dans sa forme de « théorie non abélienne des corps de classes », bien que cette description devrait être appelée à devenir plus grande que maintenant si elle est confinée à la question de savoir comment les idéaux premiers se décomposent dans les extensions galoisiennes générales.

Références

  • (en) Georges Gras, Class Field Theory : From Theory to Practice [détail des éditions]
  • (en) Jürgen Neukirch, Algebraic number theory [détail des éditions]
  • (en) Jürgen Neukirch, Alexander Schmidt, Kay Wingberg Cohomology of number fields [détail des éditions]
  • Jean-Pierre Serre, Corps locaux [détail des éditions]
  • Page de J. S. Milne
  • Un texte en français sur cette théorie
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Th%C3%A9orie des corps de classes ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Theorie des corps de classes de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Théorie des corps de classes — En mathématiques, la théorie des corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c est à dire galoisiennes et de groupe de Galois commutatif, d un corps… …   Wikipédia en Français

  • Theorie des corps de classes locaux — Théorie des corps de classes locaux En mathématiques, la théorie des corps de classe locaux est l étude en théorie des nombres des extensions abéliennes des corps locaux. Cette théorie peut être considérée comme complète. Il faut remarquer qu au… …   Wikipédia en Français

  • Théorie des corps de classes locaux — En mathématiques, la théorie des corps de classes locaux[réf. souhaitée] ou théorie du corps de classes local[1] est l étude en théorie des nombres des extensions abéliennes des corps locaux. Cette théorie peut être considérée comme achevée …   Wikipédia en Français

  • Théorie du corps de classes — Théorie des corps de classes En mathématiques, la théorie du corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c est à dire galoisiennes et de groupe de… …   Wikipédia en Français

  • Théorie des corps de classe — Théorie des corps de classes En mathématiques, la théorie du corps de classes est une branche majeure de la théorie algébrique des nombres qui a pour objet la classification des extensions abéliennes, c est à dire galoisiennes et de groupe de… …   Wikipédia en Français

  • Theorie des nombres — Théorie des nombres Traditionnellement, la théorie des nombres est une branche des mathématiques qui s occupe des propriétés des nombres entiers, qu ils soient entiers naturels ou entiers relatifs, et contient beaucoup de problèmes ouverts qu il… …   Wikipédia en Français

  • Corps de classes de Hilbert — En théorie algébrique des nombres, le corps de Hilbert H(K) d un corps de nombres algébriques K est l extension abélienne non ramifiée maximale de ce corps de nombres. Cet objet doit son nom au mathématicien allemand David Hilbert. Son étude est… …   Wikipédia en Français

  • Théorie des nombres — Traditionnellement, la théorie des nombres est une branche des mathématiques qui s occupe des propriétés des nombres entiers, qu ils soient entiers naturels ou entiers relatifs, et contient beaucoup de problèmes ouverts qu il est facile de… …   Wikipédia en Français

  • Théorie des Groupes — Groupe (mathématiques) Pour les articles homonymes, voir Groupe.  Cet article concerne une introduction au concept de groupe. Pour un approfondissement, voir théorie des groupes …   Wikipédia en Français

  • Theorie des representations d'un groupe fini — Théorie des représentations d un groupe fini Ferdinand Georg Frobenius, fondateur de la théorie de la représentation des groupes. En mathématiques et plus précisément en théorie des groupes, la théorie des représentations d un groupe fini est un… …   Wikipédia en Français


Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.