A Why Does the Orbit Space of a Covering Map Not Necessarily Equal the Base Space?

[PsychonautQQ]

Suppose $q: E-->X$ is a covering map (not necessarily normal). Let $E' = E/ Aut_{q}(E)$ be the orbit space, and let $\pi: E-->E'$ be the quotient map. Then there is a covering map $q': E' --->X$ such that $q' * \pi = q$ where $*$ is composition of functions.

I am confused why $E'$ doesn't equal $X$. Isn't $E'$ a space formed by the exact same identifications that $E$ makes on $X$ under the map $q$? Why would these spaces be different at all then? A part of me believes that these spaces can only be equal if $q$ where a normal map, because the action of $Aut_{q}(E)$ is transitive and sooo yeah I need some help filling in my lack of understanding on this.. Thanks!

 

[andrewkirk]

I suspect (but have no proof) that, if $q$ is normal, $E'$ will at least have the same cardinality as $X$, and maybe the same topology too. But it will be a different set.

Consider the usual example of $q:E=\mathbb R\to X=S^1$ given by $q(x)=e^{2\pi i x}$. Then an element of $X$ is a single number in the complex plane, whereas an element $x$ of $E'$ is a set of the form
$$\{\alpha_x+n\ :\ n\in\mathbb Z\}$$
where $\alpha_x\in[0,1)$ uniquely characterises $x$.

In that example the covering map is normal, and the cardinality and topology of $E'$ are the same as those of $S^1$.

But where the covering map is not normal, the set $Aut(q)$ of deck transformations is not transitive, so there may be more than one orbit per fibre. That suggests to me that the cardinality of $Aut(q)$ may be greater, and hence the cardinality of $E'$ may be greater than that of $X$. Differences in topology may also follow.

Perhaps the reason the text said 'not necessarily normal' was because it's in those non-normal cases that $E'$ becomes different from $X$ in more than just set composition, and things become more interesting.

This is all a bit hand-wavy, but hopefully it gives you an idea of the potential differences.