Isomorphism between a principal bundle and a pullback bundle.

classifying-spacesprincipal-bundles

I have seen in many texts on the classification of main bundles that, given two homotopically equivalent X and Y spaces, this equivalence being the function $f: Y \rightarrow X$, given a group G, if $k_{G}(X), k_{G}(Y)$ represents the set of isomorphism classes of principal G-bundles over $X$ and $Y$ respectively, there is a bijection between them. But this means that, given a principal G-bundle equivalence class of X, say $[(P, X, G, \pi)]$, there is only one corresponding to it, say $[(E, Y, G, \rho)]$, and we would have for $(P, X, G, \pi)$ the corresponding $(f^*P, Y, G, \sigma)$.

My question is whether the principal G-bundles $(P, X, G, \pi)$ and $(f^*P, Y, G, \sigma)$ are isomorphic as the principal G-bundles.

Appreciate.

Best Answer

If $X$ is homotopy equivalent to a paracompact space, then $k_G(X) = [X, BG]$ where $BG$ is the classifying space of the topological group $G$ and the brackets denote the collection of homotopy classes of maps $X \to BG$. If $f : Y \to X$ is a continuous map, then there is an induced map $[X, BG] \to [Y, BG]$ given by $\alpha \mapsto \alpha\circ f$. If $Y$ is homotopy equivalent to a paracompact space, we can view this as a map $k_G(X) \to k_G(Y)$ which, by construction of the identification $k_G(X) = [X, BG]$, is precisely $f^*$, i.e. the map $k_G(X) \to k_G(Y)$ is given by $[P] \mapsto [f^*P]$. Now, if $f$ is a homotopy equivalence, then $f^*$ is a bijection (if $g$ is a homotopy inverse of $f$, then $g^*$ is an inverse of $f^*$).

In conclusion, if $X$ and $Y$ are homotopy equivalent to paracompact spaces, and $f : Y \to X$ is a homotopy equivalence, then $f^* : k_G(X) \to k_G(Y)$ given by $[P] \mapsto [f^*P]$ is a bijection.

Related Question