Hopf invariant
Generated by GPT-5-miniExpansion Funnel Raw 56 → Dedup 0 → NER 0 → Enqueued 0
| Hopf invariant | |
|---|---|
| Name | Hopf invariant |
| Field | Algebraic topology |
| Introduced by | Heinz Hopf |
| Year | 1931 |
| Related concepts | Homotopy group; Whitehead product; Cohomology ring; Suspensions |
Hopf invariant The Hopf invariant is an integer-valued invariant associated to maps between spheres that measures the linking of preimages and distinguishes homotopy classes in algebraic topology. It arises from cohomological cup products and plays a central role in the study of homotopy groups of spheres, the classification of maps like the Hopf fibration, and the formulation of obstructions in obstruction theory. The invariant connects influential figures and results across topology and geometry, including the work of Heinz Hopf, Élie Cartan, Jean-Pierre Serre, J. H. C. Whitehead, and Raoul Bott.
Definition and basic properties
For a continuous map f: S^{2n-1} → S^n one defines the Hopf invariant H(f) via the cohomology cup product in singular cohomology with integer coefficients. Choose a generator x ∈ H^n(S^n; ℤ) and consider f^*(x) ∈ H^n(S^{2n-1}; ℤ); since H^n(S^{2n-1}; ℤ)=0 one picks a cochain whose coboundary equals f^*(x) and evaluates the cup square to obtain an integer H(f). This construction links to the work of Henri Poincaré on duality, Samuel Eilenberg on cohomology operations, and the axioms developed by Saunders Mac Lane. The Hopf invariant is additive under wedge sums and behaves naturally under composition with degree maps, reflecting relationships studied by H. F. Tietze and formalized in the framework of Eilenberg–MacLane spaces.
Key properties include: - H(f) is homotopy invariant, central to classification problems tackled by Henri Cartan and Jean Leray. - For suspension maps the Hopf invariant vanishes, a fact used in work of G. W. Whitehead and J. H. C. Whitehead on suspension theorems. - If H(f)=±1 then f often generates nontrivial elements in homotopy groups, a phenomenon analyzed by John Milnor and Michael Atiyah.
Historical background and Hopf fibration
The invariant is named after Heinz Hopf, who introduced it while studying the celebrated Hopf fibration S^3 → S^2, a map with Hopf invariant 1 constructed using complex structures and linking number ideas from Hermann Weyl and Felix Klein. The Hopf fibration motivated developments in fiber bundle theory by Norman Steenrod, influenced the classification of principal bundles by Raoul Bott and Ralph H. Fox, and shaped the interplay between topology and geometry explored by Shiing-Shen Chern and Richard Palais. Later, the significance of maps with Hopf invariant one was illuminated by the Adams theorem proved by Frank Adams, which used tools from K-theory developed by Atiyah and Bott and methods from stable homotopy theory advanced by John F. Adams and Douglas Ravenel.
Milestones connected to this history include the use of Steenrod squares by Norman Steenrod, cohomology operations studied by J. H. C. Whitehead, and further refinements in obstruction theory by Karol Borsuk and Eduard Čech.
Computation and examples
Classic examples include: - The Hopf fibration S^3 → S^2 with H=1, constructed via complex projective lines and studied by Heinz Hopf and H. Hopf contemporaries. - Quaternionic and octonionic analogues: S^7 → S^4 and S^{15} → S^8 arising from division algebras studied by Adolf Hurwitz, Issai Kantor, and used in the classification of division algebras by Hassler Whitney and Emil Artin; these give maps with Hopf invariant 1 in dimensions related to real, complex, quaternionic, and octonionic structures. - Examples with higher Hopf invariant values constructed via Whitehead products and mapping cones analyzed by J. H. C. Whitehead and computed in seminal work by Jean-Pierre Serre.
Computational methods draw on the Serre spectral sequence from Jean-Pierre Serre for fibrations, the Mayer–Vietoris sequence used by Walther Mayer and Otto Vietoris, and cochain-level constructions formalized by Samuel Eilenberg and Norman Steenrod. Modern computations use Adams spectral sequences developed by Frank Adams and further techniques from Ravenel and Mark Mahowald.
Relationship with homotopy groups and Whitehead products
The Hopf invariant detects nontrivial elements in unstable homotopy groups of spheres π_{*}(S^n). Notably, maps with Hopf invariant one correspond to certain generators in low-dimensional homotopy groups identified by J. H. C. Whitehead and classified by Frank Adams using K-theory and the Adams spectral sequence. The invariant can be interpreted via the Whitehead product: the cup-square that defines the Hopf invariant reflects the Whitehead product pairing in homotopy, concepts advanced by J. H. C. Whitehead and explored in the homotopy theoretic program of Hilton and Serre. Interactions with the Freudenthal suspension theorem, studied by Hans Freudenthal, further clarify when the Hopf invariant can be nonzero across suspension ranges investigated by John Milnor.
Generalizations and higher Hopf invariants
Generalizations include higher Hopf invariants defined for maps between higher-dimensional complexes and for elements in homotopy groups of more general spaces, extensions pursued by George W. Whitehead, J. H. C. Whitehead, and Edward Spanier. Cohomology operations such as Steenrod operations by Norman Steenrod and secondary cohomology operations described by Massey and J. Milnor lead to broader invariants; the Toda bracket framework developed by Hiroshi Toda provides higher-order analogues relevant in stable homotopy theory as advanced by Douglas Ravenel and Mark Mahowald. Researchers like Vladimir Voevodsky and Daniel Quillen connected these ideas to motivic and algebraic K-theory.
Applications in algebraic topology and geometry
Applications span classification problems for sphere bundles and fiber bundles investigated by Norman Steenrod and Raoul Bott, the study of exotic spheres and differentiable structures by John Milnor and Michel Kervaire, and interactions with index theory initiated by Atiyah and Singer. The Hopf invariant underpins phenomena in homotopy theory used in calculations of stable homotopy groups, interacts with characteristic classes studied by Élie Cartan and Chern, and informs constructions in geometric topology pursued by William Thurston and Michael Freedman. It also plays a role in modern fields connecting topology to mathematical physics, as in work by Edward Witten and Michael Atiyah on gauge theory and string theoretic applications.