Cohomologie Des Groupes Profinis

Cohomologie des groupes profinis

La cohomologie des groupes profinis est une théorie cohomologique, reposant sur la théorie des groupes profinis. Elle consiste en un raffinement de la cohomologie des groupes classique, principalement par la prise en compte de la nature topologique des groupes profinis. Elle s'est développée par la motivation essentielle que constitue la cohomologie galoisienne et ses applications en théorie des nombres.

Définition du complexe cohomologique

On considère un groupe profini G, et un G-module discret A sur lequel G opère continûment. On note Cⁿ(G,A) l'ensemble des applications continues de Gⁿ dans A, et on considère les cobords :

$d\; :\; C^n(G,A)\to C^{n+1}(G,A)$

définis par :

$df(g_1,\dots,g_{n+1})=g_1f(g_2,\dots,g_{n+1})+\sum_{i=1,\dots,n}(-1)^i f(g_1,\dots,g_ig_{i+1},\dots,g_{n+1})+(-1)^{n+1}f(g_1,\dots,g_n)$

Les groupes de cohomologie obtenus à partir du complexe induit par ces cobords sont par définition les groupes de cohomologie de G à coefficients dans A.

Références

• (en) Jürgen Neukirch, Alexander Schmidt, Kay Wingberg Cohomology of number fields [détail des éditions]
• (en) Luis Ribes, Pavel Zalesskii, Profinite groups [détail des éditions]
• Jean-Pierre Serre, Cohomologie galoisienne [détail des éditions]

Ce document provient de « Cohomologie des groupes profinis ».