Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [covering-spaces]

For questions about or involving covering spaces in algebraic topology.

39
votes
3answers
6k views

When is a local homeomorphism a covering map?

if $X$ and $Y$ are Hausdorff spaces, $f:X \to Y$ is a local homeomorphism, $X$ is compact, and $Y$ is connected, is $f$ a covering map? It seems to be, and I almost have a proof, but I'm stuck at the ...
39
votes
0answers
758 views

Why do all the Platonic Solids exist?

In three dimensions it is quite easy to prove that there exist at most five Platonic Solids. Each has to have at least three polygons meeting at each vertex, and the angles of these polygons have to ...
27
votes
5answers
2k views

Covering spaces - why are they useful?

As someone who trained as a physicist, I have known for ages that $\operatorname{SU}(2)$ is a double cover of $\operatorname{SO}(3)$, so, during an idle day at the office I decided to look up what ...
19
votes
5answers
2k views

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 $X,Y$ ...
16
votes
2answers
720 views

Why is the Long Line not a covering space for the Circle

I know of several reasons why the long line can't be a covering space for the circle, but I'm more curious in what exactly goes wrong with the following covering map. Let $L$ be the long line and ...
15
votes
2answers
2k views

Universal cover via paths vs. ad hoc constructions

I'm looking for some intuition regarding universal covers of topological spaces. $\textbf{Setup:}$ For a topological space $X$ with sufficient adjectives we can construct a/the simply connected ...
15
votes
1answer
950 views

Does $gHg^{-1}\subseteq H$ imply $gHg^{-1}= H$? [duplicate]

Let $G$ be a group, $H<G$ a subgroup and $g$ an element of $G$. Let $\lambda_g$ denote the inner automorphism which maps $x$ to $gxg^{-1}$. I wonder if $H$ can be mapped to a proper subgroup of ...
13
votes
2answers
2k views

Calculating monodromy

I'm right now learning about Monodromy from self-studying Rick Miranda's fantastic book "Algebraic Curves and Riemann surfaces". Today, I read about monodromy, and the monodromy representation of a ...
13
votes
3answers
2k views

Homotopy equivalent spaces have homotopy equivalent universal covers

A problem in section 1.3 of Hatcher's Algebraic Topology is Let $\tilde{X}$ and $\tilde{Y}$ be simply-connected covering spaces of the path-connected, locally path-connected spaces $X$ and $Y$. ...
12
votes
3answers
3k 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 ...
12
votes
1answer
389 views

Can two different topological spaces cover each other?

I.e. do there exist non-homeomorphic $X$, $Y$ and covering maps $f:X\rightarrow Y$, $g: Y\rightarrow X$? I have a basic understanding of covering space theory as its taught in school. I was inspired ...
12
votes
1answer
3k views

A good way to understand Galois covering?

A covering map $f:X\rightarrow Y$ is called Galois if for each $y\in Y$ and each pair of lifts $x, x^{'}$, there is a covering transformation taking $x$ to $x^{'}$. What is a good way to understand ...
12
votes
1answer
1k views

Prove that a covering map is a homeomorphism

I got stuck in the following exercise: Let $p:\widetilde{X}\rightarrow X$ be a covering map with $\widetilde{X}$ connected and $p^{-1}(x)$ finite, for every $x\in X$. Show that if there exists a ...
12
votes
1answer
1k 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 ...
11
votes
4answers
2k 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 $\...
11
votes
2answers
1k 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 ...
11
votes
1answer
2k 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 ...
11
votes
1answer
153 views

Deck transformation group in algebraic geometry

Let $f:X\to Y$ be a finite morphism between (irreducible) varieties. We can define $\operatorname{Aut}(X/Y)$ to be the automorphism of $X$ commutes with $f$. For the case over $\mathbb C$, we can also ...
11
votes
0answers
166 views

How to prove that the center of the fundamental group of $T_g$ is trivial for $g \geq 2$?

Where $T_g$ is a closed orientable surface of genus g. I want a proof using covering space theory. I know a proof that uses the notion of hyperbolic groups and Riemanian geometry using uniformization ...
10
votes
2answers
2k views

Function doesn't have a lift in a space related to Topologist's sine curve

I'm trying to solve exercise 1.3.7 in Hatcher's Algebraic Topology: Let $Y$ be the quasi-circle that is the union of a portion of the graph $y = \sin(1/x)$, the line segment $[-1,1]$ in the $y$-...
10
votes
1answer
1k 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 ...
10
votes
3answers
342 views

Existence of a Minimal Cover

I'm well aware that for the sequence $x_n=\frac{1}{n}$, $\text{inf }x_n=0$ but $0 \notin (x_n)$. This made me think about something similar but when we are no longer thinking about existence of a ...
9
votes
2answers
440 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 $...
9
votes
2answers
1k views

Is a covering space of a manifold always a manifold

Assume $M$ is a manifold and $q : E \to M$ is a covering map. I have been told a few times that a covering space of a manifold is again a manifold. Indeed, it is easy to verify that $E$ is both ...
9
votes
1answer
1k views

Universal Cover of projective plane glued to Möbius strip

Consider the usual cell structure on $\mathbb R P^2$, with one 1-cell and one 2-cell attached via a map of degree 2. Consider the space $X$ obtained by gluing a Möbius band along the 1-cell via a ...
9
votes
1answer
260 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 ...
9
votes
0answers
254 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 ...
8
votes
2answers
3k views

Prove every map from the projective plane to the circle is nullhomotopic

Prove that every continuous map $f:P^2\to S^1$, where $P^2$ is the projective plane, is nullhomotopic. I think I need to use the fact that $\pi_1(P^2) = \mathbb{Z}/2\mathbb{Z}$ and covering space ...
8
votes
2answers
275 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 $\operatorname{...
8
votes
1answer
2k views

composition of certain covering maps

This problem was posted before, but not the proof (because the asker knowed the answer), only a counterexample without the hypothesis of finite fibres. I want to know how to prove this proposition: ...
8
votes
1answer
71 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 ...
8
votes
2answers
535 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 ...
8
votes
1answer
106 views

Field $K$ with $\operatorname{Gal}(\overline{K}/K)\simeq\widehat{F_2}$

Is there a field K such that $\operatorname{Gal}(\overline{K}/K)$ is the profinite free group with two generators? For one generator I know that for all the $\mathbb{F}_p$ we have $\operatorname{Gal}(...
8
votes
2answers
315 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 \...
8
votes
1answer
267 views

Is the universal cover of an integral homology sphere again an integral homology sphere?

Let $\Sigma$ be an integral homology sphere (from now on I will drop the word 'integral'). If $\Sigma$ is simply connected, then it is homotopy equivalent to a sphere by Whitehead's Theorem, and ...
8
votes
1answer
703 views

The covering space of connected space

Let $X$ be a connected topological space, and $\pi : Y \rightarrow X$ a surjective covering space map. Suppose that the group of deck transformations of $\pi$ contains a subgroup $\mathbb Z_p$, where $...
8
votes
2answers
88 views

When a holomorphic function between hyperbolic surfaces is a covering map.

I'm studying Milnor's book "Dynamics in one Complex Variable", and he states this problem to the reader in the middle of the proof of Pick's Theorem: If $S$ and $S'$ are two hyperbolic Riemann ...
8
votes
1answer
2k views

Lifting of maps to a covering space

I am reading Algebraic topology by W. Massey and I have a problem with the proof of property 5.1: Let $(\tilde{X},p)$ be a covering space of $X$, $Y$ a connected and arcwise connected space, $\tilde{...
8
votes
1answer
272 views

How to find fundamental groups and covering spaces of $\mathbb{RP}^2\vee \mathbb{RP}^2$?

The following is an exercise I was assigned in homotopy theory. Defined $X = \mathbb{RP}^2\vee \mathbb{RP}^2$. a) Find $\pi_1(X)$. b) Find the universal cover of $X$. c) Find all of its connected $...
8
votes
0answers
2k views

The simply connected coverings of two homotopy equivalent spaces are homotopy equivalent [duplicate]

This is exercise 1.3.8 in Hatcher: Let $\tilde{X}$ and $\tilde{Y}$ be simply-connected covering spaces of path connected, locally path-connected spaces $X$ and $Y$. Show that if $X\simeq Y$ then $\...
7
votes
3answers
257 views

Why bother showing $S^{1}$ covers itself?

I've just been introduced to covering spaces, and one of the examples I've been shown is that $p: S^{1} \to S^{1}$, $p(z)=z^{n}$ is a covering map for every $n$. My question is: why would you care? ...
7
votes
3answers
786 views

If a connected open set is evenly covered, then its preimage is uniquely partitioned into slices

This is from Topology by Munkres: Let $p:E \to B$ be a covering map. Suppose $U$ is a open set of $B$ that is evenly covered by $p$. Show that if $U$ is connected, then the partition of $p^{-1}(U)$ ...
7
votes
2answers
652 views

Orientable double covers for non-orientable manifolds

If I have two non-orientable connected manifolds such that their orientable double covers are homeomorphic, can anything be said about the manifolds? Are they homeomorphic?
7
votes
4answers
4k views

Why this map is a covering map?

I'm trying to find the universal covering space of the Klein bottle. I know that $\mathbb R^2$ covers the Klein bottle , but I don't know how to prove, I found this proof on internet: Someone knows ...
7
votes
2answers
241 views

The square map on $SO(n)$

Let $P:SO(n) \to SO(n)$ be the square map $P(A)=A^2$. Does $P$ define a covering map structure? If yes, is there an action of a finite group $G$ on $SO(n)$ such that each fiber of ...
7
votes
1answer
480 views

Universal cover of $T^2 \vee \mathbb{R}P^2 $

What is the universal cover of the wedge sum of the torus and the real projective plane? I know from Hatcher's Algebraic Topology that the universal cover of $\mathbb{R}P^2 \vee \mathbb{R}P^2 $ is ...
7
votes
1answer
1k views

covering spaces and the fundamental groupoid

Briefly, my question is whether there is a basepoint-free statement of the basic theorem on covering spaces. For a nice space $X$, I would hope that there is an equivalence of categories between ...
7
votes
3answers
1k views

proving that a covering map with certain domain and range is homeomorphism

Let $p:E\to B$ be a covring map, with $E$ path connected. Show that if B is simply connected, then $p$ is a homeomorphism. Well I don't know exactly what can I do here, maybe I have to start with ...
7
votes
2answers
582 views

Is the Fundamental Group of space with contractible universal cover torsion free?

Some classmates and I were working on the following question - is the fundamental group of the Klein Bottle $K$ torsion free? We have the following presentation: $$\pi_1(K) = \langle a,b: aba = b \...
7
votes
1answer
349 views

Compact subspace of a covering space

I've been working through Massey's A Basic Course in Algebraic Topology and I've gotten stuck on the following exercise (V.8.4): Let $X$ be a regular topological space, and $(\tilde{X}, p)$ a ...