Cohomologie de Čech

La cohomologie de Čech est une théorie cohomologique, développée à l'origine par le mathématicien Eduard Čech en faisant jouer au nerf d'un recouvrement sur un espace topologique le rôle des simplexes en homologie simpliciale. On peut définir une cohomologie de Čech pour les faisceaux, ou plus généralement pour les objets d'un site, en particulier une catégorie de schémas munie de la topologie de Zariski.

La cohomologie de Čech vérifie en particulier les axiomes d'Eilenberg-Steenrod, et se reconnecte avec d'autres théories cohomologiques dans plusieurs cas :

Comme toute théorie cohomologique, la cohomologie de Čech représente une certaine « obstruction » au recollement de solutions locales en une solution globale.

DéfinitionModifier

On se place dans un site et on considère un schéma X. La cohomologie de Čech à coefficients dans un faisceau   est donnée par la limite inductive

 

  parcourt les recouvrements de X donnés par la topologie, ordonnés par raffinement.

Il ne reste alors plus qu'à définir la cohomologie de Čech sur un recouvrement ouvert donné   localement fini, c'est-à-dire donner les cocycles et cobords correspondants. Le groupe des k-cochaînes est défini par :

 

En d'autres termes, une k-cochaîne de Čech est une fonction   définie sur les k-faces du nerf du recouvrement, telle que les valeurs prises sur les ouverts qui le constituent sont dans  .

L'opérateur de cobord   est défini par :

 

On vérifie notamment que  .

On peut alors définir les groupes de k-cobords et de k-cocycles de la manière classique :

 
 

et le k-ième groupe de cohomologie de Čech est défini comme leur quotient :

 

BibliographieModifier