13
$\begingroup$

Consider a topological space $X$. Let us consider a universal covering space to be a covering $ p : \tilde{X} \rightarrow X$ which is a covering of all other covering spaces. (Perhaps I should call this an initial covering space). That is, for any other covering space $ q : Y \rightarrow X$, there is a map $f : \tilde{X} \rightarrow Y$ such that $p = q \circ f$.

Question: Does there exist a space $X$ which is not semilocally simply connected with a universal covering space in this sense? Such a covering space is necessarily not simply connected.

I've seen some papers by Brazas, Biss, Cannon and Conner, but I couldn't see how to especially use their results in finding such an example. I'd expect such an example to be in the literature somewhere. Could somebody give me a reference in this case?

One idea is to find a non semilocally simply connected space $X$ with finite fundamental group, e.g. $\mathbb{Z}_2$. In this case, it might be possible that $X$ itself acts as a universal covering space.

$\endgroup$
5
  • $\begingroup$ What happens when you take the inverse limit of all the pointed covering spaces? $\endgroup$
    – Will Sawin
    Nov 2, 2012 at 22:06
  • 1
    $\begingroup$ It's actually not necessary to introduce terminology like "initial covering space", because what you have defined is exactly the meaning of "universal covering space". It is not (or should not be) a DEFINITION that a universal covering space is a simply connected covering space. It is (or should be) a THEOREM, under appropriate hypotheses. $\endgroup$
    – Lee Mosher
    Nov 6, 2012 at 17:21
  • $\begingroup$ Yes, that was what I felt like it should be. However, it seemed Hatcher took a different approach by (sort of) defining simply connected covering spaces to be universal covers for nice enough spaces. At any rate, I agree with you entirely and am glad to now better understand things. $\endgroup$ Nov 6, 2012 at 18:39
  • $\begingroup$ I'll point to my old favorite, Spanier, for this point of view on "universal covering space". $\endgroup$
    – Lee Mosher
    Nov 7, 2012 at 3:48
  • $\begingroup$ Thanks Lee! I haven't looked at Spanier much. I will check it out. $\endgroup$ Nov 7, 2012 at 19:24

4 Answers 4

21
$\begingroup$

My answer to this question gives an example of a locally path connected (but non-semilocally simply connected) space $HA\subset\mathbb{R}^3$ called the Harmonic archipelago: draw the Hawaiian earring on a disk and between each hoop push the surface straight up to make a hill of height 1.

enter image description here

The fundamental group is uncountable but the only covering of $HA$ is itself so it is the unique object in its category of coverings. This weird covering behavior happens because you can deform any loop as close as you want to the basepoint (over finitely many hills) but cannot actually contract it all the way to the basepoint because the homotopy would have to take the loop over infinitely many of hills (contradicting compactness).

Topologies on the fundamental group detect this behavior. For instance the quotient topology from the loop space (the quasitopological fundamental group, $\pi_{1}^{qtop}(X)$) satisfies: If $p:Y\to X$ is a covering map, then $p_{\ast}:\pi_{1}^{qtop}(X)\to \pi_{1}^{qtop}(Y)$ is an open embedding of quasitopological groups. So if $\pi_{1}^{qtop}(X)$ is an indiscrete group there are no proper open subgroups so the only covering of $X$ is itself.

This works for all spaces including non-locally path connected ones. Really, I'd say it is easier to produce non-locally path connected examples. Here is a compact space $X$ with $\pi_{1}^{qtop}(X)\cong \mathbb{Z}_n$ indiscrete.

Let $T\subset \mathbb{R}^2$ be the closed topologists sine curve, $a\in T$ be the endpoint in the open path component and $b$ be a point in the other path component - say the origin. Now let $$Y=\frac{T\times S^1}{T\times \{1\}\cup \{a\}\times S^1}$$

In other words, if $a$ is the basepoint of $T$, $Y$ is the reduced suspension $\Sigma T$.

You have $\pi_1(Y)\cong \mathbb{Z}$ where the loop $L:S^1\to Y$, $t\mapsto (b,t)$ represents a generator, but every neighborhood of $L$ contains a trivial loop so the quotient topology on $\pi_1(Y)$ is the indiscrete topology. If you attach a 2-cell to $Y$ using $L^n$ as an attaching map, you get a space $X$ where $\pi_{1}^{qtop}(X)\cong \mathbb{Z}_n$ is indiscrete. Both $Y$ and $X$ spaces have no nontrivial coverings.

Constructing locally path connected examples with countable indiscrete fundamental groups is much harder. In fact, I think it is an open question whether or not there exists a Peano continuum with finite, indiscrete fundamental group. For such spaces it is more efficient to talking about coverings via the "shape topology" and Spanier groups (the last section of this paper shows the shape topology consists precisely of the data of the category of coverings). Applied to your question: locally path connected $X$ has a categorical universal covering iff there is a minimal open subgroup in $\pi_1(X)$ with the shape topology. If the minimal open subgroup is the trivial subgroup you get back a classical universal covering and a discrete group.

$\endgroup$
4
  • $\begingroup$ Jeremy, this is perfect! Thank you so much for the answer. $\endgroup$ Nov 3, 2012 at 23:17
  • $\begingroup$ @JeremyBrazas From the answer above, can we say that every space $X$, whether it is locally path-connected or not, with discrete $\pi_1^{qtop}(X)$ is a categorical universal covering space for itself? $\endgroup$
    – M.Ramana
    Oct 18, 2018 at 14:58
  • $\begingroup$ @M.Ramana If you mean "indiscrete" instead of "discrete," then yes. $\endgroup$ Oct 18, 2018 at 15:06
  • $\begingroup$ @JeremyBrazas Yes, of course. I'm wrong. Thanks. $\endgroup$
    – M.Ramana
    Oct 18, 2018 at 15:15
8
$\begingroup$

let $X$=Hawaiian earring, consider $CX$ be the cone with base X. Now take two copies of this space named as $CZ$ and $CY$ and $z$ be the point where all circles of $Z$ are tangent similarly for $y$. Now consider $K= CZ \wedge CY$ (wedge sum of two spaces identifying the point $z$ with $y$). Now $K$ is connected and observe that both $CZ$ and $CY$ are contractable, but $\pi_1(K)$ is not trivial. For example, a closed path oscillating back to forth from $Y$ to $Z$ around the decreasing circles is not null homotopic. A good reference for this is J.W.Cannon and G.R. Conner's paper- "The combinational structure of the hawaiian earing group."

Consider the inclusion map from $CZ$ or $CY$ to $K$. For any covering space $\tilde{K}$ of $K$, there exists a lift $CZ$ or $CY$ to $\tilde{K}$ by map lifting theorem. It follows that any connected covering space of $K$ is homeomorphic to $K$, and so $K$ is its own universal cover. However, as mentioned above $\pi_1(K)$ is not trivial.

$\endgroup$
2
  • 1
    $\begingroup$ Welcome to MO! I made some edits to your post that show off the features of this site. First, I formatted your answer with some LaTeX. It's the standard on this site to include this kind of formatting, because it makes your answers a little more readable. Also, I included a link to the paper you referenced in your post. It's good to try and include a link, especially when the paper is freely available. I look forward to reading your future posts! $\endgroup$ Jul 4, 2014 at 9:00
  • $\begingroup$ This space is originally due to H.B. Griffiths and is sometimes called the Griffiths space or Griffiths twin cone. Like the harmonic archipelago, the fundamental group of this space is also naturally indiscrete. $\endgroup$ Jul 4, 2014 at 14:21
6
$\begingroup$

You probably mean to assume that $X$ is connected, and to allow only covering spaces $E\to X$ such that $E$ is connected.

The connected covering spaces of $X$ are the objects of a category, where a morphism from $E\to X$ to $E'\to X$ means a continuous map $E\to E'$ that respects the projection to $X$. In general such a map $E\to E'$ is not itself a covering space, although this is true in the good case, i.e. when $X$ is connected and locally path-connected and semi-locally simply connected.

In the good case, that category of connected covering spaces is equivalent to the category of sets with transitive action of $G=\pi_1(X,x)$. Note that the universal covering space is not initial; it corresponds to a set with a free transitive $G$-action; it has a map to every object, but not a unique one.

Certainly there are non-slsc examples in which the category of connected covering spaces has a "universal"object. For example, the "topologist's sine curve", which is connected but not path-connected, has no covering spaces except the one-sheeted one.

$\endgroup$
1
  • $\begingroup$ Thank you so much for your answer Tom! You are spot on about my assumptions that I did not mention. The topologist's sine curve is a good example I will keep in mind. $\endgroup$ Nov 3, 2012 at 23:27
0
$\begingroup$

(Comment to this answer)

Tom Goodwillie wrote "In general such a map $E\to E'$ is not itself a covering space, although this is true in the good case, i.e. when $X$ is connected and locally path-connected and semi-locally simply connected"

I guess, even $X$ is a "deloopable" space (i.e. semilocally simply connected etc.) such maps $E \to E'$ are not in general covering space. For example a lifting of the universal cover is a morphism of the category being said about (because the identity $X \to X$ is a covering space). It can however never be a covering space. I guess even, "covering" (being a reflexive transitive relation) can never be symmetric, i.e. two non-homeomorphic spaces $X$, $Y$ can never cover each other. Two (non-isomorphic) fields can never be Galois extension of each other

$\endgroup$
4
  • $\begingroup$ (Assume $X$ deloopable, path-connected.) I'm not sure what you mean by "lifting of the universal cover": if $X$ is not simply connected there's no such lift. Tom's assertion seems correct. $\endgroup$
    – YCor
    Apr 22, 2020 at 9:36
  • $\begingroup$ my feeling is from algebra. Consider the category of Galois extensions of a field, say $R$, with the $R$-linear maps as morphisms where the extensions are considered as $R$- vector spaces. The projection $C \to R$ is a morphism but no field extension. I don't know any example of tow fields which were Galois extensions of each other $\endgroup$ Apr 22, 2020 at 10:19
  • $\begingroup$ But I don't think this the right place to discuss this. It seems unrelated to the question and doesn't contradict Tom's answer. You can ask a separate question to discuss whether for two extensions $L,L'$ of a field $K$, the existence of an $K$-embedding $L\to L'$ and of a $K$-embedding $L'\to L$ implies the existence of a $K$-isomorphism. $\endgroup$
    – YCor
    Apr 22, 2020 at 10:37
  • $\begingroup$ sofar I understand the fundamental group discussed here is in reality the "instable" fundamental group. Another question of me is, could the stable fundamental group (of some good spectra) also be define by universal coverings? Or, if $E\to X$ is an universal covering space, is $\Sigma^{\infinity}E\to \Sigma^{\infinity}X$ also an universal covering object? $\endgroup$ Apr 25, 2020 at 14:26

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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