In mathematics, specifically in algebraic topology, the Eilenberg–Zilber theorem is an important result in establishing the link between the homology groups of a product space X × Y and those of the spaces X and Y . The theorem first appeared in a 1953 paper in the American Journal of Mathematics. One possible route to a proof is the acyclic model theorem.
The theorem can be formulated as follows. Suppose X and Y are topological spaces, Then we have the three chain complexes C ∗ ( X ) , C ∗ ( Y ) , and C ∗ ( X × Y ) . (The argument applies equally to the simplicial or singular chain complexes.) We also have the tensor product complex C ∗ ( X ) ⊗ C ∗ ( Y ) , whose differential is, by definition,
δ ( σ ⊗ τ ) = δ X σ ⊗ τ + ( − 1 ) p σ ⊗ δ Y τ for σ ∈ C p ( X ) and δ X , δ Y the differentials on C ∗ ( X ) , C ∗ ( Y ) .
Then the theorem says that we have chain maps
F : C ∗ ( X × Y ) → C ∗ ( X ) ⊗ C ∗ ( Y ) , G : C ∗ ( X ) ⊗ C ∗ ( Y ) → C ∗ ( X × Y ) such that F G is the identity and G F is chain-homotopic to the identity. Moreover, the maps are natural in X and Y . Consequently the two complexes must have the same homology:
H ∗ ( C ∗ ( X × Y ) ) ≅ H ∗ ( C ∗ ( X ) ⊗ C ∗ ( Y ) ) . An important generalisation to the non-abelian case using crossed complexes is given in the paper by Tonks below. This give full details of a result on the (simplicial) classifying space of a crossed complex stated but not proved in the paper by Brown and Higgins on classifying spaces.
The Eilenberg–Zilber theorem is a key ingredient in establishing the Künneth theorem, which expresses the homology groups H ∗ ( X × Y ) in terms of H ∗ ( X ) and H ∗ ( Y ) . In light of the Eilenberg–Zilber theorem, the content of the Künneth theorem consists in analysing how the homology of the tensor product complex relates to the homologies of the factors.