##  [Ext Obstruction](/ext-obstruction-0) 

 Definition

An element of an Ext group that encodes the failure of an extension to split or of a lifting problem to have a solution; typically a class in Ext^1 (for non‑split extensions) or in higher Ext groups (for higher order obstructions).

 

 

 

 

 

 





## Principle

Principle

Obstruction classes live in Ext because Ext measures equivalence classes of extensions and higher derived extension data; a nonzero class obstructs the existence of a splitting or of successive lifts in a filtration or deformation sequence.

 

 

 

 

 





## Demonstration

Demonstration

For modules over a ring R, a short exact sequence 0 → A → E → B → 0 determines a class in Ext^1_R(B,A). If this class is nonzero the sequence is not split, so no R‑linear map B → E provides a section. More generally, attempting to lift a map through successive extensions yields classes in Ext^n that must vanish to continue.

 

 

 

 

## Misapplication

Misapplication

Treating any nonzero Ext class as an obstruction without specifying the mapping or extension context, or ignoring the difference between equivalence of extensions and the concrete existence of a section, leads to false conclusions about solvability.

 

 

 

 

 





## Consequence

Consequence

Correct identification of an Ext obstruction shows precisely why a split or lift fails and locates the obstruction in cohomological degree; one can then try to kill the class by changing the category, base, or by passing to covers or extensions that alter Ext groups.

 

 

 

 

## Reversal

Reversal

Vanishing of the relevant Ext class (e.g., class = 0 in Ext^1_R(B,A)) implies the existence of a splitting or of the desired lift in the given context, turning an obstruction into an unobstructed construction.

 

 

 

 

 





## Boundary

Boundary

This notion presupposes an abelian (or triangulated) context with well‑defined Ext groups; in nonabelian settings 'obstruction' may be encoded differently and not always by Ext. The term excludes mere nonvanishing cohomology that does not arise from an extension problem.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Ext Obstruction competes with the looser notion 'nonzero cohomology class': the former ties the class to a specific extension or lifting problem, while the latter may be a global invariant without direct obstructive interpretation.

 

 

 

 

 





## Synthesis

Synthesis

An Ext Obstruction is the cohomological certificate inside an Ext group that pinpoints why a particular extension fails to split or why a lift cannot be continued; it organizes local failure modes in a categorical and computable cohomology class.