Higher homotopy groups, the Hopf fibration, and exact sequences
The fundamental group π&sub1;(X) classifies loops in a space up to deformation. The higher homotopy groups πₙ(X) do the same for maps from the n-sphere Sⁿ into X. While π&sub1; detects 1-dimensional holes (tunnels), π&sub2; detects 2-dimensional holes (cavities), and higher groups detect increasingly subtle topological structure.
Unlike homology, which is relatively easy to compute, homotopy groups are notoriously difficult. Even the homotopy groups of spheres — the simplest possible spaces — remain only partially known. This is one of the great open frontiers of mathematics.
This is the crown jewel of algebraic topology visualization. Two modes let you explore the most important higher homotopy groups:
The Hopf fibration appears throughout mathematics and physics — in magnetic monopoles, the Berry phase in quantum mechanics, and as the generator of the stable homotopy group of spheres.
The Hopf fibration maps S³ → S² with fiber S¹. Every point on S² has a circle (fiber) above it in S³. Any two fibers are linked once — an extraordinary topological fact. Here we show the fibers in stereographic projection, colored by their base point on S².
Key insight: The existence of π&sub3;(S²) = ℤ is deeply surprising: there is no 3-dimensional “hole” in S², yet there are nontrivial maps S³ → S² that cannot be continuously deformed to a constant. Homotopy groups detect subtler structure than holes — they detect twisting.
A fibration F → E → B is a map that looks locally like a product. Its great power is the long exact sequence of homotopy groups: an infinite chain … → πₙ(F) → πₙ(E) → πₙ(B) → πₙ−&sub1;(F) → … where exactness at each node lets you compute unknown groups from known ones. Step through three classic fibrations to see how this machine works.
The Hopf fibration S¹ → S³ → S² is the most important fibration in topology. Its long exact sequence reveals π₃(S²) = ℤ.
Since π₃(S¹) = 0, exactness forces p*: π₃(S³) → π₃(S²) to be injective. So π₃(S²) contains at least ℤ.
Key insight: The long exact sequence is the primary computational tool for homotopy groups. The connecting homomorphism ∂: πₙ(B) → πₙ−&sub1;(F) is the secret weapon — it relates groups in different dimensions and different spaces. The Hopf fibration's connecting map shows π&sub2;(S²) ≅ π&sub1;(S¹) = ℤ.
The Hurewicz theorem says that for a simply connected space, the first nonvanishing homotopy and homology groups agree. But beyond that, they diverge dramatically. Homology is computable but coarse; homotopy is subtle but nearly impossible to compute. Compare them side by side for several spaces — note especially how π&sub3;(S²) = ℤ while H&sub3;(S²) = 0.
The first surprise: π₃(S²) = ℤ despite H₃ = 0. This is the Hopf fibration!
Key insight: Homotopy groups are strictly finer invariants than homology groups. The Hurewicz isomorphism connects them in low dimensions, but higher homotopy groups contain information invisible to homology — this is why they are so hard to compute and why they remain an active area of research.