# Tagged Questions

For questions about or involving covering spaces in algebraic topology.

19 views

### Homotopy between two paths implies triviality of the loop they form

If $X$ admits a universal covering space and $\alpha$ and $\gamma$ are to homotopic paths between $x$ and $p(y)$, then $\alpha*\gamma^{-1}$ is nullhomotopic?
30 views

### Interpretation of points in covering spaces as homotopy classes of paths [on hold]

If $p:\widetilde{X} \to X$ is a covering map, $y \in \widetilde{X}$ determines a homotopy class of paths in $X$ joining the base point $x_0$ to the point $p(y)$. But a homotopy class of paths in $X$ ...
19 views

### Question About Covering Space Classification Theorem

I'm a bit confused by Hatchers choice of words here. He says "The main classification theorem for covering spaces says that by associating the subgroup $p_{*}(\pi_{1}(\tilde{X},\tilde{x_{0}}))$ we ...
28 views

### Map inducing zero on first cohomology is nullhomotopic (plus assumptions on fundamental group and universal cover)

Currently I am studying for a topology exam next week and came across an exercise where I could need some hints (cf. here): Let $X$ be a path-connected space with $\pi := \pi_1(X,*)$ abelian and ...
436 views

### covering space of $2$-genus surface

I'm trying to build $2:1$ covering space for $2$- genus surface by $3$-genus surface. I can see that if I take a cut of $3$-genus surface in the middle (along the mid hole) I get $2$ surfaces each one ...
25 views

### If $p: E \rightarrow X$ is a covering map with $E$ connected and $|p^{-1}(x_{0})|=k$ for some $x_{o}$ then $|p^{-1}(x)|=k$ for all $x \in E$.

Prove that if $p:E \rightarrow X$ is a covering map with $E$ connected and $p^{-1}(x_{0})$ has $k$ elements for some $x_{0} \in X$, then $p^{-1}(x)$ has $k$ elements for every $x \in X$. Is my proof ...
39 views

### Group of deck transformations acts properly discontinuously

Let $M$ be a connected (smooth Riemannian) manifold which admits a universal cover $\tilde{M}$. Let $\Gamma$ be the group of deck transformations on $\tilde{M}$. I want to show that $\Gamma$ acts ...
39 views

### When is the universal cover of a Riemannian manifold complete?

Let $(M,g)$ be a connected Riemannian manifold which admits a universal cover $(\tilde{M}, \tilde{g})$, where $\tilde{g}$ is the Riemannian metric such that the covering is a Riemannian covering. I ...
### Let $G$ a simple connected topological group and $H$ a normal discrete subgroup, then $\pi_1(G/H,e) = H.$
I know that $G$ is a covering space for $G/H$ and there is a injection between the fundamental group of $G$ and $G/H.$ How to proceed to show that $\pi_1(G/H,e) = H?$.