A graded sequence of cochain groups or modules C^n with coboundary maps δ^n: C^n → C^{n+1} satisfying δ^{n+1} ∘ δ^n = 0; its cohomology H^n = ker δ^n / im δ^{n-1} measures obstructions dual to chain homology.

Principle

Dualize the chain-level boundary principle: coboundaries compose to zero and detect cochains whose obstructions vanish up to exact cochains, enabling cohomological invariants and algebraic operations like cup products.

Demonstration

The singular cochain complex with coefficients in an abelian group assigns to each n the group of functions from singular n-chains to the coefficient group; its coboundary is the transpose of the singular chain boundary and computes singular cohomology.

Misapplication

Assuming naive duality H^n ≅ Hom(H_n) without finiteness or universal coefficient hypotheses, or dualizing infinite-dimensional chain complexes without attention to topologies or Ext terms.

Consequence

Cohomology groups arise with natural algebraic structures (cup product, higher operations) that refine homological information, lead to universal coefficient and spectral sequence tools, and classify extensions or obstructions.

Reversal

A chain complex reverses degrees and arrows: working with chains emphasizes cycles modulo boundaries, while cochains emphasize functions on chains and algebraic operations increasing degree.

Boundary

Defined in additive contexts; when coefficients or dualization require topological vector spaces or derived categories the naive finite-dimensional description must be refined and additional structure tracked.

Semantic Tension

Tension exists between cochain complexes as mere graded objects and full blown differential graded algebras: adding multiplicative structure changes invariants and available constructions like products and Massey operations.

Synthesis

A cochain complex is the degree-increasing dual counterpart of a chain complex: coboundary maps square to zero, defining cohomology groups that capture obstructions and carry multiplicative structures useful across topology and algebra.