Une assignation contravariante (généralement un foncteur) d'une catégorie d'espaces (topologiques, différentiables ou algébriques) vers des groupes abéliens, modules ou anneaux gradués qui capture des classes d'obstruction globales et porte des structures de produit et des suites exactes longues naturelles.

Principe

Organiser les obstructions topologiques ou algébriques globales en invariants algébriques gradués fonctoriels, munis d'une structure multiplicative et de suites exactes qui rendent compte du passage du local au global.

Démonstration

La cohomologie singulière H^*(X; R) associe à un espace topologique X un R-module gradué H^n(X; R), possède un produit cup H^p(X; R) × H^q(X; R) → H^{p+q}(X; R) et fournit la suite exacte longue de Mayer–Vietoris permettant de calculer la cohomologie à partir d'un recouvrement ouvert.

Mauvaise application

Considérer les groupes de cohomologie comme de simples invariants locaux ou supposer que des limites/colimites naives commutent (par exemple que la cohomologie d'un colimite infini coïncide avec le colimite des cohomologies) sans utiliser de foncteurs dérivés ou d'hypothèses appropriées.

Conséquence

Bien utilisée, la cohomologie détecte les obstructions à l'existence de sections, classe les fibrés et extensions, produit des classes caractéristiques et intervient dans des dualités comme la dualité de Poincaré sous des hypothèses adéquates.

Inversion

Homologie : une assignation covariante qui mesure les cycles et bordismes plutôt que les cocycles et cochaînes ; de nombreuses propriétés formelles sont duales mais la variance et les structures algébriques diffèrent.

Limite

N'inclut pas les assignations graduées contravariantes arbitraires dépourvues de fonctorialité, de produits naturels ou de formalisme de suites exactes ; les théories de cohomologie généralisées (fondées sur des spectres) étendent le concept tout en modifiant certaines attentes classiques.

Tension sémantique

Par rapport à l'homologie : les deux sondent la topologie mais diffèrent par la variance (contra- vs co-), les opérations algébriques (produit cup vs produit d'intersection) et les interprétations usuelles (obstructions et classes vs cycles et bordismes).

Synthèse

Une théorie de la cohomologie condense les données d'obstruction globales en structures algébriques graduées fonctorielles munies d'opérations multiplicatives et de suites exactes longues, reliant les calculs locaux aux invariants globaux.