Un élément d'un groupe Ext qui encode l'échec d'une extension à se scinder ou d'un problème de relèvement à admettre une solution ; typiquement une classe dans Ext^1 (pour les extensions non scindées) ou dans des Ext d'ordre supérieur pour des obstructions itérées.

Principe

Les classes d'obstruction vivent dans Ext car Ext mesure les classes d'équivalence d'extensions et les données d'extension dérivées ; une classe non nulle empêche l'existence d'une scission ou de relèvements successifs dans une filtration ou une suite de déformations.

Démonstration

Pour des modules sur un anneau R, une suite exacte courte 0 → A → E → B → 0 détermine une classe dans Ext^1_R(B,A). Si cette classe est non nulle la suite n'est pas scindée, aucun morphisme R‑linéaire B → E ne donne de section. Plus généralement, tenter de relever une application à travers des extensions successives produit des classes dans Ext^n qui doivent s'annuler pour poursuivre.

Mauvaise application

Considérer toute classe Ext non nulle comme une obstruction sans préciser le contexte de l'application ou de l'extension, ou confondre équivalence d'extensions et existence concrète d'une section, conduit à des conclusions erronées sur la solvabilité.

Conséquence

L'identification correcte d'une obstruction dans Ext montre précisément pourquoi une scission ou un relèvement échoue et situe l'obstruction en degré cohomologique ; on peut alors tenter d'annuler la classe en modifiant la catégorie, la base, ou en passant à des recouvrements ou extensions qui changent les groupes Ext.

Inversion

L'annulation de la classe Ext pertinente (par exemple classe = 0 dans Ext^1_R(B,A)) implique l'existence d'une scission ou du relèvement recherché dans le contexte donné, transformant une obstruction en situation non obstructée.

Limite

Cette notion suppose un contexte abélien (ou triangulé) avec des groupes Ext bien définis ; en cadres non abéliens l'« obstruction » peut être codée différemment et pas toujours par Ext. Le terme exclut la simple cohomologie non nulle qui ne provient pas d'un problème d'extension.

Tension sémantique

« Obstruction dans Ext » est en tension avec la notion plus vague de « classe de cohomologie non nulle » : la première relie la classe à un problème d'extension ou de relèvement spécifique, la seconde peut être un invariant global sans interprétation obstructive directe.

Synthèse

Une obstruction dans Ext est le certificat cohomologique à l'intérieur d'un groupe Ext qui précise pourquoi une extension donnée ne se scinde pas ou pourquoi un relèvement ne peut pas se poursuivre ; elle organise les modes d'échec locaux en une classe cohomologique calculable.