For questions about or involving covering spaces in algebraic topology.

learn more… | top users | synonyms (1)

2
votes
1answer
130 views

4-fold regular coverings of wedge of two circles

Problem 7 (p.80) of Algebraic Topology book by Tammo Tom asks to classify all 4-fold regular coverings of a wedge of two circles. I am aware that the required coverings correspond to normal subgroups ...
6
votes
2answers
164 views

Alternate construction of the universal cover of a space

Suppose you have a connected, locally path connected Hausdorff space $Y$ that admits a universal covering (i.e. is semilocally simply connected). It occured to me that maybe one can describe the ...
3
votes
1answer
54 views

If $p:E\to X$ is a covering map ($X$ connected and locally arcwise connected) then is $E$ locally connected?

I recall my definition of a covering map. A continuous and surjective map $p:E\to X$ between topological space, where $X$ is connected and locally arcwise-connected, is called a covering map if for ...
1
vote
1answer
75 views

Is this plus sign a covering space of $S^1 \vee S^1$?

Consider this space, where open circles denote missing endpoints: Hatcher (p57) says that "every covering space of $S^1\vee S^1$ is a [2-oriented] graph." The above space is not a graph since the ...
1
vote
0answers
27 views

injectivity of the map covering the inclusion $SO(n)\subset GL^+(n)$

Let $n\ge 2$ and $\theta\colon Spin(n)\rightarrow SO(n,\mathbb{R})$ be the two-fold covering of $SO(n,\mathbb{R})$ by the spin group $Spin(n)$, $\tilde{\theta}\colon ...
5
votes
1answer
88 views

Universal covering space of $S_{2}/\sim$, where $\sim$ is certain relation.

Let $p,q$ be different points of $S_{2}=\{(x,y,z)\in\mathbb{R}^{3}:x^{2}+y^{2}+z^{2}=1\}$. We consider the space $X=S_{2}/\sim$ where $\sim$ is the next relation: $x,y\in S_{2}$, $x \sim y$ if and ...
1
vote
0answers
62 views

Surjective map from orientable covering space to orientation cover of base space.

Let $p \colon M \to N$ be a covering space, and let $M,N$ be manifolds. Assume now that $M$ is orientable and $N$ is not orientable. I'm asked to find a covering map $q \colon M \to N$ s.t. $p= \pi ...
0
votes
2answers
108 views

Converse of the path lifting lemma

We know that covering spaces have the path lifting property i.e. if $p:E \rightarrow B$ is a covering map and $u:I \rightarrow B$ is a path wish intial point $a$, then for each $w \in p^{-1}(a)$, ...
5
votes
1answer
80 views

If the fibers of a quotient map are all discrete, is this map a covering map?

If $p:\tilde{X}\rightarrow X$ is a covering projection then I know that for every point $x \in X$ the fibre above $x$, i.e $p^{-1}(x)$, has the discrete topology. Here $p$ being a covering map means ...
0
votes
1answer
46 views

Universal covers of lattice complements.

Background: I would like to construct a continuous map (in particular, a covering map) $$ f ~\colon \mathbb{D} \longrightarrow \mathbb{C} \setminus \left( \mathbb{Z} \oplus \mathbb{Z}[i] \right) $$ ...
10
votes
0answers
180 views

Quotient Groups and Covering Spaces in Painting Hanging

Consider the $1$-out-of-$n$ painting hanging problem: Given $n$ nails in a wall, how can we hang a painting such that upon removal of any nail, it falls. This has a nice interpretation as a problem in ...
1
vote
2answers
55 views

Induced subgroup of $\pi_1(S^1)$ by $p_n$

Consider the following covering map $p_n: S^1 \to S^1, z \mapsto z^n$. Why is the subgroup of $\pi_1(S^1)$ induced by $p_n$ isomorphic to $n\mathbb{Z}$? I know that $\pi_1(S^1) \cong \mathbb{Z}$ but ...
1
vote
1answer
111 views

Covering Number of Lipschitz Function Space

On page 12 of the slide deck here, the author gives an example where a lower bound (and upper bound, but I am particularly interested in the lower bound) on the $\epsilon$-covering number of a ...
0
votes
0answers
47 views

Coverings maps of a simply connected space

Let be $Y$ a simply connected space. Show that $Y$ doesn't admit covering maps that aren't homeomorphisms, ie, every cover space of $Y$ is trivial ($I\times Y$, with $I$ a discrete space). So, I know ...
2
votes
2answers
60 views

Condition that a local homeomorphism be a covering map.

Let be $f:Y\to X$ a local homeomorphism, with $Y$ a compact space and $X$ a Hausdorff connected space. How can I show that, for each $x\in X$, $f^{-1}(x)\subset Y$ is finite? So, is clear that $f$ is ...
0
votes
0answers
116 views

the upper bound of covering $\{46,26,2\}$ or $\{47,26,2\}$

As to $\{v,k,2\}$ covering, can you show the upper bound of $A(46,26,2) = 6$ or the upper bound of $A(47,26,2) = 6$? See also Photo Booth problem
1
vote
0answers
67 views

Correspondence between first homology group and deck transformations.

Let $M$ be a connected topological manifold with universal covering $\pi: \widetilde{M} \rightarrow M$ and let $p \in \widetilde{M}$ be a point. Let $\alpha,\beta : \widetilde{M} \rightarrow ...
3
votes
1answer
107 views

Topological covering + local diffeomorphism gives smooth covering

I got stuck at some point while working on this part of an exercise from Lee's Introduction to Smooth Manifolds, 2nd edition. The part which I am stuck on is to prove (one of the directions of ...
2
votes
1answer
81 views

Is this a covering space of $S^1 \vee S^1$?

Is the following a covering space of $S^1 \vee S^1$ ? It would appear so since there is no point that has more than 2 incoming or outgoing arrows. It seems that the potential covering map $p:Y\to ...
1
vote
2answers
120 views

Covering space of $S^1 \vee S^1$?

Is this a covering space of $S^1 \vee S^1$? I'm not sure what the map from this space onto $S^1 \vee S^1$ does. What is mapped onto which $S^1$?
2
votes
0answers
116 views

Unique Path lifting of covering map

Let $p:E\rightarrow B$ be a covering map (in particular $p$ is a fiber bundle with discrete fiber). We want to prove the following: Given a commuting diagram of the following form: $\{0\}\rightarrow ...
2
votes
2answers
140 views

Universal Cover of a Surface with Boundary. What does Cantor set on Boundary Correspond to?

I am trying to understand in more detail the answer to: Universal Cover of a Surface (with Boundary) It is mentioned that the universal cover of a hyperbolic surface $S$ with geodesic boundary is a ...
5
votes
0answers
68 views

Show that a map of sets is continuous if its composition with other functions is

Problem: Let $Y, E, B$ be topological spaces with $Y$ locally path connected. Suppose $p: E \rightarrow B$ is a covering map, with $g: Y \rightarrow E$ a map of sets. If $p \circ g$ is continuous, ...
2
votes
1answer
63 views

If $X$ is Hausdorff, then so is $E$

Let $q:E \to X$ be a covering map. If $X$ is Hausdorff, then so is $E$. OK, suppose $X$ is Hausdorff and let $x,y \in E$ with $x\neq y$. Let $V$ denote the evenly covered neighbourhood for $q(x)$, ...
3
votes
0answers
102 views

covering spaces

A covering space of a Hausdorff space is also Hausdorff. Conversely, a compact Hausdorff finite covering space has a Hausdorff base space. However, in general, a non Hausdorff space may have a ...
0
votes
1answer
54 views

How can I show $G_0$ and $G_1$ are conjugate subgroups?

Let $E$ be path-connected. Let $p : E → B$ be a covering map and $p_∗$ be the induced homomorphism from the fundamental group of $E$ to the fundamental group of $B$. Let $e_o$ and $e_1$ be points in E ...
2
votes
0answers
46 views

A space having exactly three coverings up to equivalence

Q: Give an example of a topological space having exactly 3 coverings up to equivalence (including a covering by the space itself). Proof: There is a theorem that says that given a topological ...
1
vote
1answer
198 views

Show that the free group on $n$ generators is a finite index subgroup of $F_2$

Using covering spaces, prove that for each integer $n \geq 2$, $F_n$ is a finite index subgroup of $F_2$, where $F_n$ is the free group on $n$ generators. I get how the cayley graph of $F_n$ would be ...
3
votes
1answer
56 views

Based covering maps for a bouquet of two circles

For each of the following subgroups of $$ \left \langle x,y \right \rangle = \pi_{1}(S^{1}\vee S^{1}) $$ construct a based covering map $$ \ p:(\tilde{X},\tilde{b})\rightarrow (S^{1}\vee S^{1},b) ...
0
votes
2answers
50 views

Showing a topological space covered by connected subspaces is connected

'Let $X$ be a topological space and let $(U_i)_{i \in I}$ be a cover of $X$ by connected subspaces $U_i$. Supposed for all $i,j \in I$ there exists some $n \geq 0$ and $k_0,...,k_n \in I$ such that ...
1
vote
0answers
85 views

Uniqueness of the universal covering space (up to an isomorphism)

Let $Y_1$, $Y_2$ be universal covering spaces of some topological space $X$. I want to show that $Y_1$ are $Y_2$ are isomorphic. Denote $p_1 \colon Y_1 \to X$, $p_2 \colon Y_2 \to X$ the projections. ...
0
votes
1answer
124 views

For every connected space X and an open cover U, every two points has a simple chain containing them

I am trying to prove this theorem saying: " A space X is connected, if and only if for an open cover U of X, every two points in X has a chain between them". I cant prove only if part (a connected ...
4
votes
1answer
353 views

Covering of a CW-complex is a CW-complex

Let $X$ be a CW- complex, with filtration $\emptyset \subset X_0 \subset X_1 \subset \cdots \subset X$. Let $p\colon E \to X$ be a covering space. Prove that $E$ is a CW complex with filtration ...
1
vote
1answer
78 views

Use of a Covering theorem

where I cannot see how the highlighted equation has been obtained. I cannot understand how the setminus operation has been justified. The books gives no justification.
0
votes
1answer
35 views

Covering associated to a map

I'm stuck with this exercise. Let $$p : E \to X $$ be a covering map. Y is a connected and locally path-connected topological space, $$f : Y \to X $$ is a continous map. The claim is that $$f^*p ...
1
vote
1answer
154 views

Infinite degree covering space of a bouquet of circles

I am having a hard time showing that every finite group is the automorphism group of some infinite degree covering space of a bouquet of circles (rose). Here's what I have done so far: Let $G = ...
2
votes
1answer
105 views

Any finite morphism to $\mathbb P^2$ is ramified

I want to prove that $\mathbb P_k^2$ is 'etale simply connected or that every finite morphism $X \to \mathbb P_k^2$ is ramified. Firstly I assume $X$ is regular. So if $X \to \mathbb P_k^2$ is ...
0
votes
1answer
32 views

Question about covering spaces extending inverse.

If $p$ is a cover map how would I be able to show that $x\rightarrow p^{-1}(x)$ extends to a functor $p^{-1}$ originating from the Fundamental Group of $X$?
1
vote
1answer
43 views

Correctness of reasoning about finiteness of degree of a covering map

Let $q$ be a covering $ q \colon \mathbb{R} P^{2n} \to X$, where $X$ is path-connected. Call $V_x$ the open nbhd of $x \in X$ given by the definition of covering map. We first note that $X$ must be ...
1
vote
2answers
61 views

Possible degree of a cover $p \colon S^{2n} \to X$

I'm asked to compute all the possible degrees of a covering space $S^{2n} \to X$, where $X$ is a path connected space. My idea is to try to show that these degrees can only be $1$ (take the identity ...
2
votes
2answers
405 views

Why existence of universal covering implies that the base space be locally path connected?

I am reading Chapter 13, the chapter about classification of covering spaces, of J.Munkres' Topology. My confusion raised when I read Corollary 82.2. which says: the space $B$ has a universal ...
3
votes
2answers
344 views

Is composition of covering maps covering map? [duplicate]

In Munkres book, composition of covering maps is covering map when $r^{-1}(z)$ is finite for each $z$ in $Z$ where $q : X\to Y$ , $r:Y\to Z$ are the covering maps. I tried hard to find an example that ...
3
votes
1answer
54 views

What is the $\pi_1$-action on the hom-sheaf between two finite etale covers?

Say you have two finite etale covers $X\rightarrow S$, $Y\rightarrow S$. The hom sheaf $\mathcal{H}om_S(X,Y)$ on the etale site $\text{Sch}/S$ is finite locally constant, hence representable by some ...
1
vote
1answer
72 views

Explicitly building Top. space with trivial homology group and non trivial fundamental group, w/o CW-complexes

I know this is a pretty famous question here, but I was asked to show explicitly such space, during a bachelor lecture, without using any CW-complex result. I started working using some covering ...
2
votes
3answers
380 views

Is a path connected covering space of a path connected space always surjective?

If $X$ is a path connected topological space, a covering space of $X$ is a space $\tilde{X}$ and a map $p:\tilde{X} \to X$ such that there exists an open cover $\left\{ U_\alpha \right\}$ of $X$ where ...
1
vote
0answers
38 views

Covering a finite collection intervals

I was trying to solve one of the problems in stein's real analysis book Suppose $I_1, I_2, . . . , I_N$ is a given finite collection of open intervals in R. Then there are two finite sub-collections ...
2
votes
1answer
146 views

Perfect Coverings

This is a problem from Brualdi and no solution is given for this. The Question goes as .... Let g(n) be the number of different perfect covers of a 3-by-n chessboard by dominoes. Evaluate g(6). I ...
1
vote
2answers
218 views

Cover of a finitely punctured plane

Let $X_n$ be the plane with a finite number $n$ of punctures, and let $p : Y \rightarrow X_n$ be a covering map (it may have infinite degree). Can we say anything about the topology of $Y$? (I know ...
1
vote
1answer
83 views

Question about Lebesgue Covering Dimension

Suppose we have a metric space equipped with two different metrics: $(X,d), (X, d')$. What must be true of the metrics: $d, d'$ in order for $X$ to have the same Lebesgue covering dimension? A ...
2
votes
0answers
99 views

Branched coverings of unit disk

Is there a classification of branched coverings of the closed unit disk $\mathbb{D} =\{z\in \mathbb{C} \ | \ |z| \leq 1 \}$? Here we consider only branched covering projections which restrict to ...