Definition
A cohomology class or analogous invariant that measures the obstruction to performing a desired construction or extension in an algebraic (or homotopical) context; typically it vanishes if and only if the construction can be carried out at that stage.
Principle
Principle
Obstructions live in algebraic invariants (often groups) that encode the failure of local data to glue or of lifts to exist; vanishing of the class is the necessary and often sufficient condition to proceed to the next step of a construction.
Demonstration
Demonstration
When attempting to extend a partial module structure one may obtain a class in an Ext or cohomology group; if that class is zero a global extension exists, while a nonzero class blocks any extension with the prescribed local behavior.
Misapplication
Misapplication
Treating a single obstruction class as final without checking for secondary or higher obstructions, or misreading its vanishing in a chosen coefficient system as a guarantee for all coefficient choices.
Consequence
Consequence
Organizes obstruction theory: nonvanishing classes identify precise failure modes and guide the search for modified targets or additional structure needed to remove the obstruction.
Reversal
Reversal
A trivial obstruction class indicates no obstruction at that stage and permits the desired extension or lifting; yet triviality may expose further choices and higher obstructions downstream.
Boundary
Boundary
Applies where a suitable invariant theory (cohomology, Ext, derived functors) is defined and where the construction problem is local-to-global or stepwise; not every impossibility is captured by a single obstruction class and some obstructions are inherently non-cohomological.
Semantic Tension
Semantic Tension
Tension exists between 'an obstruction class' as a single cohomological element and broader 'obstruction theory' which is a tower of classes; users must distinguish a first obstruction from a complete obstruction sequence.
Synthesis
Synthesis
An obstruction class is an algebraic invariant living in an appropriate group that records a specific failure to extend or lift data; its vanishing is the signal that the immediate obstruction is removed, allowing further construction.