12
$\begingroup$

I am trying to find examples of maps between topological space which are local homeomorphism but not covering maps. Especially, how twisted has to be such a counterexample : can it be a local diffeomorphism between connected manifolds which is not a covering map ?

I found here(When is a local homeomorphism a covering map?) a nice proposition which state that a local homeo from a compact space to a connected Hausdorff space is a covering map.

I am interested in all type of counterexamples, from non-Hausdorff spaces to surfaces, to get a better picture of the differences between covering maps and local homeomorphisms.

Thank you !

$\endgroup$
  • 1
    $\begingroup$ I found an answer to a similar question, about local diffeomorphisms and covering maps: math.stackexchange.com/questions/418371/… $\endgroup$ – Francesco Genovese Jul 19 '13 at 6:10
  • $\begingroup$ Ok that's a good remark. Now can one think of couterexamples which are not a covering map with points from the domain removed ? $\endgroup$ – Selim Ghazouani Jul 19 '13 at 6:17
13
$\begingroup$

There's an error in your statement: you need the domain to be compact, and the range to be connected.

Easy counterexample: restrict the exponential map $\mathbb{R} \rightarrow S^1$ to some interval like (0, 1.5) so that the fibers have different cardinalities.

$\endgroup$
  • $\begingroup$ I see a similar example was used in the post linked in a comment... You can get lots of examples of this type by restricting covering maps. Another would be to restrict the cover $S^2 \rightarrow \mathbb{R}P^2$ to a little thickening of the upper hemisphere. $\endgroup$ – Dylan Wilson Jul 19 '13 at 6:13
  • $\begingroup$ Yes of course, I edited. $\endgroup$ – Selim Ghazouani Jul 19 '13 at 6:16
5
$\begingroup$

Here is an example of a local homeomorphism which is not just a covering map with points from the domain removed (nor is it of the form $\bigsqcup U_i \to X$ where $U_i \subseteq X$ are open subspaces).

Let $X= \Bbb{Z}_{\geq 0}$ with open sets $U_n = [n, \infty)\cap X$ for $n \in \Bbb{Z}$. The open sets are nested $X = U_0\supsetneq U_1 \supsetneq \cdots$, so that any open cover of $X$ contains $X$ itself. Here is a picture:

Nested space

Because any open cover of $X$ contains $X$ itself, its covering spaces are all of the form $\bigsqcup_{i \in I} X \to X$. Yet we can easily construct a local homeomorphism not of this form by gluing two copies of $X$ together along any of the $U_i$. (The result is a connected space which is not homeomorphic to $X$, so it cannot be extended to a covering map.)

EDIT: It is also easy to get a local homeomorphisms onto a simply connected manifold $M$ which does not extend to a covering map, though the space which maps to $M$ won't be a manifold. For example, the sphere with two north poles mapping onto the usual sphere is a local homeomorphism.

More generally, one can glue a number of copies of $M$ along some open set, obtaining a local homeomorphism onto $M$ whose fibers are already too large to extend to a connected cover. (This does not contradict the proposition mentioned above because it was also necessary that the domain of the local homeomorphism be Hausdorff; if we glue two copies of a manifold together along an open set then the boundary points of that open set are not separated from those in the other copy.)

$\endgroup$
  • $\begingroup$ Very insightful answer. $\endgroup$ – Arrow Oct 16 '17 at 21:50
3
$\begingroup$

To your question:

can it be a diffeomorphism between connected manifolds ?

Of course it can't be; a diffeomorphism is automatically a homeomorphism and hence a covering map. I suspect what you meant to ask if it can be locally a homeomorphism between connected manifolds.

For this, the quotient map from the line with double origin to the ordinary line, identifying the two origins, will do.

This is also a non-Hausdorff example that you were looking for.

$\endgroup$
  • $\begingroup$ Of course there exists diffeomorphisms between manifolds, i meant local diffeomorphisms between manifolds which are not covering map. I edited $\endgroup$ – Selim Ghazouani Jul 19 '13 at 6:39
  • $\begingroup$ Well, if you suitably re-define manifolds to include non-Hausdorff cases, this example will do for local diffeomorphisms too. $\endgroup$ – Doubting Thomas Jul 19 '13 at 6:41
  • 1
    $\begingroup$ Ok but without including non-Haussdorff cases, can you think of a counterexample ? $\endgroup$ – Selim Ghazouani Jul 19 '13 at 6:57
0
$\begingroup$

All coverings must satisfy the path lifting property. Another example where this fails : Consider a covering $(E,X,p)$ where $E=\{(cos2 \pi t, sin 2\pi t,t) \in \mathbb{R}^3 | t>0\}$ (truncated helix) and $X=S^1$ (circle). Here the property of path liftings is not satisfied. To see this, take a path in the opposite direction on the circle which corresponds to the negative direction on the helix.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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