Homology, Homotopy and Applications

Volume 5 (2003)

Number 2

Volume of a Workshop at Stanford University

Discovering spaces

Pages: 1 – 17

DOI: http://dx.doi.org/10.4310/HHA.2003.v5.n2.a1


Lisbeth Fajstrup (Department of Mathematics, Aalborg Universitet, Aalborg, Denmark)


For a local po-space $X$ and a base point $x_0 \in X$, we define the universal dicovering space $\Pi: \tilde{X}_{x_0} \to X$. The image of $\Pi$ is the future $\uparrow x_0$ of $x_0$ in $X$ and $\tilde{X}_{x_0}$ is a local po-space such that $|\stackrel{\rightarrow}{\pi}_1(\tilde{X},[x_0],x_1)|=1$ for the constant dipath $[x_0]\in\Pi^{-1}(x_0)$ and $x_1\in \tilde{X}_{x_0}$. Moreover, dipaths and dihomotopies of dipaths (with a fixed starting point) in $\uparrow x_0$ lift uniquely to $\tilde{X}_{x_0}$. The fibers $\Pi^{-1}(x)$ are discrete, but the cardinality is not constant. We define dicoverings $P:\hat{X}\to X_{x_0}$ and construct a map $\phi:\tilde{X}_{x_0}\to\hat{X}$ covering the identity map. Dipaths and dihomotopies in $\hat{X}$ lift to $\tilde{X}_{x_0}$, but we give an example where $\phi$ is not continuous.


covering spaces, abstract homotopy theory, dihomotopy theory

2010 Mathematics Subject Classification

51H15, 54Exx, 57M10

Full Text (PDF format)