An obstruction class or collection of classes that prevents an infinitesimal or formal deformation of an object from extending to higher order, larger base, or a genuine global deformation; these classes live in obstruction groups computed from the tangent or deformation complex.

Principle

Infinitesimal deformations are parametrized by a tangent space (often H^1 of a deformation complex) while obstructions to lifting those first-order deformations to second or higher order lie in obstruction groups (often H^2); vanishing of the relevant obstruction classes is necessary (and under favorable hypotheses sufficient) for extension.

Demonstration

In deforming an algebraic structure or sheaf, a first-order deformation may exist but encounter an obstruction in the next order: an explicit obstruction class in the appropriate H^2 group prevents constructing the extension of the deformation over a thicker Artinian base, so no formal family with that first-order tangent exists without modification.

Misapplication

Assuming all first-order deformations integrate to actual deformations without checking higher obstructions; or treating vanishing of low-degree obstruction groups as a blanket guarantee in settings lacking the required finiteness or smoothness hypotheses for sufficiency.

Consequence

Recognizing deformation obstructions organizes deformation theory: vanishing obstructions allow one to build formal or actual deformations step by step, while nonvanishing directs one to alter the deformation problem, change parameters, or accept obstructed directions and study the obstructed moduli strata.

Reversal

The unobstructed case is the reversal: all relevant obstruction groups vanish and formal deformations extend to actual families, often yielding smooth local moduli; contrasting obstructed versus unobstructed behavior clarifies where geometry or algebra imposes rigid constraints.

Boundary

Concerns formal and infinitesimal deformation problems in algebraic, analytic, and differential contexts; global extension or convergence to honest analytic families may require extra hypotheses, so deformation obstruction theory typically treats formal existence rather than global analytic realizability.

Semantic Tension

Tension exists between obstruction-theoretic language (classes in H^2) and phenomena called anomalies or nonperturbative obstructions in other fields; while mathematically related, terminology and expected remedies differ by community, so translating between usages can be delicate.

Synthesis

A deformation obstruction is the cohomological datum that blocks passage from lower-order deformations to higher-order or global ones; its vanishing is the algebraic signal that stepwise extension is possible and its nonvanishing identifies rigid directions in moduli.