Un invariant, une classe de cohomologie ou une condition qui mesure l'incapacité à produire un relèvement d'une structure, d'un élément ou d'un morphisme donné le long d'une surjection ou d'une projection spécifiée ; il s'annule précisément lorsqu'un relèvement global compatible avec les données prescrites existe.

Principe

Les relèvements existent exactement lorsque la classe d'obstruction attachée au problème de relèvement est nulle ; les classes d'obstruction se calculent à partir de l'écart entre les relèvements locaux ou partiels et les conditions de cohérence nécessaires pour les recoller en un relèvement global et résident souvent dans un groupe de cohomologie ou un foncteur dérivé associé au noyau de la projection.

Démonstration

Pour une surjection p : G' -> G et un morphisme f : H -> G, l'obstruction à l'existence d'un f˜ : H -> G' tel que p ∘ f˜ = f est un élément d'un groupe de cohomologie ou d'extensions qui enregistre le défaut d'accord des relèvements locaux ; en topologie, le relèvement d'une application à travers un recouvrement ou une fibration produit des classes d'obstruction classiques (par exemple des obstructions dans des groupes de cohomologie ou des groupes d'homotopie).

Mauvaise application

Considérer l'existence de relèvements locaux ou formels comme suffisante pour un relèvement global sans vérifier la classe d'obstruction ; ou supposer qu'une classe d'obstruction calculée pour un système de coefficients s'applique telle quelle à un noyau ou une base différente, ignorant ainsi les effets du changement de coefficients.

Conséquence

Lorsque l'obstruction au relèvement est nulle, le relèvement désiré existe (souvent de façon non unique) ; le calcul de l'obstruction organise les questions d'existence en invariants algébriques, permettant de classifier les relèvements possibles et de ramener l'existence à la nullité d'une classe.

Inversion

Le point de vue inverse étudie quand une structure donnée descend le long d'une surjection : au lieu d'obstruer les relèvements vers le haut d'un recouvrement, on étudie les obstructions à la descente vers le bas à partir d'un objet recouvrant — la nullité des obstructions de descente correspond à une descente effective tandis que leur non-nullité l'empêche.

Limite

S'applique aux problèmes algébriques, homotopiques et topologiques de relèvement où une projection ou une surjection et une application cible sont spécifiées ; n'apporte pas en soi de réponse aux questions d'unicité au-delà de l'existence et exclut généralement les problèmes dépourvus d'un noyau ou d'un objet de coefficients clair ou ceux nécessitant des conditions de convergence analytiques.

Tension sémantique

On confond souvent avec les obstructions d'extension : les obstructions de relèvement portent sur la production d'un antécédent d'une application sous une projection, tandis que les obstructions d'extension concernent l'extension ou le recollage d'un objet sur un domaine plus grand ; les deux notions se recoupent mais traitent des directions de recollement opposées.

Synthèse

L'obstruction au relèvement est l'invariant algébrique ou homotopique qui encode si des relèvements locaux ou partiels compatibles peuvent être assemblés en un relèvement global le long d'une surjection donnée ; sa nullité assure l'existence, sa non-nullité explique l'échec.