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 : * Si X est homotopiquement équivalent à un CW-complexe, sa cohomologie de Čech est naturellement isomorphe à sa cohomologie singulière ; * Si X est une variété différentielle, sa cohomologie de Čech à coefficients réels est isomorphe à sa cohomologie de De Rham (théorème de De Rham) ; * Si X est un espace compact, sa cohomologie de Čech à coefficients dans un groupe discret est isomorphe à sa cohomologie d'Alexander-Spanier ; * Il existe toujours une application , de la cohomologie des faisceaux vers la cohomologie de Čech, qui est un isomorphisme pour n = 0, 1. D'autres liens existent, comme le (en). Comme toute théorie cohomologique, la cohomologie de Čech représente une certaine « obstruction » au recollement de solutions locales en une solution globale.