Un critère, une classe de cohomologie ou d'extension qui enregistre l'échec d'une extension proposée d'objets ou de structures à exister ou à se scinder ; elle encode les incompatibilités empêchant un objet défini sur un sous-domaine d'être étendu à un domaine plus grand avec les propriétés souhaitées.

Principe

Les obstructions d'extension quantifient l'impossibilité de recoller ou d'étendre des données locales en une extension globale ; dans les contextes algébriques elles résident typiquement dans des groupes Ext ou des foncteurs dérivés et contrôlent l'existence et la classification des extensions ainsi que la possibilité de scindage.

Démonstration

Pour des modules A et B, une suite exacte 0 -> A -> E -> B -> 0 définit une classe d'extension dans Ext^1(B,A) ; une classe non nulle constitue une obstruction au scindage en A ⊕ B, et des classes d'obstruction de degré supérieur peuvent détecter l'échec d'étendre des déformations ou des filtrations à des ordres ou longueurs supérieurs.

Mauvaise application

Supposer que la nullité d'une unique obstruction de bas degré garantit l'extensibilité complète dans des contextes où existent des obstructions d'ordre supérieur ; ou confondre l'absence d'extensions scindées avec l'absence de toute extension alors que des extensions non triviales peuvent exister mais ne pas se scinder.

Conséquence

Les classes d'obstruction organisent les problèmes d'extension en invariants algébriques calculables : leur nullité entraîne l'existence ou le scindage (à équivalence près), tandis que leur non-nullité identifie précisément l'obstacle et oriente soit la modification des données, soit la recherche d'autres types d'extensions.

Inversion

Inversement, une classe d'extension triviale signifie que le problème d'extension n'impose aucune obstruction et admet un modèle scindé ; l'étude de cette inversion se concentre sur les situations où les décompositions globales se réduisent à des sommes ou produits directs plutôt qu'à de véritables extensions.

Limite

Concerne les problèmes d'extension algébriques et homologiques (modules, faisceaux, extensions de groupes, etc.) ; dans des catégories non abéliennes ou fortement non linéaires la nature des classes d'obstruction peut changer et nécessiter d'autres outils cohomologiques, de sorte que le langage standard des Ext peut être insuffisant.

Tension sémantique

Le terme peut être confondu avec l'obstruction au relèvement : les obstructions d'extension portent sur l'élargissement ou le recollage d'un objet vers l'extérieur, tandis que les obstructions de relèvement concernent la production d'antécédents sous des projections ; les deux emploient des machines cohomologiques similaires mais correspondent à des directions de recollage opposées.

Synthèse

Une obstruction d'extension est l'invariant ou la classe qui mesure pourquoi un agrandissement ou un scindage proposé d'un objet échoue ; elle condense les questions d'existence et de scindage en données algébriques dont la nullité équivaut à l'existence de l'extension désirée.