An invariant or class that prevents an object, exact sequence, bundle, or representation from decomposing into a direct sum, product, or trivial factorization; it records the failure of existence of projections or sections that would realize a split decomposition.

Principle

Splitting is equivalent to the existence of a section or projection satisfying compatibility relations; obstructions to splitting are typically detected by cohomology or characteristic classes that vanish precisely when the decomposition exists and often arise from extension classes in Ext^1 or higher cohomology.

Demonstration

In the context of vector bundles, a nonzero characteristic class (for example a Stiefel–Whitney or Chern-type class in the appropriate theory) is an obstruction to splitting the bundle as a direct sum of subbundles; in module theory an Ext class can obstruct decomposing a module as a direct sum of submodules.

Misapplication

Assuming that vanishing of a single characteristic or obstruction class in one cohomology theory guarantees splitting in all categories; or using topological obstructions to deduce algebraic splitting without verifying category-specific splitting criteria.

Consequence

When splitting obstructions vanish, one can decompose the object into direct summands, simplifying structure, enabling classification by simpler constituents, and often reducing problems to the study of summands; nonvanishing typically forces genuinely coupled structures.

Reversal

The converse situation is a split object, where all relevant obstructions vanish and explicit idempotent projections or sections exist; viewing the reversal clarifies the exact algebraic conditions equivalent to vanishing obstructions.

Boundary

Applies to splitting problems for sequences, bundles, modules, and representations; the concrete nature of obstructions depends on category (abelian, topological, geometric, or homotopical) and may not be expressible in the same cohomological terms outside those contexts.

Semantic Tension

There is tension between splitting as an isomorphism to a direct sum and weaker notions like stable splitting or decomposition up to extension; some communities distinguish splitting strictly from other weaker decompositions, which can lead to ambiguity unless the categorical context is specified.

Synthesis

A splitting obstruction is the algebraic, cohomological, or characteristic invariant whose nonvanishing prevents decomposition into direct summands; its vanishing is the precise criterion for realizing an explicit split.