Higher Homotopy Summary

Algebraic Topology · Axiom Academy

SUMMARY Higher Homotopy Groups A comprehensive recap of Unit 8: Higher Homotopy Groups in Algebraic Topology Higher Homotopy Groups: For n ≥ 1, the n-th homotopy group classifies continuous maps from the n-sphere into a space X that fix a basepoint Group Operation: Defined via concatenation of maps on the n-sphere, generalizing the fundamental group's path concatenation Abelian Property: For n ≥ 2, all higher homotopy groups are abelian (commutative), unlike π₁ which can be non-abelian Eckmann-Hilton Argument: The commutativity of higher groups follows from having two compatible group structures in higher dimensions Fibrations & Long Exact Sequences Fibration: A map p: E → B with the homotopy lifting property , generalizing covering spaces Long Exact Sequence: A fibration F → E → B yields a long exact sequence of homotopy groups connecting the fiber, total space, and base Exactness: The image of each map equals the kernel of the next, providing powerful computational tools Applications: Essential for computing homotopy groups inductively by breaking spaces into simpler pieces Foundational Cases: for all n ≥ 1, reflecting that the identity map generates the group Computational Challenge: Computing πₙ(Sᵐ) for n ≠ m is one of the hardest problems in algebraic topology Unexpected Results: Many groups are finite and non-trivial , defying geometric intuition Stable Range: For n > m + 1, the groups stabilize and depend only on n − m, leading to stable homotopy theory

This is the written version of the interactive lesson above. See the full Algebraic Topology course.