Fundamental Groups and Covering Spaces | Loops, Homotopy, Lifting and π₁

The fundamental group turns loops into algebra so that holes can be detected, compared and proved to matter.

Topology becomes more than a language of open sets when it begins to record how paths move through a space. A loop can go around an obstacle, contract to a point, wind several times, or combine with another loop. The fundamental group packages those behaviours into a group whose elements are homotopy classes of loops. Covering spaces then give a second viewpoint: a complicated loop downstairs may become an ordinary path upstairs, and the way that path fails to close records the winding information.

This guide serves R22.05 · Fundamental groups and covering spaces in the BTT Mathematics Atlas. It continues the topology route through Topological Spaces and Continuity, Metric Spaces and Examples, Compactness and Connectedness, and Quotients, Products and Identifications.

Return route: BTT Mathematics Hub.

The simple answer

Fix a basepoint x₀ in a topological space X. A loop based at x₀ is a continuous map γ:[0,1]→X with γ(0)=γ(1)=x₀. Two loops are considered equivalent when one can be continuously deformed into the other while the endpoints remain fixed. This equivalence is called path homotopy relative to the endpoints.

The set of equivalence classes becomes a group under loop concatenation. This group is the fundamental group π₁(X,x₀). If every loop contracts to the constant loop, the group is trivial and, under the usual path-connected hypotheses, the space is called simply connected.

A covering map p:E→X is a continuous surjection such that every point x in X has an open neighbourhood U for which p⁻¹(U) is a disjoint union of open sets, each mapped homeomorphically onto U by p. Locally, the covering looks like several separate copies of the same neighbourhood. Globally, those sheets can connect in ways that reveal the topology of X.

1. Paths and loops

A path in X from x to y is a continuous map γ:[0,1]→X with γ(0)=x and γ(1)=y. The interval [0,1] is the parameter space; γ(t) is the point reached at time t.

Two different formulas can describe the same geometric trace, and the same trace can be traversed at different speeds. Topology is interested in the continuous route, not the clock rate. Reparametrising a path by a suitable continuous monotone map does not change its homotopy class.

A loop is simply a path whose start and finish agree. The basepoint is important because the group operation combines loops starting at the same point.

Worked example 1: loops on the circle

Take S¹={(cosθ,sinθ):θ∈R} with basepoint (1,0). For every integer n define

γₙ(t)=(cos2πnt,sin2πnt).

When n=1 the loop goes once anticlockwise; n=2 goes twice; n=−1 goes once clockwise; n=0 is constant. These loops are not all homotopic to each other. Their integer winding numbers become exactly the elements of π₁(S¹).

2. Homotopy of paths

Let α and β be paths from x to y. A homotopy of paths relative to endpoints is a continuous map

H:[0,1]×[0,1]→X

such that H(t,0)=α(t), H(t,1)=β(t), H(0,s)=x and H(1,s)=y. The parameter s records the stage of the deformation while t records position along the path.

The endpoint conditions are essential for the fundamental group. If the basepoint were allowed to drift freely, the algebra of based loops would change.

Path homotopy is an equivalence relation: each path is homotopic to itself; a homotopy can be reversed; and two homotopies can be concatenated in the deformation parameter. Therefore paths split into homotopy classes.

3. Concatenating paths

If α is a path from x to y and β is a path from y to z, their concatenation α*β travels first along α and then along β. One standard parametrisation is

(α*β)(t)=α(2t) for 0≤t≤1/2, and β(2t−1) for 1/2≤t≤1.

The two pieces agree at t=1/2 because α(1)=β(0)=y, so the pasting lemma gives continuity.

For based loops α and β at x₀, α*β is again a based loop. The product in π₁ is defined by [α][β]=[α*β].

4. Why the operation is well defined

A group operation on homotopy classes only makes sense if choosing different representatives does not change the answer. Suppose α≃α′ and β≃β′ relative to endpoints. The two homotopies can be combined piecewise to produce α*β≃α′*β′. Therefore [α*β] depends only on [α] and [β].

This “well-defined on equivalence classes” check is a recurring algebraic-topology habit. Whenever a construction is defined using representatives, verify that changing representatives cannot change the class of the output.

5. The group axioms

The constant loop e(t)=x₀ represents the identity element. The reverse loop ᾱ(t)=α(1−t) represents the inverse of [α]. Concatenation is associative up to reparametrisation, hence associative on homotopy classes.

• Identity: [e][α]=[α]=[α][e].
• Inverse: [α][ᾱ]=[e]=[ᾱ][α].
• Associativity: ([α][β])[γ]=[α]([β][γ]).

The raw path formulas are not literally associative because the speed schedule changes, but the two parametrisations are homotopic relative to endpoints. The fundamental group records geometry up to homotopy, so this is exactly enough.

6. Basepoints and change of basepoint

The notation π₁(X,x₀) includes the basepoint because loops are based there. If X is path connected and x₀,x₁ are joined by a path λ, then π₁(X,x₀) and π₁(X,x₁) are isomorphic.

The isomorphism sends a loop α at x₀ to the loop λ̄*α*λ at x₁, depending on concatenation convention. Geometrically, travel from the new basepoint to the old one, run the loop, and return.

The isomorphism depends on the chosen connecting path up to an inner automorphism. Thus in a path-connected space one often writes π₁(X) when the group is being discussed only up to isomorphism.

7. Induced homomorphisms

A continuous map f:(X,x₀)→(Y,y₀) with f(x₀)=y₀ sends a loop α in X to f∘α in Y. Homotopic loops map to homotopic loops, so f induces a group homomorphism

f_*:π₁(X,x₀)→π₁(Y,y₀), f_*([α])=[f∘α].

Identity maps induce identity homomorphisms, and composition satisfies (g∘f)_*=g_*∘f_*. This is an early example of functoriality: topological maps produce algebraic maps in a composition-respecting way.

8. Homotopy equivalence preserves the fundamental group

If X and Y are homotopy equivalent, then their fundamental groups are isomorphic, after accounting for basepoints. In particular, a deformation retract has the same fundamental group as the original space.

This makes deformation retraction a practical computational tool. A thick annulus deformation retracts onto its central circle, so its fundamental group is Z. A punctured plane R²\{0} deformation retracts onto S¹, so it also has fundamental group Z.

Worked example 2: the punctured plane

Define r:R²\{0}→S¹ by r(x)=x/||x||. The inclusion i:S¹→R²\{0} satisfies r∘i=id. The homotopy H(x,s)=((1−s)+s/||x||)x continuously moves each nonzero point radially onto the unit circle without crossing the origin. Thus S¹ is a deformation retract of the punctured plane.

Therefore π₁(R²\{0})≅π₁(S¹)≅Z. The missing origin creates a loop obstruction detectable by winding number.

9. Simply connected spaces

A path-connected space X is simply connected if π₁(X) is trivial. Equivalently, every based loop can be contracted to the constant loop. In many familiar settings this is also equivalent to every pair of paths with the same endpoints being homotopic relative to endpoints.

• Rⁿ is simply connected for every n≥1.
• A convex subset of Rⁿ is simply connected because straight-line homotopies contract loops.
• S¹ is not simply connected.
• Sⁿ is simply connected for n≥2.

The last statement is significant: circles have a one-dimensional hole detected by π₁, while a 2-sphere has no noncontractible loops even though it encloses a three-dimensional region in an embedding. Fundamental groups detect certain kinds of holes, not every geometric intuition about “inside”.

10. The covering map R→S¹

The model covering map is

p:R→S¹, p(t)=(cos2πt,sin2πt).

Every point of S¹ has a sufficiently short open arc U whose inverse image is a disjoint union of open intervals in R. On each interval p is a homeomorphism onto U. These intervals are the local sheets above U.

The fibre over (1,0) is Z. Each integer is a different point upstairs projecting to the same basepoint downstairs. This integer fibre is already a clue that loops around the circle will be counted by integers.

11. Path lifting

Let p:E→X be a covering map and γ:[0,1]→X a path. Choose e₀∈E with p(e₀)=γ(0). Then there exists a unique lifted path γ̃:[0,1]→E satisfying γ̃(0)=e₀ and p∘γ̃=γ.

This is the path lifting property. Locally the path lifts through whichever sheet contains the current lift. Compactness of [0,1] lets finitely many evenly covered neighbourhoods control the entire path, while uniqueness prevents the lift from jumping between sheets.

Worked example 3: lifting a circle loop

For γₙ(t)=(cos2πnt,sin2πnt), choose lift γ̃ₙ(0)=0. Then γ̃ₙ(t)=nt. The loop downstairs closes at t=1, but the lift ends at n rather than necessarily at 0.

The endpoint n is the winding number. A loop in S¹ is null-homotopic exactly when its lift beginning at 0 also ends at 0.

12. Homotopy lifting

Covering maps also lift homotopies. Roughly, if H:Y×[0,1]→X is a homotopy and one lift of H(·,0) has been chosen, then under the covering hypotheses there is a unique lifted homotopy H̃ with p∘H̃=H.

For path homotopies, this means homotopic paths with the same starting lift have lifted endpoints that agree. Therefore the endpoint of a lifted loop depends only on the homotopy class of the loop.

For S¹ this turns the lifted endpoint into a homomorphism π₁(S¹)→Z, and one proves it is an isomorphism.

13. Computing π₁(S¹)=Z

For a loop γ based at (1,0), lift γ to γ̃ in R with γ̃(0)=0. Since γ(1)=(1,0), the endpoint γ̃(1) lies in the fibre Z. Define

w([γ])=γ̃(1).

Homotopy lifting makes w well defined. Concatenation adds lifted endpoint changes, so w is a homomorphism. Every integer n is realised by γₙ, making w surjective. If w([γ])=0, the lift is a loop in R. Since R is contractible, that lifted loop contracts, and projecting the contraction shows γ is null-homotopic. Thus w is injective.

Hence π₁(S¹,(1,0))≅Z.

This computation is a model of algebraic topology: replace a difficult question about deformation downstairs with a simpler lifted problem upstairs, then read off an algebraic invariant.

14. Universal covers

A covering p:E→X is called a universal cover when E is simply connected. The map R→S¹ is the universal cover of the circle.

Under standard hypotheses—typically X path connected, locally path connected and semilocally simply connected—a universal cover exists and is unique up to covering isomorphism. These hypotheses matter; not every topological space has a universal cover in the classical sense.

The universal cover “unwraps” all loop obstructions. Loops in X lift to paths in E, and their endpoint displacement records their homotopy class through the action of deck transformations.

15. Deck transformations

A deck transformation of a covering p:E→X is a homeomorphism h:E→E satisfying p∘h=p. It moves points within fibres while preserving the projection.

For p:R→S¹, every integer translation Tₙ(t)=t+n is a deck transformation, and these are all the deck transformations. Their group is isomorphic to Z.

For a well-behaved universal cover, the deck transformation group is closely related to π₁(X), and for path-connected, locally path-connected, semilocally simply connected spaces the universal cover carries a natural action of π₁(X) by deck transformations after appropriate choices.

16. The torus and its universal cover

The torus T²=S¹×S¹ has universal cover R² with covering map

p(x,y)=((cos2πx,sin2πx),(cos2πy,sin2πy)).

The fibre over the basepoint is Z². A loop on the torus can wind m times around one circle coordinate and n times around the other. The lifted endpoint changes by (m,n).

Therefore π₁(T²)≅Z×Z. Unlike a free group on two generators, the two basic winding directions commute: moving once around the first circle then the second is homotopic to performing them in the opposite order.

17. Products and fundamental groups

For path-connected spaces X and Y,

π₁(X×Y,(x₀,y₀))≅π₁(X,x₀)×π₁(Y,y₀).

A loop γ in X×Y is exactly a pair of loops (γ_X,γ_Y). Homotopies are coordinatewise, and concatenation acts coordinatewise, so the group structure splits into the direct product.

This immediately recovers π₁(T²)=Z×Z from T²=S¹×S¹.

18. A wedge of circles and free groups

Take two circles and identify one point from each, forming S¹∨S¹, the figure-eight space. Its fundamental group is the free group F₂ on two generators a and b.

Words such as ab, a⁻¹b²a and bab⁻¹ represent loop classes. Unlike Z×Z, in F₂ one generally has ab≠ba. The ordering of excursions around the two loops matters.

This example shows that fundamental groups can be nonabelian. Algebraic topology therefore detects more than a simple count of holes; it can record how different loop directions interact.

19. Seifert–van Kampen theorem

The Seifert–van Kampen theorem computes the fundamental group of a space assembled from overlapping open pieces. In a common simplified form, suppose X=U∪V, with U,V and U∩V path connected and containing the basepoint. Then π₁(X) is generated by the images of π₁(U) and π₁(V), with relations identifying loop classes coming from U∩V.

The formal statement is a pushout in the category of groups. Computationally, the theorem is a gluing rule: understand the loops in the pieces, understand how the overlap sits inside them, then combine the algebra.

For the figure eight, suitable neighbourhoods of the two circles meet in a contractible region. Each circle contributes a Z generator, and the trivial overlap imposes no commuting relation. The result is the free group F₂.

20. Fundamental group as an obstruction

If X and Y are homeomorphic, then their fundamental groups are isomorphic. Therefore nonisomorphic fundamental groups prove spaces are not homeomorphic.

• R² is not homeomorphic to R²\{0} because their fundamental groups are 0 and Z.
• S¹ is not homeomorphic to an interval because their fundamental groups are Z and 0.
• The torus is not homeomorphic to S² because π₁(T²)=Z² while π₁(S²)=0.

The reverse statement is false: isomorphic fundamental groups do not guarantee homeomorphism. The fundamental group is an invariant, not a complete classifier.

21. Covering spaces and subgroups

For spaces satisfying the standard covering-space hypotheses, connected covering spaces of X correspond, up to an appropriate equivalence, to conjugacy classes of subgroups of π₁(X). Based connected coverings correspond more directly to subgroups themselves.

This is a deep bridge between topology and group theory. A subgroup records which loop classes lift to closed loops in a particular covering. Larger subgroups correspond to coverings that identify more of the universal cover.

For S¹, subgroups of Z are nZ. The associated connected finite-sheeted coverings are essentially the degree-n maps z↦zⁿ from S¹ to itself.

22. Lifting criterion

Suppose p:(E,e₀)→(X,x₀) is a covering map and f:(Y,y₀)→(X,x₀) is continuous, with Y path connected and locally path connected. A standard lifting criterion says that f has a lift f̃:(Y,y₀)→(E,e₀) if and only if

f_*(π₁(Y,y₀))⊆p_*(π₁(E,e₀)).

The algebra says exactly whether all loops in Y map to loop classes compatible with closing upstairs. This criterion is one of the clearest examples of π₁ controlling existence of a topological construction.

23. Common misconceptions

• “A loop is determined by the set of points it visits.” False. Direction and repeated traversal can change the homotopy class.
• “Any deformation counts as loop homotopy.” For π₁ the basepoint must remain fixed during the homotopy.
• “π₁ counts holes.” This is useful intuition but incomplete; π₁ records an algebra of loops and can be nonabelian.
• “Trivial π₁ means contractible.” False. S² has trivial π₁ but is not contractible.
• “Every covering space is a product X×F.” Only locally. Globally the sheets can be connected nontrivially.
• “Every space has a universal cover.” Classical existence needs hypotheses such as local path connectedness and semilocal simple connectedness.
• “Same fundamental group means same topology.” False. π₁ is not a complete invariant.
• “A covering map is globally a homeomorphism on each sheet.” The sheet description is local over evenly covered neighbourhoods, not necessarily a global decomposition.

24. A proof workflow

1. Fix the basepoint and state the space.
2. Look for a deformation retract or product decomposition before computing from scratch.
3. If a covering is available, lift loops to the simpler space.
4. Track lifted endpoints or deck transformations.
5. Use functoriality for continuous maps and homotopy equivalences.
6. If the space is glued from pieces, consider van Kampen.
7. State any local path-connectedness or covering-space hypotheses explicitly.
8. Use the computed group as an obstruction, not as a complete classifier.

25. Practice set

1. Write a loop on S¹ that winds three times anticlockwise.
2. Write its inverse loop.
3. Explain why path concatenation is continuous.
4. Explain why concatenation is associative only up to reparametrisation before passing to homotopy classes.
5. Prove a convex subset of Rⁿ has trivial fundamental group.
6. Use deformation retraction to compute π₁(R²\{0}).
7. Compute π₁(S¹×S¹).
8. Compute π₁(S¹×R).
9. Explain why S² has trivial fundamental group but is not contractible.
10. Lift γ(t)=e^2πi5t through p:R→S¹ starting at 0.
11. What is the lifted endpoint?
12. State the path lifting property.
13. State the homotopy lifting idea for covering maps.
14. Describe all deck transformations of R→S¹.
15. Why does a nonzero lifted endpoint obstruct null homotopy of a circle loop?
16. Give the fundamental group of the figure eight.
17. Explain why the torus fundamental group is abelian but the figure-eight fundamental group is not.
18. State a simplified van Kampen principle.
19. Explain how a subgroup of π₁(X) is related to a connected covering under standard hypotheses.
20. Use π₁ to prove a torus is not homeomorphic to a sphere.

26. Answers and checks

1. γ(t)=(cos6πt,sin6πt).
2. γ̄(t)=γ(1−t), representing winding −3.
3. The two pieces are continuous and agree at the joining time; use the pasting lemma.
4. Different bracketings allocate time differently. A continuous reparametrisation homotopy relates them, so their classes agree.
5. For a loop γ at x₀, H(t,s)=(1−s)γ(t)+sx₀ stays in the convex set and contracts γ.
6. The punctured plane deformation retracts onto S¹, so π₁≅Z.
7. Z×Z.
8. Z because R is contractible and π₁ of a product splits.
9. Every loop on S² contracts, but higher-dimensional topology remains; for example its second homology is nontrivial.
10. γ̃(t)=5t.
11. 5.
12. A path in the base plus a chosen starting point in the fibre has a unique lift.
13. A homotopy with an initial lift extends uniquely to a lifted homotopy under covering-map conditions.
14. Tₙ(t)=t+n for n∈Z.
15. Null-homotopic loops lift, with fixed starting point, to loops whose endpoint returns to the start.
16. F₂, the free group on two generators.
17. Z² has commuting generators; F₂ imposes no relation ab=ba.
18. The group of a union U∪V is generated from the groups of U and V with overlap relations identifying their common loop data.
19. The subgroup consists of loop classes whose lifts to that covering close, up to the standard based/unbased correspondence.
20. π₁(T²)=Z² while π₁(S²)=0; homeomorphic spaces would have isomorphic fundamental groups.

27. What to carry forward

The fundamental group translates deformation of loops into algebra. Covering spaces make that algebra visible through lifted endpoints, sheets and deck transformations. The circle gives Z, the torus gives Z², and the figure eight gives a nonabelian free group. These examples show that topology can distinguish spaces by how paths wrap, commute and fail to contract.

The next Atlas cell moves from loops to higher-dimensional counting. Instead of recording how one-dimensional paths wind, homology and cohomology build algebraic invariants from chains, cycles, boundaries and functions on those chains.

Return to the BTT Mathematics Hub.