A cohomological or categorical class, condition, or phenomenon that prevents an object defined on a cover, extension, or auxiliary base from being realized as the pullback or restriction of an object on a specified smaller base; it obstructs descent along the given cover or morphism.

Principle

Descent is controlled by cocycle and gluing conditions: an obstruction is a cohomology class (or gerbe/torsor datum) whose vanishing is necessary (and in many formulated contexts sufficient) for the existence of a descended object; failure to vanish records an inability to glue local data compatibly on overlaps.

Demonstration

Illustrative scenario: a vector bundle defined on a Galois cover may carry a nontrivial cocycle (a twisting by a nontrivial torsor) so that no vector bundle exists on the base whose pullback is isomorphic to the given one; equivalently, a class in a Čech or Galois cohomology group blocks descent.

Misapplication

Treating every obstruction class as an absolute obstruction without accounting for refinements (for instance, allowing passage to a finer cover, to stacks, or to twisted objects), or confusing failure of uniqueness with obstruction to existence.

Consequence

When a descent obstruction is nonzero, one must either enlarge the target category (work with twisted objects, gerbes, or stacks), change the base or cover, or accept that the object cannot be realized on the smaller base; descent obstructions motivate refined moduli notions and cohomological invariants.

Reversal

Successful descent: the obstruction classes vanish and local objects glue to a global object on the base, giving a genuine descent datum and often unique (up to canonical isomorphism) global forms.

Boundary

Applies in contexts of sheaves, schemes, torsors, gerbes, and stacks and is expressed via Čech, Galois, or derived cohomology; does not capture unrelated existence issues (e.g., global nonrepresentability unrelated to gluing cocycles) and depends on chosen topology/cover.

Semantic Tension

Tension between obstruction to descent and obstruction to lifting: descent obstructs realizing an object on a smaller base, whereas lifting obstructs finding a preimage on a larger base; the two are dual in many situations but are distinct notions and can interact subtly.

Synthesis

An obstruction to descent is a precise cohomological or categorical signal that local or extended data cannot be glued to a global object over the target base; recognizing such obstructions reframes existence questions in terms of vanishing of explicit cocycles and often points toward stacky or twisted generalizations that bypass the obstruction.