For questions about or involving covering spaces.

learn more… | top users | synonyms

1
vote
2answers
135 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
277 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 ...
1
vote
1answer
37 views

A Complete Spread

I am reading R. Fox's "Covering Spaces with Singularities", which deals with a careful definition of branched covering spaces. I am having trouble understanding the exact definition and importance of ...
8
votes
2answers
225 views

Equations for double etale covers of the hyperelliptic curve $y^2 = x^5+1$

Let $X$ be the (smooth projective model) of the hyperelliptic curve $y^2=x^5+1$ over $\mathbf C$. Can we "easily" write down equations for all double unramified covers of $X$? Topologically, these ...
3
votes
1answer
134 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. ...
0
votes
1answer
81 views

Can I decompose a compact set in a finite number of convex set?

My problem is in a finite-dimensional space. I look at $\mathcal{X}$ the support of a function $f$, that is continuous and has bounded support. \begin{eqnarray} \mathcal{X}_o & = & \{x \in ...
1
vote
0answers
112 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
153 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 \}$ ...
3
votes
1answer
155 views

Can the covering transformation group of a 6-sheeted covering map have 12 elements?

Can the covering transformation group of a 6-sheeted covering map $p : X \to Y$ have exactly 12 elements? I suspect that the answer is negative, but I cannot see an invariant that shows this. We ...
3
votes
0answers
88 views

deck transformations and covering spaces

Let $p:\tilde X\rightarrow X$ be a universal covering space, and let $H\leq G$ where $G$ is the group of covering transformations. Let $q:\tilde X \rightarrow \tilde X/G$ be the quotient map which is ...
1
vote
1answer
227 views

Alternative definition of covering spaces.

in a lecture I have seen a definition of a covering space, different from what I would call the usual one (e.g. the one in Munkres): A surjective continuous map $p:E\rightarrow B$ of spaces $E$ and ...
1
vote
1answer
127 views

Connectedness implies the equinumerosity of fibers

I need to show that if $X$ is a covering space of $Y$ with the covering map $p$ and $Y$ is connected, then $p^{-1}(y)$ have the same cardinality for every $y\in Y$. I have this hint: A function ...
2
votes
1answer
58 views

fundamental group of a graph is free

Let $X$ be a connected graph, and $T$ its maximal tree. Via covering spaces and deck-transformations, how one can prove that $\pi_1(X)= \pi_1(X/T)$?
1
vote
1answer
132 views

helix and covering space of the unit circle

Does a bounded helix; for instance $\{(\cos 2\pi t, \sin 2\pi t, t); -5\leq t\leq5\}$ in $\mathbb R^3$ with the projection map $(x,y,z)\mapsto (x,y)$ form a covering space for the unit circle ...
5
votes
2answers
459 views

Local homeomorphisms which are not covering map?

I am trying to find examples of maps between topological space which are local homeomorphism but not covering maps. Especially, how twisted has to be such a counterexample : can it be a local ...
8
votes
1answer
213 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 ...
-3
votes
1answer
111 views

Unit Interval is Simply Connected

Given the definition of simply connected space to be a topological space $X$ whose every connected covering is homeomorphic to $X$, i want to show that $[0,1]$ is simply connected.
1
vote
1answer
116 views

Universal covering space via fiber product

Given 3 topological spaces $X,Y,Z $ and 2 functions $ f:X \rightarrow Z $, $ g:Y \rightarrow Z$, I define the fiber product between $ X $ and $ Y $ over $ Z $ by: $$ X\times_Z Y := \{(x,y) \in X ...
2
votes
0answers
54 views

Are there Galois covers of curves branched at 1 point?

Let $G$ be a finite group, not necessarily abelian. Is there any smooth algebraic curve $C$, with an action of $G$ on $C$, such that the natural quotient map $C \to C/G$ is branched at precisely one ...
1
vote
0answers
71 views

Hatcher Problem 1.3.15 [duplicate]

Would just like a sanity check. I don't see the necessity of the locally path connected condition on $A$. The proof that $\tilde{A}$ is a covering space seems straightforward. We use the ...
1
vote
1answer
78 views

Book introducing covering spaces independent of homotopy

Can anyone please suggest a book on algebraic topology which deals with covering spaces independent of homotopy, fundamental group, etc?
4
votes
2answers
195 views

A Covering Map $\mathbb{R}P^2\longrightarrow X$ is a homeomorphism

I came across the following problem: Any covering map $\mathbb{R}P^2\longrightarrow X$ is a homeomorphism. To solve the problem you can look at the composition of covering maps $$ ...
0
votes
0answers
49 views

What is a “mere cover”?

Sorry to ask such a basic question, but I'm having a lot of trouble finding a definition of this. I saw this term in Stefan Wewers' thesis and it seemed familiar, but googling "mere cover" doesn't ...
4
votes
2answers
274 views

Induced map between fundamental groups from covering map is injective

Question: Let $f : X \to Y$ be a continuous map and let $x \in X$, $y \in Y$ be such that $f(x) = y$. Then there is an induced map $f_* : \pi_1(X, x) \to \pi_1(Y, y)$ such that $f_*([\gamma]) = [f ...
0
votes
0answers
129 views

Covering space of a graph is again a graph - why??

i want to prove the statement in the heading. Thus given graph $G$ and a covering space $p:\tilde{X}\rightarrow G$ to prove that $\tilde{X}$ is also a graph. My idea was to take $\tilde{E}=p^{-1}(E)$ ...
2
votes
1answer
148 views

Is the product of covering maps a covering map?

I have a question about covering maps. If $\phi_1: X_1 \rightarrow Y_1$ is a covering map, and $\phi_2: X_2 \rightarrow Y_2$ is a covering map, then is it true that $\phi_1 \times \phi_2: X_1 \times ...
3
votes
1answer
52 views

Universal covering space of connected open subset of $\mathbb R^n$

Is the universal covering of an open connected subset $U$ of $\mathbb{R}^n$ homeomorphic to $\mathbb{R}^n$?
3
votes
2answers
260 views

covering space of a particular CW complex

I am trying to find all connected covers of the following space $X$ (up to isomorphisms) $X$ has one $0$-cell, two $1$-cells labeled $a$ and $b$, and three $2$-cells attached via $a^2$, $b^2$ and ...
1
vote
2answers
57 views

Show that f is covering map and find covering tranformation group

Prove that $f:\mathbb{R}^2\to T^2$ defined by $f(x,y)=(e^{2\pi i x},e^{2\pi iy})$ is covering map and also find covering tranformation group$=\{g:\mathbb{R}^2\to\mathbb{R}^2\mid g$ is diffeomorphism ...
0
votes
1answer
53 views

Isomorphism of Covers

On page 26 of Peter May's A Concise Course on Algebraic Topology, it is claimed that given any two covers of a space $X$, $(E, p)$ and $(E', p')$ are isomorphic iff for any points $e \in E, e' \in E'$ ...
1
vote
0answers
70 views

Why is the pullback of a connected cover not necessarily connected?

In particular, I read somewhere that the fiber product of the maps $S^1\rightarrow S^1$ sending $z\mapsto z^m$ and $S^1\rightarrow S^1$ sending $z\mapsto z^n$ is disconnected with $\gcd(n,m)$ ...
1
vote
1answer
41 views

What subsets of a covering space cover their image?

Say I have a covering map $p \colon E \to B$. Then for which subsets $F$ of $E$, is $p|_F \colon F \to p(F)$ a covering map? If it makes things easier, assume $E$ is simply connected, that is, the ...
1
vote
1answer
57 views

Finite group acting freely on Haussdorf space- Topology problem

How to prove the following problem: It is given Hausdorff space $X$ and finite group $G$ (with neutral $e$) that is acting freely on $X$. For $g\in G$, $\overline{g}:X\rightarrow X$ is ...
0
votes
2answers
118 views

How to find the induced map $f_{*} : \pi_1 (S^1 , (1,0)) \to \pi_1 (S^1 , (1,0) ) \ \ ? $

I came across this old exam question while studying for my own exam for our topology course. Let $f : S^1 \to S^1 $ be the map $z \mapsto z^n$. What is the induced map $$f_{*} : \pi_1 (S^1 , (1,0)) ...
3
votes
0answers
401 views

Algorithms for covering a rectilinear polygon using rectangles of the same size

The following is the problem description: All angles of the polygon are right. It may be convex or concave. Use rectangles of the same size to cover the polygon. The edge of the polygon and ...
0
votes
1answer
69 views

function lifting on $S^1 \times S^1$

Let $f:S^1 \times S^1 \to S^1 \times S^1$ a continuous function and $p:\mathbb{R}^2 \to S^1 \times S^1: (t,s) \mapsto (e^{2\pi i t},e^{2\pi i s})$ a covering map. if $F: \mathbb R ^2 \to \mathbb R ^2 ...
2
votes
1answer
68 views

Spin group without Clifford algebras

I have to build the spin group $Spin(n)$ without use Clifford algebras. Can I find a complete description of spin group with a topological method? How can I build $Spin(n)$ as the double covering of ...
1
vote
1answer
66 views

Finding sheet number of torus using universal cover

I have a question from my lecture notes that I need clearing up: Given a covering $p: S^1\times S^1 \rightarrow S^1\times S^1$ by $p(z,w)=(z^a w^b,z^c w^d), a,b,c,d\in\mathbb{Z}$, we want to find the ...
6
votes
2answers
593 views

Covering space Hausdorff implies base space Hausdorff

There is an exercise problem in Hatcher's Algebraic Topology book asking to show that if $p:\tilde{X}\rightarrow X$ is a covering space with $p^{-1}(x)$ finite and nonempty for all $x\in X$, then ...
1
vote
0answers
40 views

The covering space of a region contained in complex plane delete two points.

We all know that C \ {0,1} can be given the Poincare hyperbolic metric, so that a region W in it is an embedded manifold of negative constant curvature. Hence the covering space of W is a hyperbolic ...
3
votes
1answer
275 views

The restriction of a covering map on the connected component of its definition domain

Suppose $p:Y\to X$ is a covering map, $X,Y$ are manifolds and $X$ is connected. If $Z$ is a connected component of $Y$, I wonder if the restriction of $p$ on $Z$ is also a covering map? If not, what ...
2
votes
2answers
176 views

Riemann surface arising as a quotient of the upper half-plane.

Let $H$ be the upper half-plane $\{z \in \mathbb C \mid \Im(z) > 0\}$. For a fixed real $\lambda > 0$, let be the automorphism $$d_\lambda : H \to H, z \mapsto \lambda z .$$ Denote $\Gamma$ the ...
5
votes
1answer
270 views

Induced map on homology from a covering space isomorphism

Suppose $S^1 \times \mathbb{R}P^2$ covers some space. Why is it that any covering space isomorphism $h$ induces the identity map on $H_1$? I don't see how to prove this except maybe from looking at ...
3
votes
1answer
77 views

Is $f$ necessarily a covering?

Let $f : X \rightarrow Y$ be a continuous map of spaces where $X$ is compact Hausdorff , $Y$ is Hausdorff and both spaces are path-connected and locally path-connected. Suppose that for every $x \in ...
4
votes
1answer
99 views

Restriction of Covering Space

I'm studying for an exam, and got stuck on the following exercise: Find all two-sheeted covering spaces for $X =\mathbb{S}^1 \vee \mathbb{S}^1$. Label the two circles of $X$ by $a$ and $b$. Attach ...
5
votes
1answer
287 views

The action of the group of deck transformation on the higher homotopy groups

This is for homework. I'm supposed to do exercise 4.1.4 in Hatchers "Algebraic Topology", which is to show that given a universal covering $p: \tilde{X} \to X$ of a path-connected space $X$, the ...
0
votes
0answers
59 views

Compactness of covering space

If we have space $X$ with and $n$ sheeted covering space $Y$ is $Y$ compact iff $X$ is? Torus or sphere, make me believe the answer is yes.
2
votes
1answer
101 views

All the compact covering spaces of torus.

I know the covering spaces of the of a torus $T^2$ are homeomorphic to $T^2,S^1\times\mathbb{R},\mathbb{R}^2$. I am interested in finding all of the covers with covering space $T^2$. The subgroups of ...
7
votes
2answers
433 views

A locally constant sheaf on a locally connected space is a covering space; Proof?

As part of my hobby i'm learning about sheaves from Mac Lane and Moerdijk. I have a problem with Ch 2 Q 5, to the extent that i don't believe the claim to be proven is actually true, currently. Here ...
1
vote
1answer
61 views

Degree of morphism of quotient of upper half-plane

Recall that SL$_2(\mathbf R)$ acts on the complex upper half-plane $\mathbf H$. Let $\Gamma$ be a finite index subgroup of SL$_2(\mathbf Z)$. Then there is the quotient $Y_\Gamma = \Gamma \backslash ...