🧮 Brain Teaser

The Suspension of a Space and Its Fundamental Group

Let XX be any path-connected topological space. The suspension of XX, denoted SXSX, is the quotient of X×[1,1]X \times [-1, 1] obtained by collapsing X×{1}X \times \{1\} to a single point (call it NN, the "north pole") and X×{1}X \times \{-1\} to another point (call it SS, the "south pole").

Prove that π1(SX)=0\pi_1(SX) = 0 for any path-connected XX.

In other words: no matter how complicated π1(X)\pi_1(X) is, suspending once kills it entirely.

(Bonus to think about: S1=S(two points)S^1 = S(\text{two points}), but π1(S1)=Z0\pi_1(S^1) = \mathbb{Z} \neq 0. Is there a contradiction? Why not?)

fundamental groupVan Kampensuspensionsimply connectedalgebraic topology

Answer: Suspension Kills Fundamental Group

Key Idea / Intuition

The suspension SXSX is covered by two open "cones" — an upper cone capped at NN and a lower cone capped at SS. Each cone is contractible (you can push everything toward the pole), so each piece has trivial fundamental group. The two cones overlap in a region homeomorphic to X×(1,1)X \times (-1,1), which is path-connected (since XX is). Van Kampen's theorem then forces π1(SX)=0\pi_1(SX) = 0: the amalgamated free product of two trivial groups, over any group, is trivial.

The bonus: S(two points)S(\text{two points}) is the suspension of a discrete two-point space, which is not path-connected, so our hypothesis fails and π1(S1)=Z\pi_1(S^1) = \mathbb{Z} is perfectly consistent.


Formal Proof / Solution

Step 1: Cover SXSX with two contractible opens.

Define: U={[x,t]SX:t>1}andV={[x,t]SX:t<1}.U = \{ [x, t] \in SX : t > -1 \} \quad \text{and} \quad V = \{ [x, t] \in SX : t < 1 \}.

Both UU and VV are open in SXSX:

  • UU is the image of X×(1,1]X \times (-1, 1], with the top X×{1}X \times \{1\} collapsed to NN.
  • VV is the image of X×[1,1)X \times [-1, 1), with the bottom X×{1}X \times \{-1\} collapsed to SS.

UU is contractible: The straight-line homotopy [x,t][x,(1s)t+s][x, t] \mapsto [x, (1-s)t + s] for s[0,1]s \in [0,1] pushes every point toward [x,1]=N[x, 1] = N. So UU deformation retracts onto {N}\{N\}, giving π1(U)=0\pi_1(U) = 0.

VV is contractible: Similarly, VV deformation retracts onto {S}\{S\}, giving π1(V)=0\pi_1(V) = 0.

Step 2: Identify the intersection.

UV={[x,t]:1<t<1}X×(1,1).U \cap V = \{ [x, t] : -1 < t < 1 \} \cong X \times (-1, 1).

Since XX is path-connected and (1,1)(-1,1) is path-connected, their product X×(1,1)X \times (-1,1) is path-connected. Hence UVU \cap V is path-connected.

Step 3: Apply the Seifert–Van Kampen theorem.

Since UU, VV, and UVU \cap V are all path-connected, Van Kampen gives: π1(SX)π1(U)π1(UV)π1(V)={e}π1(UV){e}.\pi_1(SX) \cong \pi_1(U) *_{\pi_1(U \cap V)} \pi_1(V) = \{e\} *_{\pi_1(U\cap V)} \{e\}.

No matter what group π1(UV)\pi_1(U \cap V) is, the amalgamated free product of two trivial groups is trivial: {e}G{e}{e}.\{e\} *_{G} \{e\} \cong \{e\}.

Therefore π1(SX)=0\pi_1(SX) = 0. \blacksquare


Resolution of the bonus puzzle:

The "two-point space" {N,S}\{N, S\} with the discrete topology is not path-connected (NN and SS lie in different path components). Our theorem required XX to be path-connected. Indeed, S({N,S})S1S(\{N,S\}) \cong S^1, whose π1=Z\pi_1 = \mathbb{Z}. This is not a contradiction — it just shows the hypothesis is sharp.


Takeaway: Suspension is a topological "smearing" operation that makes spaces simply connected by providing two contractible patches whose overlap retains just enough connectivity to apply Van Kampen. This is the same mechanism behind why SnS^n is simply connected for n2n \geq 2 (they are suspensions of connected spaces).

Source: Munkres, Topology; standard algebraic topology folklore

Type: topologySource: Munkres, Topology; standard algebraic topology folkloreEdit on GitHub ↗