Une obstruction au relèvement, au scindage ou à l'extension de structures détectée par un élément d'un groupe de cohomologie ; ces obstructions surviennent lorsque des foncteurs dérivés ou des conditions de cocycle ne s'annulent pas.

Principe

La cohomologie mesure l'échec de l'exactitude ; lorsqu'une condition de cobord n'est pas satisfaite, la classe cohomologique résultante enregistre l'impossibilité d'un relèvement ou d'une extension souhaitée dans ce degré cohomologique.

Démonstration

Classification des extensions de groupes : un problème d'extension centrale produit une classe dans la deuxième cohomologie du groupe ; une classe nulle correspond à une extension scindée (ou relevable) tandis qu'une classe non nulle obstrue tout scindage avec l'action prescrite.

Mauvaise application

Prétendre que l'annulation dans une cohomologie ou pour un choix de coefficients implique l'annulation dans toutes les théories pertinentes ; différents modules de coefficients ou contextes dérivés peuvent engendrer des classes d'obstruction distinctes.

Conséquence

Les obstructions cohomologiques fournissent des témoins algébriques calculables de l'échec et indiquent souvent la modification minimale (changement de coefficients, ajout de données) nécessaire pour lever l'obstruction ou en paramétrer les formes.

Inversion

Quand les obstructions cohomologiques s'annulent en tous degrés pertinents, la voie cohomologique permet l'existence de relèvements ou d'extensions à moins des choix enregistrés par la cohomologie de plus bas degré ; l'inverse est donc une construction explicite plutôt qu'un invariant bloquant.

Limite

Suppose l'existence d'une théorie de cohomologie pour les objets et coefficients considérés (cohomologie de groupe, de faisceaux, groupes Ext, etc.) ; des phénomènes échappant à la détection cohomologique (obstructions purement combinatoires ou d'ensemble) ne relèvent pas de cette notion.

Tension sémantique

La tension porte entre obstructions cohomologiques et obstructions homotopiques : les premières sont des classes algébriques dans des groupes, les secondes peuvent nécessiter des invariants homotopiques supérieurs non captés par la cohomologie ordinaire.

Synthèse

Une obstruction cohomologique est un élément d'un groupe de cohomologie approprié qui encode l'échec d'une condition de cocycle ou d'une exactitude ; son annulation constitue le certificat algébrique que le relèvement, le scindage ou l'extension considérée est possible à ce degré cohomologique.