Higher homotopy groups, the Hopf fibration, and exact sequences
Wrap whole spheres around spheres instead of loops, and you find twisting that counting holes cannot see. Its most famous example fills space with circles that are all linked together.
In wrapping mode, set the winding number and watch one sphere wrap around another n times. Then switch to Hopf Fibration mode and rotate the view: every circle is a fiber, and any two of them link exactly once.
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².
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.
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.
Pick one of the three fibrations and step through its exact sequence. Watch how known groups at each position force the unknown ones.
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 ℤ.
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.
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¹) = ℤ.
Pick a space and compare its homotopy and homology groups side by side. Look for where they agree, where they split apart (the 2-sphere has π₃ = ℤ but H₃ = 0), and where the groups are still unknown.
The first surprise: π₃(S²) = ℤ despite H₃ = 0. This is the Hopf fibration!
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.
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.
Spot a mistake or have an idea?