For questions about or involving covering spaces.

learn more… | top users | synonyms (1)

21
votes
3answers
2k 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 ...
20
votes
5answers
1k 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 ...
14
votes
2answers
424 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 ...
14
votes
1answer
480 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 ...
12
votes
4answers
496 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 ...
10
votes
1answer
480 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 ...
9
votes
3answers
288 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 ...
8
votes
2answers
765 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 ...
8
votes
2answers
248 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
2answers
280 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
0answers
137 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
1answer
261 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 ...
7
votes
2answers
744 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 ...
7
votes
2answers
490 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 ...
7
votes
1answer
153 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 ...
7
votes
1answer
515 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 ...
7
votes
1answer
379 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 ...
7
votes
2answers
477 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 ...
7
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 ...
6
votes
2answers
295 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?
6
votes
2answers
589 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 ...
6
votes
1answer
128 views

Deck transformations on $S^1\times \mathbb{R}P^2$

I'm studying for qualifying exams and stuck on the following problem: Suppose that $S^1\times \mathbb{R}P^2$ covers a space, and let $h$ be a deck transformation of the covering. Show that the ...
6
votes
1answer
355 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 ...
6
votes
1answer
353 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 ...
6
votes
0answers
134 views

Are there infinitely many non-negative integers not covered by one of these 7 polynomials?

Consider the following polynomials: $$ \begin{align} f_1(n, m) &= 30nm + 23n + 7m + 5 \\ f_2(n, m) &= 30nm + 17n + 13m + 7 \\ f_3(n, m) &= 30nm + 23n + 11m + 8 \\ f_4(n, m) &= ...
6
votes
1answer
628 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, ...
5
votes
2answers
105 views

Group of automorphisms of a compact hyperbolic Riemann surface is finite

Let $M$ be a compact hyperbolic Riemann surface. Is there a simple way to show that the automorphism group $Aut(M)$ of conformal self-mappings of $M$ is a finite group? Recall that a hyperbolic ...
5
votes
2answers
603 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 ...
5
votes
1answer
236 views

Pullback of differential form on the double covering

On a double covering there is a differential form $\omega$ arises by the pullback of a differential form under the projection iff it is the pullback of $\omega$ under the map $i$, where $i$ is the map ...
5
votes
1answer
58 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 ...
5
votes
2answers
260 views

Universal covering of $SO(3,\mathbb{R})$

How do you prove that the universal covering of $SO(3, \mathbb{R})$ is $S^3$ ? Or equivalently, that it is diffeomorphic to $P_3\mathbb{R}$ ? Thank you for your answers.
5
votes
1answer
504 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: ...
5
votes
1answer
110 views

Classifying a Branched Covering Space

This question comes from the proof of proposition 2.2 in Henry Laufer's 'Normal Two-Dimensional Singularities" text. I am excerpting the part I don't understand, and I think it's a self-contained ...
5
votes
0answers
47 views

Covering spaces of Lie groups

In a paper of Tom Bridgeland's, he describes an action by the universal over $G:=\tilde{GL^+}(2,\mathbb{R})$ using a description of $G$ I find unintuitive. Namely, he indexes write the fiber over ...
5
votes
0answers
160 views

Fundamental solution to Laplace equation on arbitrary Riemann surfaces

So, I've seen in a few places this method of calculating the heat kernel on a manifold given the kernel of its universal cover, through a so-called 'tiling method' as in section five of this paper ...
5
votes
0answers
79 views

Can we make topological covers of $\mathbf{P}^1$ minus three points into schemes

Let $k=\overline{\mathbf{Q}}$. Fix a finite closed subset $B\subset \mathbf{P}^1_k$. Let $X$ be a "nice" topological space and suppose that there is a continuous morphism $f:X\to \mathbf{P}^1_k-B$. ...
5
votes
0answers
46 views

How to construct certain cover given in Mumford's Abelian Varities book

In chapter I, appendix to section 2 of the book "abelian varieties" by Mumford, we consider a discrete group $G$ acting freely and discontinuously on a good topological space $X$ (i.e., $\forall x \in ...
4
votes
2answers
719 views

Covering space of a non-orientable surface

I have the following problem: Find the 2-sheeted (orientable) cover of the non-orientable surface of genus g. The cases $g=1,2$ are well-known, we have that the cover of $\mathbb{R}P^2$ is ...
4
votes
3answers
1k views

Another Question in Hatcher

First of all, I apologize for asking yet another question about the hypotheses of a problem in Hatcher, but the statement of one of his problems has stumped me again. The problem is 1.3.15. It reads ...
4
votes
2answers
199 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 $$ ...
4
votes
4answers
1k 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 ...
4
votes
1answer
67 views

True or False: Topological Group and $S^1 \vee S^1$

$i.$ $S^1 \vee S^1$ can be embedded in a topological group $ii.$ $S^1 \vee S^1$ can be covered by a topological group I think $i.$ is true since we can embed the wedge sum into $\mathbb{R}^2$, which ...
4
votes
2answers
127 views

Extending a quotient map to a covering map on $\mathbb{RP}^2$

Why can we not extend the quotient map $q:[0,1]\times[0,1] \to \mathbb{RP}^2$ to a covering map, $\mathbb{R}^2 \to \mathbb{RP}^2$?
4
votes
3answers
446 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 ...
4
votes
1answer
83 views

Why is the rank of $f_\ast L$ the degree of $f$

Let $f:X\to Y$ be a finite morphism of curves. Let $L$ be a line bundle on $X$. Why is $f_\ast L$ a line bundle and is the degree of $f_\ast L$ equal to $\deg f$ or $\deg f+ \deg L$? Here is my ...
4
votes
1answer
86 views

The universal cover of the multiplicative group over the field of algebraic numbers

Let $X=\mathbf{A}^1_{\overline{\mathbf{Q}}}-\{0\} = \mathbf{G}_{m,\overline{\mathbf{Q}}}$ be the multiplicative over the field of algebraic numbers. Each finite etale cover $Y\to X$ (with $Y$ ...
4
votes
1answer
449 views

Covering space homeomorphism

In the course of an exercise from Hatcher's topology text, I came to the following point. Given $p: \tilde{X} \to X$ the universal cover for $X$, and a continuous map $h: \tilde{X} \to \tilde{X}$ ...
4
votes
1answer
89 views

Construction of the simply connected Lie group of a given Lie algebra

Given a finite dimensional real Lie algebra $\mathfrak{g}$, I am trying to obtain a concrete realization of its simply connected Lie group $G$, with $\mathrm{Lie}(G) \cong \mathfrak{g}$. Let us ...
4
votes
1answer
140 views

What's the automorphism group of this covering?

What's the automorphism group of this covering? I know why this is a covering, but I don't know how to find the automorphism group of this covering. I need help, thanks
4
votes
2answers
375 views

If a covering map has a section, is it a $1$-fold cover?

If $q: E\rightarrow X$ is a covering map that has a section $(i.e. f: X\rightarrow E, q\circ f=Id_X)$ does that imply that $E$ is a 1-fold cover?