For questions about or involving covering spaces in algebraic topology.

learn more… | top users | synonyms (1)

22
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
438 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
498 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
604 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
551 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
294 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
0answers
106 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 ...
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 ...
8
votes
2answers
841 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
808 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 ...
8
votes
2answers
261 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
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 ...
8
votes
2answers
282 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
152 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
297 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
527 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
2answers
630 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 ...
7
votes
1answer
423 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 ...
7
votes
1answer
161 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
544 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
393 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
307 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
3answers
770 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 ...
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 ...
6
votes
1answer
135 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
2answers
620 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 ...
6
votes
1answer
381 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
136 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
738 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
124 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
1answer
245 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
62 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
270 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
603 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
62 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 ...
5
votes
1answer
71 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 ...
5
votes
1answer
113 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
28 views

Covering space of surface of infinite genus

Let $X$ be a surface of infinite genus that is not compact (with edges extending to infinity). How would I show that this is a covering space of the 2-torus $T^{1}\# T^{1}$ via the action of the free ...
5
votes
0answers
55 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
169 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
114 views

deck transformations and covering spaces

Let $p:\tilde X\rightarrow X$ be a universal covering space, and let $H\leq G$ where $G$ is the group of covering transformations. Let $q:\tilde X \rightarrow \tilde X/G$ be the quotient map which is ...
5
votes
0answers
81 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
47 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
205 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
2answers
808 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
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
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
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 ...