Hopf invariant one problem

Hopf invariant one problem
Name	Hopf invariant one problem
Field	Algebraic topology
First solved	1960s
Notable contributors	Heinz Hopf, John Milnor, J. F. Adams, Raoul Bott, Michael Atiyah

Hopf invariant one problem The Hopf invariant one problem is a central question in Algebraic topology and Homotopy theory concerning when a continuous map between spheres can have Hopf invariant equal to one; it connects classical work of Heinz Hopf with breakthroughs by J. F. Adams using tools from K-theory and Stable homotopy theory, and has repercussions for the structure of Division algebras and the classification of H-space structures. The problem motivated interactions among researchers at institutions such as Institute for Advanced Study, Princeton University, and University of Cambridge, influencing later developments by John Milnor, Raoul Bott, and Michael Atiyah.

Introduction

The problem originated in constructions by Heinz Hopf involving maps S^{2n-1} → S^n and the integer-valued Hopf invariant; it asks for which n there exists a map with Hopf invariant one, relating to the existence of nontrivial elements in the Homotopy groups of spheres and to classical examples like the Hopf fibration. Early explicit examples appear in work of Hopf and later investigations were framed by problems circulated among topologists at University of Chicago and Harvard University seminars led by figures such as Solomon Lefschetz and Marston Morse.

Historical Background

Hopf introduced his invariant in the 1930s while studying maps between spheres and linking numbers, building on techniques from Ludwig Bieberbach-era manifold theory and concepts later formalized by Henri Poincaré and Hermann Weyl. The problem gained prominence as computations of low-dimensional Homotopy groups of spheres by teams at University of Göttingen and Princeton University revealed surprising phenomena; contemporaries included Jean-Pierre Serre, Edwin Spanier, and G. W. Whitehead. In the 1950s and 1960s, advances by Raoul Bott and Michael Atiyah integrating ideas from Index theory and K-theory set the stage for J. F. Adams’s celebrated solution, with supplementary contributions from John Milnor and collaborators at Institute for Advanced Study.

Statement and Reformulations

Formally, for an integer n, the Hopf invariant H(f) of a continuous map f: S^{2n-1} → S^n is defined using cup products in the Cohomology ring of the mapping cone, and the problem asks for n such that there exists f with H(f)=1. Equivalent reformulations arise in terms of the existence of elements of degree 2n−1 in the Stable homotopy groups of spheres with specified operations, and in terms of whether certain Steenrod algebra operations vanish or act nontrivially on cohomology classes; these perspectives connect to the work of Jean-Pierre Serre, Henri Cartan, and Norman Steenrod.

Methods and Key Results

The breakthrough by J. F. Adams used the Adams spectral sequence, input from Real K-theory and Complex K-theory, and detailed analysis of the Steenrod algebra to show that maps with Hopf invariant one exist only for n = 1, 2, 4, 8, corresponding to the classical Hopf fibration, the Hopf fibration (complex), and the Hopf fibration (quaternionic) and the octonionic case tied to Division algebras over the Real numbers. Adams’s theorem built on techniques developed by Michael Atiyah and Raoul Bott in K-theory, and on input from computations by G. W. Whitehead, John Milnor, and Snaith. Complementary approaches employed the Adams–Novikov spectral sequence and methods from Cobordism theory explored by René Thom and Douglas Ravenel.

Consequences and Applications

Adams’s solution yields a classification result linking the Hopf invariant one phenomenon to the existence of real Division algebras of dimensions 1, 2, 4, 8, echoing results by Hurwitz and later reinterpretations by John Baez. It constrains possible H-space structures on spheres studied by Samuel Eilenberg and G. W. Whitehead, impacts the calculation of Stable homotopy groups advanced by Douglas Ravenel and Mark Mahowald, and informs constructions in Homotopy theory used in contemporary work at Massachusetts Institute of Technology and University of Michigan. The result also interacts with questions in Differential topology addressed by René Thom and John Milnor regarding exotic spheres and tangent bundle triviality.

Examples and Computations

Explicit maps with Hopf invariant one occur in dimensions arising from the classical fibrations: the circle fibration S^1 → S^1 (n=1), the complex fibration S^3 → S^2 (n=2), the quaternionic fibration S^7 → S^4 (n=4), and the octonionic fibration S^{15} → S^8 (n=8); these examples are historically linked to constructions by Heinz Hopf, Élie Cartan, and later expositions by John Milnor. Computations of cohomology cup products and Steenrod operations verifying H(f)=1 for these maps are found in texts by Hatcher and lecture notes influenced by Spanier and Spanier–Whitehead duality, while failed attempts in other dimensions were ruled out by Adams’s algebraic manipulations using K-theory operations developed by Atiyah.

Open Problems and Further Developments

While Adams resolved the Hopf invariant one existence question, related open issues remain in determining higher-order invariants detected by the Adams–Novikov spectral sequence and in understanding the full structure of the Stable homotopy groups of spheres pursued by researchers like Douglas Ravenel, Isaksen, and Mark Mahowald. Extensions involve generalizations to maps between other Homogeneous spaces studied at Institut des Hautes Études Scientifiques and interactions with modern approaches using Chromatic homotopy theory and Derived algebraic geometry as advanced by Jacob Lurie and collaborators. Continued computational and conceptual progress is driven by collaborations spanning Princeton University, University of California, Berkeley, and Stanford University.

Category:Algebraic topology