Unwinding Spaces

Algebraic Topology · Axiom Academy

Discover how covering spaces "unwind" loops and reveal hidden structure. Draw a path on the circle by dragging your mouse. Watch what happens when you complete a full loop! Watch what happens when we "lift" the same loop to the covering space above the circle. Different Loops, Different Endpoints Compare loops with different winding numbers. See how they lift to paths with different endpoints. What happens when you traverse one loop, then another? Explore loop composition via path lifting. Covering spaces "unwind" the topology of the base space. Paths that look the same on the base can be distinguished by where their lifts end up in the covering space. Every path in the base space lifts uniquely to the covering space once you choose a starting point. Homotopic paths lift to homotopic paths with the same endpoints. For the circle, the helix makes winding numbers geometric: a loop winding n times lifts to a path that rises n levels. This visualizes . This lifting property is crucial for proving theorems (like Brouwer fixed point), understanding monodromy, and computing fundamental groups of more complex spaces!

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