Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I have stuck on the problem in Hatcher, Algebraic topology, which claim that if the covering map $q\circ p:X\rightarrow Y \rightarrow Z$ is normal, then the covering $p:X\rightarrow Y$ also is normal.

(Problem 16 in Section 1.3)

The messy part of this problem (I think) is that he only gives the condition that each space is locally path-connected.

This opens the case that X is not connected, so normality of the projection of the fundamental group of the covering space is not enough to show that $p$ is normal.

I think the direct proof should be needed, but have no idea what should I do.

Any comment about this problem will be helpful.

share|improve this question

1 Answer 1

The definition of a normal (regular) cover is that the deck transformations act transitively on each fibre. Hence suppose $y \in Y$ and $x_1,x_2 \in p^{-1}(\{y\})$. Then since $p(x_1)=p(x_2)$ we get $q\circ p(x_1)=q \circ p(x_2)$ and by assumption $q\circ p$ is regular and so we have a deck transformation $g:X \to X$ such that $g(x_1)=x_2$. But note this is a deck transformation for $q \circ p$ and not $p$. So we have $q \circ p \circ g=q\circ p$. Now we want $p \circ g=p$ but this may not actually occur, so we need to modify $g$ on each connected component. If $x_1$ and $x_2$ lie in the same connected component of $X$ then we define $h:X \to X$ to be equal to $g$ on that connected component and equal to the identity otherwise. If they lie on different connected components, say $x_i \in C_i$ for $i=1,2$, then define $h:X \to X$ to be equal to $g$ on $C_1$ and $g^{-1}$ on $C_2$ and the identity on the other connected components.

Need to check that $p \circ h=p$ in both cases.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.