IM PAN
INSTITUTE OF MATHEMATICS · POLISH ACADEMY OF SCIENCES
FUNDAMENTA
MATHEMATICAE
ISSN: 0016-2736(p) 1730-6329(e)
 

Generalized universal covering spaces and the shape group
Hanspeter Fischer1, Andreas Zastrow2
Fund. Math. 197 (2007), 167-196
doi:10.4064/fm197-0-7

Abstract: 
\def\stackrel#1#2{\buildrel#1\over{#2}}
If a paracompact Hausdorff space $X$ admits a (classical)
universal covering space, then the natural homomorphism
$\varphi:\pi_1(X)\rightarrow \check{\pi}_1(X)$ from the
fundamental group to its first shape homotopy group is an
isomorphism.
 We present a partial converse to this result:
a path-connected topological space $X$ admits a {\it generalized}
universal covering space if $\varphi:\pi_1(X)\rightarrow
\check{\pi}_1(X)$ is injective.


 This generalized notion of
universal covering $p:\widetilde{X}\rightarrow X$ enjoys most of the
usual properties, with the possible exception of evenly covered
neighborhoods: the space $\widetilde{X}$ is path-connected, locally
path-connected and simply-connected and the continuous surjection
$p:\widetilde{X}\rightarrow X$
 is universally characterized by
 the usual general lifting properties.
 (If $X$ is first countable, then $p:\widetilde{X}\rightarrow X$ is
 already characterized by the unique lifting of paths and their homotopies.)
 In particular, the group of covering transformations
$G=\mathop{\rm Aut}(\widetilde{X}\stackrel{p}{\rightarrow}X)$ is isomorphic
to $\pi_1(X)$ and it acts freely and transitively on every fiber.
If $X$ is locally path-connected, then the quotient $\widetilde{X}/G$
is homeomorphic to $X$. If $X$ is Hausdorff or metrizable, then
so is $\widetilde{X}$, and in the latter case $G$ can be made to act
by isometry. If $X$ is path-connected, locally path-connected and
semilocally simply-connected, then $p:\widetilde{X}\rightarrow X$
agrees with the classical universal covering.

A necessary condition for the standard construction to yield a generalized universal covering is that $X$ be homotopically Hausdorff, which is also
sufficient if $\pi_1(X)$ is countable. Spaces $X$ for which
$\varphi:\pi_1(X)\rightarrow \check{\pi}_1(X)$ is known to be
injective include all subsets of closed surfaces,
 all 1-dimensional separable metric spaces (which we prove to be
 covered by topological $\mathbb{R}$-trees), as well as so-called trees of manifolds
 which arise, for example,
 as boundaries of certain
Coxeter groups.

We also obtain generalized regular coverings, relative to some
special normal subgroups of $\pi_1(X)$, and provide the
appropriate relative version of being homotopically Hausdorff,
along with its corresponding properties.


MSC (2000): Primary 55R65; Secondary 57M10, 55Q07.
Retrieve article in PDF (331.30 Kb)
  1. Department of Mathematical Sciences
    Ball State University
    Muncie, IN 47306, U.S.A.
  2. Institute of Mathematics
    University of Gdańsk
    Wita Stwosza 57
    80-952 Gdańsk, Poland