0
votes
0answers
19 views

Let $p$ be a covering space and $X, Y$ be path connected. Show there exists a map $q$ such that $q\circ p=1_{X}$ iff $p$ is a homeomorphism.

Let $p\colon X\rightarrow Y$ be a covering map where $X$ and $Y$ are path connected. Show that there exists a map $q\colon Y\rightarrow X$, such that $q\circ p=1_{X}$ if and only if $p$ is a ...
3
votes
0answers
43 views

does the pullback of a covering space correspond to the pullback of the corresponding representations of $\pi_1$?

Say you have a covering space $C \rightarrow X$ corresponding to some homomorphism $\pi_1(X)\rightarrow S_n$. Suppose you have an arbitrary (continuous) map $f : Y\rightarrow X$. Then we may pull back ...
4
votes
1answer
47 views

Show that if B is simply-connected, then p is a homeomorphism.

Let $p: E \rightarrow B$ be a covering map with $E$ path-connected. Show that if $B$ is simply-connected, then $p$ is a homeomorphism. I'm checking to see if my solution is flawed. Since $p$ is a ...
1
vote
2answers
91 views

Let $p: E\to B$ be a covering map. If $B$ is compact and $p^{-1}(b)$ is finite, then $E$ is compact. [duplicate]

So I start off and assume that some $\{U_\alpha\}$ is a cover of $E$. I want to reduce this cover to a finite subcover of $E$. Since $p$ is a covering map it is also an open map, therefore ...
10
votes
2answers
154 views
+50

Homology Whitehead theorem for non simply connected spaces

(One version of) the Whitehead theorem states that a homology equivalence between simply connected CW complexes is a homotopy equivalence. Does the following generalisation hold true? Suppose ...
0
votes
1answer
25 views

Verify $p _0 : [0,1] \mapsto S^1 , p_0(s)=(\cos(2 \pi s),\sin(2\pi s))$ is a covering map.

I want to verify that the restriction to the interval $[0,1]$ of the map $p : \mathbb{R} \mapsto S^1 $ given by $ p(s)=(\cos(2 \pi s),\sin(2\pi s))$ is a covering map. I tried as follows. Take $s ...
3
votes
1answer
55 views

Is Orbit Criterion an abstract nonsense? Different induced fundamental groups.

(Orbit Criterion) Let $p:\tilde X \to X$ be a covering map. If $\tilde q, \tilde q' \in \tilde X$ are two points in the same fiber $p^{-1}(q)$, there exists a covering transformation taking $\tilde ...
1
vote
0answers
37 views

what is the covering space of figure eight which is corresponding to commutator subgroup.

Let $ F$ be the free group on two generators and let $F^{'}$ be its commutator subgroup. Find a set of free generators for $F^{'}$ by considering the covering space of the graph $S^{1} \vee S^{1}$ ...
0
votes
0answers
26 views

a problem about surface $M_{g}$.

1.$M_{g}$ has normal universal cover $\widetilde{X}$ with deck transformation $G(\widetilde{X})=\mathbb{Z}^{n}$ if and only if $n \leq 2g$. 2.for $n=3,g \geq 3$ explain such covering. 3.show that ...
0
votes
0answers
41 views

exercise 17 of hatcher page 80 chapter 1.3

Given a group $G$ and a normal subgroup $ N$, show that there exists a normal covering space $\widetilde{X} \rightarrow X $ with $\pi_{1}(X)\approx G ,\pi_{1}(\widetilde{X})\approx N $, and deck ...
1
vote
1answer
41 views

Why does the intersection change to a union in $r^{-1}(\bigcap r(V_i\cap W_i))=\bigcup V_i\cap W_i$?

Let $q: X\to Y$ and $r:Y\to Z$ be covering maps, $p=r\circ q$. If $r^{-1}(z)$ is finite for each $z$ in $Z$, $p$ is a covering map. There is a proof on ask a topologist, but I can't follow why ...
0
votes
0answers
26 views

is there a specific way to find deck transformation and its related group?

is there a specific way to find deck transformation and its related group? this question came to my mind at the first time I studied deck transformation and related topics of covering space. it ...
0
votes
0answers
18 views

branched cover along a closed curve in the $3$-sphere

Let $c$ be a closed embedded smooth curve in the $3$-sphere $\mathbb S^3$. I was told that $\mathbb S^3$ admits a two fold branched cover $X(c)$, branched along $c$, which corresponds to the ...
0
votes
1answer
39 views

using covering space technique,prove that $[G:H \cap K] \leq [G:H][G:K]$.

using covering space technique,prove that if $G$ is a group with subgroups $H$ and $K$ then $$[G:H \cap K] \leq [G:H][G:K]$$ I couldn't understand the relation between them and the covering space,so ...
1
vote
1answer
38 views

Covering of a Topological Group(Use of fundamental theorem of covering spaces)

Suppose we have two path-connected spaces $G$ and $H$. Suppose also that $G$ is a topological group with an identity element $e$ and there is a covering $$ p: H \rightarrow G $$ The problem asks that ...
1
vote
1answer
42 views

what is the Cayley complex of dihedral group $D_{4}$?

what is the Cayley complex of dihedral group $D_{4}$? I am aware of Cayley graph of $D_{4}$,can you explain to me how I should I attach 2-cell complexes to the loops to make it covering space? I ...
0
votes
3answers
46 views

if $p:\widetilde{X}\rightarrow X$ is a covering space and $\widetilde{X}$ is path connected ,show that $p^{-1}(A)$ is path connected.

if $p:\widetilde{X}\rightarrow X$ is a covering space and $\widetilde{X}$ is path connected ,also $A\subset X$ is a path connected subset,show that $p^{-1}(A)$ is path connected. I suppose that ...
0
votes
0answers
79 views

find a necessery and enough condition just using $\pi_{1}$.

suppose $p:\widetilde{X} \rightarrow X$ will be a covering space and $X$ is path connected and locally path connected, also $\widetilde{X}$ is connected, then find a necessary and enough condition ...
0
votes
1answer
32 views

Morphism between covering spaces.

Let $p:Y\to X$ and $q:Z\to X$ be covering maps (of course $X,Y,Z$ are all Hausdorff, arcwise connected and locally arcwise connected) and $g:Y\to Z$ a morphism such that $q\circ g=p$. Then, $g$ is a ...
1
vote
1answer
42 views

Covering spaces and homotopical equivalence

I have this simple question: if $X$ and $Y$ are two topological spaces homotopically equivalents, have they the "same" covering spaces? (and if yes, in which sense?) This question derive from an ...
0
votes
0answers
52 views

Image of the map on homology induced by a covering

Let $X$ and $Y$ are two compact connected oriented 2dim smooth manifolds, and $\pi\colon X\to Y$ is an unramified covering of degree $d$. Consider the induced map $\pi_* \colon H_1 (X,\mathbb Z) \to ...
0
votes
1answer
57 views

existence of double covering [duplicate]

Let $M$ be a manifold , and $\pi_1(M)=\mathbb{Z}$. then can we say, the double covering of $M$ exists and is unique?
0
votes
1answer
57 views

Constructing explicit lift of a circle homeomorphism

Studying a book by Luis Barreira in the Universitext Collection -- Dynamical Systems: an Introduction -- I'm told that given $f: S^{1} \to S^{1}$ homeomorphism, it's always possible to construct a ...
2
votes
0answers
33 views

Covering Spaces and Fundamental Groups

Can somebody tell me if what I did is right? I need to Draw the based cover $\hat{B}\rightarrow B$ such that $\pi_{1}(\hat{B},v)$ corresponds to the subgroup $\langle a^{3}, a^{2}b\rangle$ ...
2
votes
0answers
72 views

Orientable Surface Covers Non-Orientable Surface

I need to describe how a 4-genus orientable surface double covers a genus 5-non-orientable surface. I know that in general every non-orientable compact surface of genus $n\geq 1$ has a two sheeted ...
2
votes
0answers
31 views

Degree and picture of a Covering map

I need to know if I am right: I need to know the degree of this covering map $R \rightarrow S$: $T^{2}\#T^{2}\#T^{2}\#T^{2}\#T^{2}\#T^{2}\ \rightarrow T^{2}\#T^{2}$ I have that genus of $R$, $g_{R} ...
1
vote
1answer
55 views

Genus of a surface

Let $S$ be a genus 3 closed orientable surface. Let $R\rightarrow S$ be a degree 2 covering map. What is the genus of $S$ ? Do I have to use the Euler characteristic of a surface presentation which is ...
1
vote
2answers
72 views

Covering map of a Torus

How would I draw (describe) a covering map given by $T^{2}\#T^{2}\#T^{2}\#T^{2}\#T^{2}\#T^{2}\ \rightarrow T^{2}\#T^{2}$ $T^{2}\#T^{2}\#T^{2}\#T^{2}\rightarrow T^{2}\#T^{2}$ and what would be the ...
1
vote
1answer
71 views

Find The Automorphism Group

I am taking my first course in Geometry and Topology and we are seeing the automorphism group of a covering. In class, my teacher gave some graphs and their automorphism groups, but he did not explain ...
1
vote
1answer
50 views

Automorphism groups of Graphs

What are the automorphism groups of the following regular covering spaces? I think the first picture is an 8-degree cover of the figure 8, whereas the second one is an infinite degree cover. I ...
1
vote
1answer
52 views

Connected Covering Space of a Bouquet of 3 Circles

Let $\hat{X}\rightarrow X$ be a degree 10 connected covering space where $X$ is a bouquet of 3 circles. What is $\pi_{1}(\hat{X})$ (It is a free group of what rank?). Any hints?
0
votes
1answer
50 views

Universal covering Spaces Drawings

I just have trouble drawing universal covers, how can I draw the universal covers of the following spaces: $X$ is the union of a circle with a projective plane $\mathbb{P}^2$ identified along a ...
1
vote
1answer
81 views

Homotopy groups of a covering space

This is a question related to the exercise 2218 from the book "Problems and Solutions in Mathematics" by Ta-Tsien, $2^{nd}$ Ed. Let $Z$ denote the figure 8 space, $Z = X \vee Y$, $X$ and $Y$ circles. ...
3
votes
2answers
77 views

For any element $e$ of an open set $V$ of a covering space, does there exist a sheet $S$ such that $e\in S\subseteq V$

Let $p:E\rightarrow X$ be a covering map. Let $V$ be any open subset of $E$ and $e$ be any element of $V$. I feel that the following statement must be true: There exists an evenly covered open subset ...
1
vote
1answer
66 views

what's wrong with this categorical proof that maps between two covering spaces are unique?

Let $\mathcal{C}$ be the category of finite covers of a fixed base space $S$ (say, connected, locally path connected, locally simply connected. Hell, we can even assume $S$ is a manifold). Morphisms ...
1
vote
1answer
125 views

Klein bottle covered by the torus

Maybe this is an idiot question and I'm missing something very trivial. This question question was asked here before, but the answer (which apparently is equal to the one that I created) seems ...
3
votes
1answer
63 views

What's the colimit of the n-sheet covering spaces over the circle?

I was thinking in computing the filtered colimit of the n-sheet covering spaces $f_n: \mathbb{S}^1 \longrightarrow \mathbb{S}^1$ ($f(z) = z^n$) in the comma category of topological spaces with the ...
2
votes
0answers
36 views

Reference request for an explicit description of the group of deck transformations acting on the universal cover of a Riemann Surface

Let $\Sigma_g$ be a geuns $g$ Riemann surface with $g \geq 2$. It can be thought of in the following way: it is the quotient space $$\mathbb{H}/\pi_1(\Sigma_g)$$ where an element of ...
3
votes
2answers
98 views

How to compute the fundamental group of a necklace of $\mathbb{S}^1$' s?

I was trying to compute $\pi_1 (X)$ where $X =$ "necklace of $n$ $\mathbb{S}^1$'s". At first, I tried using Van Kampen theorem however I could not find open sets $U$ and $V$ such that $U \cap V$ is ...
1
vote
0answers
44 views

finite covering space of non-orientable surfaces

Let $X_k$ the connected sum of k projective planes. I wonder about necessary and sufficient conditions to know wheter there exists a covering $\pi: X_{k'} \to X_k$ if k and k' are integers. A ...
4
votes
1answer
54 views

Any homeomorphism is a covering map

Prove that any homeomorphism is a covering map. My thought: Let $p:X\to Y$ be a homeomorphism. Choose $y\in Y$. Then $Y$ is a open neighbourhood of $y$. Since $p$ is a homeomorphism, $p^{-1}(Y)=X$ ...
1
vote
3answers
87 views

Covering Space of the Pearl Necklace

Let $S^{2}_{1},\dots, S^{2}_{n}$ be disjoint copies of the unit sphere, and, for each $i\in\{1,\dots, n\}$, let $p_i,q_i\in S^{2}_{i}$ be distinct points. Define an equivalence relation $E\subseteq ...
1
vote
1answer
73 views

Does every map $\mathbb{R}P^n\rightarrow\mathbb{R}P^n$ lift to a pair of maps $S^n\rightarrow S^n$?

Question: Given a continuous map $f:\mathbb{R}P^n\rightarrow\mathbb{R}P^n$, is there automatically a continuous map $g:S^n\rightarrow S^n$ such that $f,g$ commute with the covering map ...
1
vote
1answer
65 views

Lifting problems existence

Let $g:\mathbb{R}^m \longrightarrow \mathbb{R}^m,g\in C^1(\mathbb{R}^m)$ such that: $\|g'(x)(v)\|\geq\|v\|,\forall v\in \mathbb{R}^m,\forall x \in \mathbb{R}^m$ show that any rectilinear path ...
2
votes
0answers
81 views

Fundamental group and path-connected

Let $p:E \rightarrow B$ be a covering space, $E$ and $B$ are path-connected. Let $A$ be a path-connected subset of $B$ . How to use fundamental group to give a sufficient and necessary condition to ...
1
vote
1answer
78 views

Covering map + homotopy equivalence = homeomorphism?

How to show that a covering map which is also a homotopy equivalence is a homeomorphism?
8
votes
2answers
267 views

If $\|\left(f'(x)\right)^{-1}\|\le 1 \Longrightarrow$ $f$ is an diffeomorphism

Let $f:\mathbb{R}^n \longrightarrow \mathbb{R}^n,f\in C^1(\mathbb{R}^n)$ such that $\forall x \in \mathbb{R}^n\;,\;f'(x)$ is an isomorphism and: $$ \|\left(f'(x)\right)^{-1}\|\le 1\;,\forall x \in ...
3
votes
1answer
101 views

Prove that this covering map is a homeomorphism

Let $p \colon E \to X$ be a covering map. Let $s \colon X \to E$ be continuous. If $p \circ s = \operatorname{id}_{X}$, show that $p$ is a homeomorphism. We know that $p$ is a continuous surjection. ...
1
vote
0answers
83 views

find the connected covering space of $\mathbb{R}P^2 \lor \mathbb{R}P^2$

This is a problem on Hatcher' book. How to find all the connected covering spaces of $\mathbb{R}P^2 \lor \mathbb{R}P^2$? I don't know where to start. Is there a general way to construct the ...
-1
votes
1answer
143 views

Covering space of $C \backslash \{0,1,\lambda \}$

Let $\lambda\in C \backslash \{0,1\}$, $E= \{(x,y) \in C^2 : y^2=x(x-1)(x-\lambda),\ x\neq 0,1,\lambda \}$. Prove that $E$ is a connected $2$-fold covering space of $C \backslash \{ 0,1,\lambda \}$ ...