Alexander–Whitney map

Alexander–Whitney map

The Alexander–Whitney map is a canonical chain map used in algebraic topology and homological algebra that provides a concrete model for the cup product and the tensor decomposition of the singular or simplicial chain complex of a product space. It appears alongside constructions by Samuel Eilenberg, Norman Steenrod, and Hermann Weyl in the development of cohomology operations and underpins relations among the Künneth theorem, Eilenberg–Zilber theorem, Serre spectral sequence, and classical results of Leray. The map plays a central role in computations related to singular homology, simplicial homology, and comparisons among different homology theories such as Čech cohomology and de Rham cohomology.

Definition and construction

Given two topological spaces such as S^n, T^2, or more general CW complexes like Eilenberg–MacLane space K(G,n), the Alexander–Whitney construction provides a natural chain map AW: C_*(X × Y) → C_*(X) ⊗ C_*(Y). For singular chains coming from maps of the standard simplex Δ^k, the formula uses ordered vertex faces familiar from the work of Henri Poincaré and combinatorial descriptions used by J. H. C. Whitehead. Explicitly, for a singular simplex σ: Δ^n → X × Y with projections σ_X and σ_Y, the image under the map is the sum over i of the front i-face of σ_X tensored with the back (n−i)-face of σ_Y. This combinatorial face decomposition echoes techniques in the study of simplicial sets by Daniel Kan and links to cellular models used in CW complex theory and calculations similar to those in Alexander duality.

Algebraic properties

The map is natural with respect to continuous maps between spaces such as maps induced by continuous functions between spheres, tori, or more complex manifolds like Lie group actions and respects the grading of chain complexes arising in the frameworks of Eilenberg–MacLane spaces and Moore spaces. It is a chain map compatible with the boundary operator derived from the simplicial face maps introduced by Élie Cartan and H. S. M. Coxeter. Under the composition with the shuffle map developed by Eilenberg and Zilber, the Alexander–Whitney map participates in a quasi-isomorphism implementing the Eilenberg–Zilber theorem that connects to the Künneth theorem for tensor products of homology groups such as those appearing in the study of Betti numbers of products like CP^n × CP^m or products of spheres. The AW map intertwines with the cup product in cohomology introduced by H. Whitney and further axiomatized in work by Jean Leray and Jean-Pierre Serre.

Homotopy and chain homotopies

Although the Alexander–Whitney map is not strictly an inverse to the shuffle map on the chain level, Eilenberg and Zilber constructed explicit chain homotopies linking the composition AW ∘ Shuffle and the identity; these homotopies are akin to homotopies used in constructions by André Weil and Jean Leray in spectral sequence comparisons. The homotopy equivalence provided by the AW map and its homotopy inverse supports derived-category level statements about derived tensor products encountered in Grothendieck-style treatments and is compatible with natural transformations considered in the context of Mac Lane’s homological algebra. Concrete chain homotopies can be written using prism operators related to the geometric prisms used in early calculations by Poincaré and refined in later expositions by Hatcher and Spanier.

Applications in homological algebra and topology

The Alexander–Whitney map is used directly in computations of the cup product and cap product pairings on the cohomology ring of spaces such as complex projective space, real projective space, and classifying spaces like BGL_n. It is instrumental in proving the multiplicative form of the Künneth theorem and in explicit evaluations of Tor and Ext groups appearing in algebraic topology problems connected to spectral sequence computations such as the Serre spectral sequence and the Atiyah–Hirzebruch spectral sequence. The map is also relevant in the construction of E_\infty-algebra structures on cochains studied by Boardman and Vogt and in comparisons used in rational homotopy theory developed by Dennis Sullivan and Daniel Quillen. In geometric topology, AW-based computations inform intersection pairings in manifolds studied by William Thurston and invariants of fiber bundles considered by Mikhail Gromov.

Generalizations and dual constructions

Dual to the Alexander–Whitney map is the shuffle map (or Eilenberg–Zilber map) giving a chain map C_*(X) ⊗ C_*(Y) → C_*(X × Y); both fit into the homotopy equivalence framework of the Eilenberg–Zilber theorem and have analogues in the setting of differential graded algebras and operad theory explored by Murray Gerstenhaber and Maxim Kontsevich. There are higher homotopy coherent variants such as A_∞ and E_∞ refinements studied by Stasheff, Markl, and Bernhard Keller that encode multiplicative coherences beyond classical chain homotopy. In categorical language, AW admits enrichment in the setting of model categories treated by Quillen and appears in derived functor contexts central to Grothendieck’s homological methods and modern treatments involving ∞-categories advanced by Jacob Lurie. Variants exist for cubical chains, cubical sets studied by Ronald Brown, and for mixed complexes appearing in cyclic homology work by Alain Connes.

Category:Algebraic topology