For questions about or involving covering spaces.

learn more… | top users | synonyms

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 ...
19
votes
5answers
937 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
402 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
450 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
403 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
449 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
282 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
719 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
234 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
278 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
222 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
630 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
443 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
146 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
479 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
368 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
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
274 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
528 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
117 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
293 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
299 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
131 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) &= ...
5
votes
1answer
228 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
2answers
254 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
397 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
107 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
41 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
150 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
1answer
527 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
0answers
78 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
3answers
938 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
198 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
2answers
604 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
1answer
61 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
125 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
392 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
2answers
484 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 ...
4
votes
1answer
82 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
83 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
2answers
89 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 ...
4
votes
1answer
409 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
2answers
322 views

About covering maps and sections!

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?
4
votes
1answer
69 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
129 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
258 views

Is a polynomial also a covering map?

Question: Let $p(z)$ be a polynomial over $\mathbb{C}$. Is it true that $p:\mathbb{C} \to \mathbb{C}$ is a covering map ? Partial answer: Let us look first at the points where $p'(z)\ne 0$. There the ...
4
votes
1answer
70 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 ...
4
votes
2answers
287 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 ...