Classe, condition ou phénomène cohomologique ou catégorique qui empêche un objet défini sur un recouvrement, une extension ou une base auxiliaire d'être réalisé comme le tiré-en-arrière ou la restriction d'un objet sur une base plus petite spécifiée ; elle obstrue la descente le long du recouvrement ou du morphisme donné.

Principe

La descente est contrôlée par des conditions de cocycles et d'assemblage : une obstruction est une classe de cohomologie (ou un donnée de gerbe/torseur) dont l'annulation est nécessaire (et dans de nombreux contextes suffisante) pour l'existence d'un objet descendu ; son non-annulation enregistre l'impossibilité d'assembler les données locales de façon compatible sur les recouvrements.

Démonstration

Scénario illustratif : un fibré vectoriel défini sur un recouvrement galoisien peut porter un cocycle non trivial (un tordage par un torseur non trivial) de sorte qu'il n'existe aucun fibré sur la base dont le tiré-en-arrière soit isomorphe à celui donné ; équivalemment, une classe dans une cohomologie de Čech ou galoisienne bloque la descente.

Mauvaise application

Considérer toute classe d'obstruction comme une obstruction absolue sans tenir compte des raffinements (par exemple, passage à un recouvrement plus fin, travail avec des champs ou des objets tordus), ou confondre l'échec d'unicité avec l'obstruction d'existence.

Conséquence

Quand une obstruction à la descente est non nulle, il faut soit élargir la catégorie cible (travailler avec objets tordus, gerbes ou champs), soit modifier la base ou le recouvrement, soit accepter que l'objet ne puisse pas être réalisé sur la base plus petite ; les obstructions motivent des notions modulaires raffinées et des invariants cohomologiques.

Inversion

Descente réussie : les classes d'obstruction s'annulent et les objets locaux se recollent en un objet global sur la base, donnant une donnée de descente véritable et souvent une forme globale unique à isomorphisme canonique près.

Limite

S'applique aux contextes de faisceaux, schémas, torseurs, gerbes et champs et s'exprime via la cohomologie de Čech, galoisienne ou dérivée ; ne capture pas des problèmes d'existence non liés au recollage (par ex. non-représentabilité globale indépendante des cocycles) et dépend de la topologie/du recouvrement choisi.

Tension sémantique

Tension entre obstruction à la descente et obstruction au relèvement : la descente empêche la réalisation sur une base plus petite, tandis que le relèvement empêche de trouver un pré-image sur une base plus grande ; les deux sont duales dans de nombreuses situations mais demeurent des notions distinctes et interagissent subtilement.

Synthèse

Une obstruction à la descente est un signal cohomologique ou catégorique précis indiquant que des données locales ou étendues ne peuvent pas se recoller pour former un objet global sur la base cible ; reconnaitre ces obstructions recadre les questions d'existence en termes d'annulation de cocycles explicites et oriente souvent vers des généralisations tordues ou en termes de champs qui contournent l'obstacle.