##  [Cochain Complex](/cochain-complex-0) 

 Definition

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

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

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

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

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

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

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

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

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.