Whitehead product
Generated by GPT-5-miniExpansion Funnel Raw 9 → Dedup 0 → NER 0 → Enqueued 0
| Whitehead product | |
|---|---|
| Name | Whitehead product |
| Field | Algebraic topology |
| Introduced by | J. H. C. Whitehead |
| Year | 1941 |
| Related | Homotopy group, Samelson product, H-space, Lie algebra, EHP sequence |
Whitehead product The Whitehead product is a bilinear operation in the homotopy groups of pointed topological spaces, introduced by J. H. C. Whitehead. It assembles information about how maps from spheres interact to produce higher-order homotopy classes and connects to structures studied by Henri Poincaré, Henri Cartan, Jean-Pierre Serre, and René Thom. The construction plays a central role in work by Samuel Eilenberg, Norman Steenrod, John Milnor, and Raoul Bott on homotopy theory and informs computations that involve the Hurewicz homomorphism, the EHP sequence, and the unstable homotopy of spheres.
Definition and construction
Given a pointed CW-complex X and homotopy classes [f] in π_p(X) and [g] in π_q(X) represented by basepoint-preserving maps f: S^p → X and g: S^q → X, the Whitehead product [f,g] is an element of π_{p+q-1}(X) constructed via the attaching map of the join S^p * S^q ≅ S^{p+q+1} or equivalently by commutator maps on the wedge S^p ∨ S^q. The standard construction uses the canonical inclusion of the fat wedge and the attaching cell in the product S^p × S^q, following techniques related to the mapping cone used by William Browder, Jean Lannes, and H. Toda. The product is bilinear, graded skew-symmetric, and functorial with respect to maps of pointed spaces, reflecting the approach found in early work of Hassler Whitney and J. H. C. Whitehead himself.
Basic properties
The Whitehead product satisfies graded skew-symmetry: [α,β] = (−1)^{pq}[β,α] for α in π_p(X), β in π_q(X), mirroring sign conventions seen in the work of Élie Cartan and Jean Leray. It obeys a graded Jacobi identity up to indeterminacy, aligning the collection of homotopy groups ⊕_{n>0} π_n(X) with a graded Lie algebra structure after tensoring with Q, as exploited by Dennis Sullivan in rational homotopy theory and by Daniel Quillen in model category formulations. Natural transformations induced by continuous maps of spaces preserve Whitehead products, a functoriality used by J. P. Serre and H. Cartan when comparing homotopy groups of Lie groups like SU(n), SO(n), and Sp(n). The Whitehead product interacts with suspension via the Freudenthal suspension theorem and often vanishes after sufficiently many suspensions, a phenomenon appearing in work of Georges-Henri Halperin and Clarence Wilkerson. For H-spaces and loop spaces such as ΩS^n and BG for a Lie group G, the Whitehead product corresponds to the Samelson product on homotopy groups, a link central to studies by Raoul Bott and John Milnor.
Examples and computations
Classical computations include the primary Whitehead product in π_{n+m-1}(S^n ∨ S^m) given by the attaching map of the (n+m)-cell that builds the wedge to a product, discussed in papers by J. H. C. Whitehead and later computed by H. Toda for unstable homotopy groups of spheres. The Whitehead square [ι_n, ι_n] of the identity ι_n ∈ π_n(S^n) yields important nontrivial elements in π_{2n-1}(S^n), central to work by Maurizio Toda, J. F. Adams, and Jean-Pierre Serre on periodicity phenomena and Hopf invariants. In Lie groups, Samelson products calculate commutator classes corresponding to Whitehead products under suspension; these were computed by A. Borel and Armand Borel in the study of homotopy groups of SU(n), SO(n), Sp(n), and compact symmetric spaces such as Projective space examples like CP^n and HP^n. Calculations in localized and p-torsion settings use tools from the Adams spectral sequence developed by Frank Adams and spectral sequence methods of Eilenberg–Moore, Ravenel, and Mark Mahowald.
Relation to homotopy and homology operations
The Whitehead product links to the Hurewicz homomorphism by detecting obstructions to Hurewicz surjectivity; nontrivial Whitehead products often map to nonzero Massey products in homology under cohomology operations considered by Steenrod and Joseph Neisendorfer. In rational homotopy theory, Sullivan models and Quillen models translate Whitehead products to Lie brackets in differential graded Lie algebras, connecting to work by Sullivan, Quillen, and Dennis Sullivan’s minimal models. The relation with Samelson products establishes connections to Pontryagin product structure in the homology of loop spaces, an interaction explored by Raoul Bott and J. Milnor in studying periodicity and characteristic classes like Stiefel–Whitney and Chern classes. Higher cohomology operations, including Massey products and Toda brackets, often detect composites of Whitehead products, forming part of obstruction theory investigated by Jonathan Cohen and Fred Cohen.
Applications and significance
Whitehead products are instrumental in computing unstable homotopy groups of spheres, classifying attaching maps in cell complexes, and analyzing H-space structures on manifolds studied by William Browder and Dennis Sullivan. They appear in classification problems for fibre bundles considered by Norman Steenrod and Milnor–Stasheff, and in detecting nontrivial k-invariants in Postnikov towers used by Jean-Louis Loday and Haynes Miller. In geometric topology, nonvanishing Whitehead products can obstruct the existence of certain manifold structures, relating to surgery theory developed by C. T. C. Wall and Andrew Ranicki and to invariants in the study of exotic spheres by John Milnor. They also inform computations in chromatic homotopy theory pursued by Douglas Ravenel and Mark Hopkins via their impact on differentials in spectral sequences.
Generalizations and higher Whitehead products
Higher or iterated Whitehead products generalize the bilinear construction to multilinear brackets producing elements in π_{n_1+...+n_k - (k-1)}(X); these were studied by J. H. C. Whitehead, Hirosi Toda, and Sam Gitler. They relate closely to Toda brackets, Massey products, and higher homotopy operations formulated by Philip J. Hilton, W. S. Massey, and James F. Adams. In modern homotopical algebra, these structures are captured by L-infinity algebras and A-infinity structures appearing in the work of Maxim Kontsevich, Dennis Sullivan, and Ezra Getzler, connecting to deformation theory used by Pierre Deligne and Vladimir Drinfeld. Higher Whitehead products remain central to understanding the fine structure of homotopy types, Postnikov invariants, and the interplay between homotopy theory and manifold topology investigated by a wide range of topologists including William Browder and Mark Mahowald.