Cohomologie galoisienne

Un article de Wikipédia, l'encyclopédie libre.

Cet article est une ébauche concernant les mathématiques.

Vous pouvez partager vos connaissances en l’améliorant. (Comment ?).

En mathématiques, la cohomologie galoisienne est l'étude de l'action d'un groupe de Galois sur certains groupes, par des méthodes cohomologiques. Elle permet d'obtenir des résultats à la fois sur le groupe de Galois agissant, et sur le groupe sur lequel il agit. En particulier, le groupe de Galois d'une extension de corps de nombres L/K agit naturellement par exemple sur le groupe multiplicatif $L^\times$ , mais aussi sur le groupe des unités du corps L, ou sur son groupe des classes.

Le cadre naturel pour définir les complexes cohomologiques étudiés est plus abstrait que celui de la cohomologie galoisienne stricto sensu : voir cohomologie des groupes profinis.

[modifier] En théorie algébrique des nombres

La formulation actuelle de la cohomologie galoisienne prend sa source dans les années 50, avec les travaux de Claude Chevalley, qui permirent une nouvelle formulation, une formulation cohomologique, de la théorie des corps de classes, en particulier en évitant tout recours aux fonctions L. D'anciens résultats s'interprétèrent alors comme des résultats cohomologiques : le théorème 90 de Hilbert, datant du XIXe siècle, par exemple stipule l'annulation du premier groupe de cohomologie pour l'action d'un groupe de Galois cyclique sur le groupe multiplicatif du surcorps considéré ; et sa généralisation par Emmy Noether devient la généralisation de ce fait pour une extension finie. La théorie de Kummer s'interprète quant à elle comme un résultat de dualité.

Une question importante concernant la cohomologie galoisienne est celle de l'obtention d'un éventuel principe local-global. Les groupes de Chafarevitch, qui mesurent l'obstruction à un tel principe, sont encore mal compris, et constituent un thème de recherche important.