For questions about or involving covering spaces in algebraic topology.

learn more… | top users | synonyms (1)

0
votes
3answers
91 views

Definition of compactness unnecessarily verbose?

The definition of a compact set is given as a set, $X$, for which all open covers have a finite subcover. This seems unnecessarily verbose to me. Wouldn't it be sufficient to simply say that $X$ has ...
1
vote
1answer
23 views

Make a complex polynomial a covering map

Let $p:\mathbb{C}\to \mathbb{C}$ be a complex polynomial. Let $C:=\{p(z):p'(z)=0\}$ and $V:=\mathbb{C}\setminus C$. I want to show that $p:p^{-1}(V)\to V$ is a covering map. By inverse function ...
5
votes
1answer
70 views

Proving that the tangent vector of a simple closed curve rotates by $ 2 \pi$

I am trying to prove that if $\gamma(t)=(x(t),y(t))$ ,a function from the closed interval $[0,1]$ to $\mathbb{R^2}$ is a simple closed unit speed curve such that $\gamma '(0)=\gamma '(1)$. Then the ...
2
votes
1answer
36 views

A covering space of CW complex has an induced CW complex structure.

Let $X$ be a $CW$ complex, and let $q : E \rightarrow X$ be a covering map. Prove that $E$ has a $CW$ decomposition for which each cell is mapped homeomorphically by $q$ onto a cell of $X$. Hint: ...
1
vote
1answer
18 views

Lifting a principal G-bundle to a principal bundle with structure group a covering of G

Let $P\to $ be a principal $G$-bundle. Suppose $U$ covers $G$. What do we mean by a lift of $P$ with respect to $U$? Can we take $P,M,G,U$ such that no lift exists?
0
votes
1answer
82 views

What is a counterexample that a composition of covering maps not a covering map?

Let $p:X\rightarrow Y$ and $q:Y\rightarrow Z$ be covering maps. What would be an example that $q\circ p:X\rightarrow Z$ is not a covering map? I saw a counterexample here, but it was too complex. Is ...
2
votes
1answer
30 views

The restriction fo covering to a component is a covering map onto its image.

I am reading Lee's Introduction to Topological Manifolds. I got stuck on the problem 11-7 on pages 303. The below is the problem. Prove : If $q: E \rightarrow X$ is a covering map and $A \subseteq ...
3
votes
1answer
23 views

Covering polygons with circles of minimal radius

I have a closed polygon and I would like to fully cover it with a set of K circles of different radius such that the area covered by the circles but outside the polygon is minimal. This seems the ...
4
votes
0answers
58 views

Analogy between Galois groups and fundamental groups

I've heard that there is an analogy between algebraic field extensions and covers (in topology). In this analogy Galois extensions correspond to Galois covers and Galois groups correspond to ...
5
votes
1answer
60 views

Example of a surjective local homeomorphism that is not a covering? [duplicate]

Let $X$ and $Y$ be connected, locally path connected, and Hausdorff topological spaces. Can someone give me an example of a surjective local homeomorphism that is not a covering? I don't think this ...
1
vote
1answer
40 views

The covering map lifting property for simply connected, locally connected spaces

I wish to prove the following statement: Let $X$ be a simply connected and locally connected space, and let $p:Y\to Z$ be a covering map. Then given $f:X\to Z$ continuous, $x_0\in X$, $y_0\in Y$ ...
9
votes
0answers
105 views

Is a pathwise-continuous function continuous?

Suppose that $X$ is a locally connected and simply connected space and $f:X\to Y$ is a function such that for every path $\phi:[a,b]\to X$ the composition $f\circ\phi$ is continuous. Does it follow ...
1
vote
1answer
93 views

Calculate the homology group of $S^3/G$, an Harvard qualifying exam problem with “unclear” solution

Problem Suppose that $G$ is a finite group whose abelianization is trivial. Suppose also that $G$ acts freely on $S^3$. Compute the homology groups (with integer coeffcients) of the orbit space ...
6
votes
2answers
101 views

Definition of covering (deck) transformation for smooth manifolds: Are they diffeomorphisms?

In John Lee's book Riemannian Manifolds, a covering transformation (or deck transformation) of a smooth covering map $\pi:\tilde{M}\to M$ (of connected smooth manifolds) is defined to be a smooth map ...
0
votes
0answers
19 views

Vitali covering over integers

Let $B(n,r)$ be a ball in $\mathbb{Z}^k$, that is, $B(n,r) = B'(n,r) \cap \mathbb{Z}^k$, where $B'(n,r)$ is a ball in Euclidean $k$-space. Suppose we have a set $W \subset \bigcup_{j=1}^N B(n_j,r_j)$. ...
4
votes
1answer
43 views

Whether the fiber of a holomorphic covering of the unit disk over a non-simply-connected domain is infinite or not

Consider a holomorphic covering $f:\mathbb{D}\rightarrow \Omega$. Then for any point $a$ in the domain $\Omega$, consider the fiber $f^{-1}(a)$. If $f$ is non-constant, I know that when $\Omega$ is a ...
1
vote
0answers
19 views

How to show explicitely that 2-sheeted covers are Galois?

Let $X,Y$ be connected Hausdorff topological spaces. It is well-known that every 2-sheeted covering $p:Y\to X$ is Galois which means that $Aut(Y/X)$ acts transitively on fibers. It is easy to come up ...
4
votes
1answer
25 views

A lift of isometry to universal covering

Let $M$ be a compact Riemannian manifold, $\bar M \to M$ be its universal covering and $\phi \in Isom(M)$ be an isometry of $M$. Is it true that, if $\phi$ is isotopic to the identity map of $M$, than ...
4
votes
1answer
51 views

Does there exist a double cover with trivial deck transformation group?

Sorry for the naive question. The following statement at the beginning of Bredon, chapter 4, §20, got me confused: Let $\pi:X \to Y$ be a two-sheeted covering map. Let $g:X \to X$ be the unique ...
0
votes
0answers
24 views

Name for measure of non-injectivity of a covering map

Suppose that $p:C\to X$ is a covering map. For $x\in X$, is there a name for the number $Card(p^{-1}(x))$? So that for $p(z)=z^5:\mathbb{C}\setminus\{0\}\to\mathbb{C}\setminus\{0\}$, one might say ...
0
votes
1answer
30 views

Restriction of complex polynomial that is a covering map

In my book the following exercise is given: let $p(z)\in \mathbb{C}[z]$ be a complex polynomial with distinct roots and degree $n>1$. Determine the greatest neighborhood $V$ of 0 such that ...
0
votes
1answer
41 views

Branched coverings of the Riemann sphere

Can someone give me an example of a non-trivial branched covering of the Riemann sphere? Is there some way to enumerate all such coverings? Is there any easy answer to the same questions about the ...
1
vote
0answers
37 views

Classification of Galois covering maps over a bouquet of 2 circles

The b-sheeted Galois covering maps over $C^*$ are equivalent to $z\mapsto z^b$. I wonder if there is an analogous statement for such Galois covers over C except two points $0,1$. Is that true that ...
8
votes
1answer
40 views

Embedding covers of manifolds

I am considering $k$-fold covers of smooth manifolds (with smooth covering maps). Let $f:M^m\to N^m$ be a smooth finite covering map. -- The following implication is not true: $M$ can be embedded ...
3
votes
2answers
71 views

If $G$ is a finite nontrivial group, then $K(G, 1)$ cannot be a finite CW-complex?

I am currently working on this algebraic topology problem and got stuck: Suppose $X$ is a finite CW complex with $\pi_1(X)$ a nontrivial finite group. Show that its universal cover $\widetilde{X}$ ...
2
votes
2answers
71 views

A space $X$ with $S^{2n+1}$ as universal covering space must be orientable.

Problem If $X$ has $S^{2n+1}$ as universal covering space, then show that $X$ must be orientable. My idea: By contradiction, suppose $X$ is non-oreintable. Then we consider the orientation covering ...
1
vote
1answer
25 views

Existence of the universal covering space of a connected Lie group

I am working on a project about how the universal cover of a connected Lie group is a Lie group, but I cannot find a theorem that assures that this universal cover actually exists. I've found ...
2
votes
2answers
30 views

A space homeomorphic to the connected sum $\mathbb{RP}^3$ # $\mathbb{RP}^3$

Problem (1) Consider the space $Y$ obtained from $S^2 \times [0,1]$ by identifying $(x,0)$ with $(-x,0)$ and also identifying $(x,1)$ with $(-x,1)$, for all $x\in S^2$.Show that $Y$ is ...
2
votes
3answers
129 views

Why spherical coordinates is not a covering?

Maybe this is an idiot question and I'm committing a trivial mistake. Let $\phi (\theta, \varphi) = (\cos \theta \sin \varphi, \sin \theta\sin \varphi, \cos \varphi)$ be the usual covering of the ...
1
vote
1answer
77 views

Covering spaces of $S^1$

Put $\tilde X=\lbrace (exp(2\pi if(t)),t)| t\in \mathbb{R} \rbrace$ where $f:\mathbb{R}\rightarrow \mathbb{R}$ is any continuous function and let $\pi_1$ be the projecction on the first coordinate. ...
1
vote
0answers
33 views

Isometry algebra implication from Riemannian covering

I really wish that, if $\pi:(M,\mathrm{g})\twoheadrightarrow(N,\mathrm{h})$ is a Riemannian covering, then $\mathfrak{i}(N,\mathrm{h})\leq\mathfrak{i}(M,\mathrm{g})$, where ...
2
votes
0answers
73 views

Show that if $f$ is a proper surjective map which is locally injective then $f$ must be a covering map

Suppose $f :X \to Y$ is a continuous proper map between locally compact Hausdorff spaces. Show that if $f$ is a surjective map which is locally injective then $f$ must be a covering map. It is ...
1
vote
1answer
53 views

An exhaustive continuous map is a covering map.

$p_1:\tilde X_1 \rightarrow X \, ; \, p_2:\tilde X_2 \rightarrow X$ two coverings maps, where $X$ connected and locally path-connected, and suppose that $f:\tilde X_1 \rightarrow \tilde X_2$ is an ...
1
vote
0answers
22 views

Disjoint Union of Completely Regular Spaces

I am trying a new approach to an already-solved problem, but I need help to see if I'm on point. Munkres Chapter 53, question 6 [abridged] asks, given a covering map $p: E \to B$: Show that "if $B$ ...
0
votes
0answers
42 views

An introduction to monodromy in topology and algebra

I'm looking for some basic references on monodromy and monodromy groups, in particular I'd like something which describes the interplay between the topological definition (in the theory of covering ...
1
vote
1answer
37 views

Need to check if $H\triangleleft G$ in a covering of the klein bottle

Let $G=Z\times Z$ and $H=Z\times7Z$. I want to check if H◁G. I know I need to calculate N_G(H), and I think this is $$N_G(H)={(m,n) ∈ G | (m,n)(l,7k)(m,n)^{-1} ∈ H \forall l,k}$$ but I'm not sure ...
8
votes
2answers
99 views

$\operatorname{Gal}(\overline{K}/K)=\mathbb{Z}$ possible?

Is it possible to have $\operatorname{Gal}(\overline{K}/K)=\mathbb{Z}$? My question comes from the link beetween covering and field extensions. For covering the simplest example is ...
3
votes
1answer
47 views

For a covering map, if the target space is Hausdorff, so is the source

I am working on proving that if $q:E\rightarrow X$ is a covering map, and $X$ is Hausdorff, then so is $E$. The answer to this question: Domain is Hausdorff if image of covering map is Hausdorff ...
2
votes
2answers
64 views

Find all covering spaces of $\mathbb{RP}^n \times \mathbb{RP}^n$, $n>1$

Let $X = \mathbb{RP}^n \times \mathbb{RP}^n$. I know the following: the universal cover of $X$ is $Y = \Bbb S^n \times \Bbb S^n$ the fundamental group of $X$ is $G = \Bbb Z/2 \Bbb Z \times \Bbb Z/2 ...
2
votes
1answer
56 views

If $f\circ g$ is continuous and $f$ is a local homeomorphism, then $g$ is continuous

Suppose $g:X\to Y$ and $f:Y\to Z$, and $f$ is a local homeomorphism, which is to say that for any $y\in Y$ there is a neighborhood $U$ of $y$ such that $f\restriction U$ is a homeomorphism from $U$ to ...
0
votes
0answers
26 views

Automorphisms of simple covers of Riemann surfaces

Can anybody give me a simple proof that simple covers of a Riemann surface have no covering automorphisms?
0
votes
2answers
63 views

Regular and non-regular covering spaces of $ \Bbb{S}^{1} \vee \Bbb{S}^{1} \vee \Bbb{S}^{1} $.

I tried to draw the regular and non-regular covering spaces of $ \Bbb{S}^{1} \vee \Bbb{S}^{1} \vee \Bbb{S}^{1} $. I think the regular covering space is: Is it true? How do you draw the non-regular ...
1
vote
1answer
71 views

Covering $S_2$ with $S_3$(or $S_n$)

How can I construct a covering map $p : S_3 \to S_2$? I can construct coverings for $S^1\vee S^1$, but same ideas don't work for $S_2$ ($S_g$ is sphere with $g$ handles).
2
votes
2answers
50 views

Prove that exist bijection between inverse image of covering space

Let $B$ be path-connected and $p:E\to B$ covering map (with $E$ as covering space). Prove that $\forall a,b\in B$ exist 1-1 injection correspondence between $p^{-1}(a)$ and $p^{-1}(b)$ I thought ...
2
votes
3answers
53 views

simply connected covering of a path connected space (II)

Let $p:\overline{X}\rightarrow X$ be a simply connected covering of a path connected space $X$ and $A\subset X$ be a path connected set. Show that the inclusion induced homomorphism $i_{\sharp} : ...
4
votes
2answers
113 views

Finding the Fundamental Groups of Some Modular Spaces

I'm looking to compute the fundamental group of a couple of different quotients of the $n$-torus. The first of these I'm interested is the space $\mathbb{T}^n/S_n$ where the symmetric group $S_n$ ...
2
votes
0answers
28 views

Section of a covering projection from a connected space [duplicate]

Let $p:\overline{X}\rightarrow X$ is a continuous mapping. A continuous map $s:X\rightarrow \overline{X}$ such that $p\circ s =Id_X$ is called a section of $p$. Suppose $\overline{X}$ is connected ...
1
vote
1answer
31 views

if $V_1\cong U_1, V_2\cong U_2$, is $(V_1\cup V_2 \cong U_1\cup U_2)$? Pasting homeomorphisms

My question arises from the theory of covering spaces. assume $f:Y\to X$ is a covering map, or more generally a local homeomorphism. Assum $U_1,U_2\subset X$ are open sets such that $f|_{V_1}, ...
3
votes
2answers
132 views

A problem on covering space from Hatcher book…

I was trying a problem from Hatcher's book Algebraic Topology, in section 1.3 problem number 12. Let $a$ and $b$ be the generators of $\pi_1(S^1 \vee S^1)$ corresponding to the two $S^1$ summands. ...
2
votes
1answer
79 views

simply connected covering of a path connected space

Let $p:\overline{X}\rightarrow X$ be a simply connected covering of a path connected space $X$ and $A\subset X$ be a path connected set. Show that the inclusion induced homomorphism $i_{\sharp} : ...