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

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

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

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

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

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

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

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

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.