Is composition of covering maps covering map?

This question already has an answer here:

  • composition of covering maps

    2 answers

Solutions Collecting From Web of "Is composition of covering maps covering map?"

Here is a simple visualization of the example that Pece is talking about. The top map is a 2-fold covering but the bottom map has infinite fibers. The composition isn’t locally trivial and is therefore not a covering map. However, it is still a semicovering map in the sense that it is a local homeomorphism which has the unique path lifting property.

enter image description here

Yes there is. The following is a classical example (I think it is in Hatcher for example).

Take $H$ to be the hawaiian earings space, that the subspace of $\mathbb C$ which is the union of the circle $C_n\, (n\geq 1)$ of center $\frac 1 {2n}$ and radius $\frac 1 {2n}$.
Then you can get a composition of covering maps which is not a covering map as follow :

  1. For any $n\geq 1$, find a covering map $p_n \colon E_n \to H$ such that the restriction $p^{-1}(C_n) \to C_n$ is not a trivial covering map.
  2. Define $E = \coprod_{n\geq 1} E_n$ and $p \colon E \to H$ the map induced by all the $p_n$’s. Show that $p$ is not a covering map.
  3. Show that there is a trivial covering map $t \colon T \to H$ and a (non trivial) covering map $q \colon E \to T$ such that $p = t \circ q$.

I let you fill the details, but the idea is the following : $p \colon E \to H$ should be a map such that for any open neighbourhood $U$ of $0$, $p^{-1}(U)$ is almost a (countable) disjoint union of copy of $U$ except one of the summand screws things up.