The Kunneth Formula

Core Idea

The Kunneth formula computes the homology of a product space X x Y from the homology groups of the factors. Over a field k, it simplifies to H_n(X x Y; k) = direct sum_{p+q=n} H_p(X; k) tensor H_q(Y; k). Over the integers, there is a correction term involving Tor: 0 -> direct sum H_p(X) tensor H_q(Y) -> H_n(X x Y) -> direct sum Tor(H_p(X), H_{q-1}(Y)) -> 0. The Kunneth formula is the product theorem for homology, reducing the computation of H_*(X x Y) to the known homology of X and Y.

Explainer

The Kunneth formula answers the natural question: if we know H_*(X) and H_*(Y), can we compute H_*(X x Y)? The answer is yes, with a tensor product playing the central role. At the chain level, the Eilenberg-Zilber theorem provides a chain homotopy equivalence between C_*(X x Y) and the tensor product complex C_*(X) tensor C_*(Y), whose n-th chain group is the direct sum over p + q = n of C_p(X) tensor C_q(Y). This chain-level equivalence reduces the computation of H_*(X x Y) to an algebraic question about the homology of a tensor product of chain complexes.

Over a field k, the Kunneth formula is clean: H_n(X x Y; k) = direct sum_{p+q=n} H_p(X; k) tensor_k H_q(Y; k). This is an isomorphism, with no correction terms. The Betti numbers satisfy b_n(X x Y) = sum_{p+q=n} b_p(X) * b_q(Y), which is the "convolution" of the Betti number sequences. For the torus: b_0(T²) = b_0(S¹) * b_0(S¹) = 1, b_1(T²) = b_0 * b_1 + b_1 * b_0 = 1 + 1 = 2, b_2(T²) = b_1 * b_1 = 1.

Over the integers, the formula acquires a correction term from the Tor functor. The Kunneth short exact sequence is: 0 -> direct sum_{p+q=n} H_p(X) tensor H_q(Y) -> H_n(X x Y) -> direct sum_{p+q=n-1} Tor(H_p(X), H_q(Y)) -> 0. This sequence always splits (non-naturally), so as abelian groups, H_n(X x Y) = (direct sum H_p tensor H_q) direct sum (direct sum Tor(H_p, H_q)), where the first sum is over p + q = n and the second over p + q = n - 1. The Tor term detects interactions between the torsion in H_*(X) and H_*(Y). When both spaces have torsion-free homology, Tor vanishes and the formula simplifies to the tensor product alone.

The Tor functor Tor(A, B) measures the "failure of the tensor product to be exact." For finitely generated abelian groups: Tor(Z, B) = 0 (free groups contribute no Tor), Tor(Z/mZ, Z/nZ) = Z/gcd(m,n)Z (cyclic torsion groups interact via their gcd). So the Tor term contributes torsion to H_*(X x Y) that is not visible in the individual homology groups of X and Y separately. For example, Tor(Z/2Z, Z/2Z) = Z/2Z, so if both X and Y have Z/2Z torsion in adjacent dimensions, additional Z/2Z torsion appears in the product homology.

The Kunneth formula is the product theorem for homology, just as the Mayer-Vietoris sequence is the union theorem. Together with the long exact sequence of a pair (the quotient/subspace theorem), these three results form a complete toolkit for computing homology: any space built from simpler pieces by products, unions, and quotients can have its homology computed by iterating these tools. The cohomological version of the Kunneth formula is enriched by the cup product: H^*(X x Y; k) is isomorphic to H^*(X; k) tensor H^*(Y; k) as graded rings, where the product on the right is the tensor product of rings. This algebraic structure is essential for computing cup products on product spaces.