Une classe de cohomologie ou un invariant analogue qui mesure l'obstruction à réaliser une construction ou une extension souhaitée dans un contexte algébrique (ou homotopique) ; en général elle s'annule si et seulement si la construction peut être effectuée à cette étape.

Principe

Les obstructions vivent dans des invariants algébriques (souvent des groupes) codant l'échec du recollement de données locales ou de l'existence de relèvements ; l'annulation de la classe est la condition nécessaire et souvent suffisante pour passer à l'étape suivante.

Démonstration

En cherchant à étendre une structure de module partielle on obtient typiquement une classe dans un groupe Ext ou de cohomologie ; si cette classe est nulle une extension globale existe, tandis qu'une classe non nulle bloque toute extension possédant le comportement local prescrit.

Mauvaise application

Considérer une unique classe d'obstruction comme définitive sans vérifier l'existence d'obstructions secondaires ou supérieures, ou interpréter son annulation dans un système de coefficients choisi comme une garantie pour tous les choix de coefficients.

Conséquence

Organise la théorie des obstructions : les classes non nulles identifient des modes d'échec précis et orientent la recherche de cibles modifiées ou de structures supplémentaires nécessaires pour éliminer l'obstruction.

Inversion

Une classe d'obstruction triviale indique l'absence d'obstruction à cette étape et permet l'extension ou le relèvement souhaité ; cependant la trivialité peut révéler l'existence de choix supplémentaires et d'obstructions supérieures en aval.

Limite

S'applique lorsque l'on dispose d'une théorie d'invariants appropriée (cohomologie, Ext, foncteurs dérivés) et que le problème de construction est local-vers-global ou par étapes ; toutes les impossibilités ne sont pas captées par une seule classe d'obstruction et certaines obstructions sont non cohomologiques par nature.

Tension sémantique

La tension porte entre « une classe d'obstruction » comme élément cohomologique unique et la « théorie des obstructions » au sens large, qui est une tour de classes ; il faut distinguer l'obstruction première d'une suite complète d'obstructions.

Synthèse

Une classe d'obstruction est un invariant algébrique situé dans un groupe approprié qui enregistre un échec précis d'extension ou de relèvement ; son annulation signifie que l'obstacle immédiat est levé et permet de poursuivre la construction.