Why use cohomology if homology already detects holes?

Cohomology carries a ring structure via the cup product that homology lacks; spaces with identical homology groups can have different cohomology rings, so cohomology is a strictly finer invariant.

What does Poincaré duality say?

For an oriented closed n-manifold, the k-th cohomology is isomorphic to the (n-k)-th homology; geometrically, it pairs cycles with complementary-dimensional cycles through intersection.

Cohomology

Cohomology dualizes homology to assign cochains to a space, and crucially carries a ring structure — the cup product — that distinguishes spaces homology alone cannot.

Definition

Cohomology assigns to a space a sequence of abelian groups obtained as cycles modulo boundaries in the cochain complex dual to the singular chain complex; with the cup product it forms a graded-commutative ring that is a finer invariant than homology.

Scope

This topic develops cohomology as the homology of the dual cochain complex, related to homology by the universal coefficient theorem, and adds the multiplicative structure given by the cup product that makes total cohomology a graded ring. It covers de Rham cohomology on smooth manifolds and its identification with singular cohomology via de Rham's theorem, the cup and cap products, and Poincaré duality relating the cohomology of an oriented closed manifold to its homology. The Künneth theorem and characteristic-class applications are included.

Core questions

How does cohomology relate to homology through the universal coefficient theorem?
What additional information does the cup-product ring structure encode beyond the underlying groups?
How does Poincaré duality link the cohomology and homology of an oriented closed manifold?
Why does de Rham's theorem identify smooth differential-form cohomology with topological cohomology?

Key concepts

Cochain complexes and the universal coefficient theorem
Cup product and the cohomology ring
Cap product and Poincaré duality
de Rham cohomology and de Rham's theorem
Künneth theorem for products

Clinical relevance

The cohomology ring is the natural home of characteristic classes, obstruction theory, and intersection products, making cohomology central to differential geometry, the topology of fiber bundles, and gauge theory in mathematical physics.

History

Cohomology emerged in the 1930s from the work of de Rham, Čech, Alexander, and Kolmogorov; the cup product introduced by Whitney and others revealed multiplicative structure invisible to homology, and de Rham's theorem tied the smooth and topological theories together, fixing cohomology's central role.

Key figures

Georges de Rham
Eduard Čech
Hassler Whitney

Seminal works

hatcher2002
bredon1993

Frequently asked questions

Why use cohomology if homology already detects holes?: Cohomology carries a ring structure via the cup product that homology lacks; spaces with identical homology groups can have different cohomology rings, so cohomology is a strictly finer invariant.
What does Poincaré duality say?: For an oriented closed n-manifold, the k-th cohomology is isomorphic to the (n-k)-th homology; geometrically, it pairs cycles with complementary-dimensional cycles through intersection.