Algebraic Topology · Problem 4.1.4

Homotopy Theory — Allen Hatcher

Mathematics — Topology · homotopy-groups-covering-spaces-deck-transformations

Problem

Let

p: \tilde{X} \to X

be the universal cover of a path-connected space

X

. Show that under the isomorphism

\pi_n(X) \approx \pi_n(\tilde{X})

, which holds for

n \geq 2

, the action of

\pi_1(X)

\pi_n(X)

corresponds to the action of

\pi_1(X)

\pi_n(\tilde{X})

induced by the action of

\pi_1(X)

\tilde{X}

as deck transformations. More precisely, prove a formula like

\gamma p_*(\alpha) = p_*(\beta_{\tilde{\gamma}}(\gamma_*(\alpha)))

where

\gamma \in \pi_1(X, x_0)

\alpha \in \pi_n(\tilde{X}, \tilde{x}_0)

, and

\gamma_*

denotes the homomorphism induced by the action of

\gamma

\tilde{X}