For questions about or involving covering spaces.

learn more… | top users | synonyms

2
votes
0answers
240 views

Monodromy Theorem and Homotopy Lifting Theorem

I've just come across this proof of the following theorem that I can't convince myself is true. Any ideas whether it's correct? Suppose $\gamma$ and $\lambda$ are homotopic paths starting at $x$ in a ...
6
votes
2answers
479 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 ...
2
votes
0answers
71 views

Liftings of curves $u\cdot v$ and $v\cdot u$ with respect to the sine covering map.

I'm trying to work through the exercises in Otto Forster's book on Riemann Surfaces. While most of them seemed not that hard, this one gives me a headache: Let $X=\mathbb{C}\setminus\{\pm1\}$ and $Y ...
4
votes
1answer
82 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$ ...
0
votes
3answers
517 views

deck transformations of the universal cover

One approach to classifying the coverings of a nice space $X$ without choosing a basepoint is to look at actions of the fundamental groupoid on sets. Another way that seems natural to me is to fix a ...
3
votes
1answer
402 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 ...
3
votes
1answer
140 views

Why is the group of covering transformations relative to the quotient map isomorphic to a subgroup of the Fundamental Group?

I'm trying to prove the classification theorem for covering spaces. I've got to the stage where I need to show the following: If $H$ a subgroup of $\Pi_1(X,x_0)$ then $\exists Y$ covering space of ...
1
vote
1answer
203 views

Branch points of rational functions

Let $f$ be a rational function on a compact connected Riemann surface $X$. The rational function $f$ induces a holomorphic map $\overline{f}:X\to \mathbf{P}^1(\mathbf{C})$. Let $x$ be a point on the ...
0
votes
0answers
109 views

Very Basic Covering Space Q. - Two different covering maps over a same space?

Here's the situation I'm in. I have a map from the (closure of) Upper Half Plane ($\mathbb{U}$) into the punctured (closed) disk ($\mathbb{D}$) called $q$ that satisfies $q(0) = 1$, and $q(z+1) = ...
2
votes
0answers
53 views

What are the branch points of $X(n)\to X(1)$

Let $\Gamma \subset \mathrm{SL}_2(\mathbf{Z})$ be a finite index subgroup. Let $X_\Gamma \to X(1)$ be the corresponding morphism of compact connected Riemann surfaces (obtained by adding the cusps). ...
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
2answers
245 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.
3
votes
2answers
226 views

Are fundamental groups of Riemann surfaces always finitely generated

For any finite subset $B\subset \mathbf{P}^1$, the fundamental group of the Riemann surface $\mathbf{P}^1-B$ is finitely generated. Is this true if we replace $\mathbf P^1 $ by a higher genus compact ...
3
votes
1answer
118 views

Are these two notions of Galois morphism the same

Let $f:X\to Y$ be a finite morphism of integral schemes. Let $G$ be the automorphism group of $X$ over $Y$. Are the following two conditions equivalent? The function field extension $K(Y)\subset ...
1
vote
1answer
160 views

Galois covers of Riemann surfaces

Let $G$ be a finite abelian group, and $C$ a compact Riemann surface (algebraic curve) of genus $g$. I am interested in topological Galois $G$-covers $X \to C$, aka \'etale $G$-principal bundles over ...
1
vote
1answer
129 views

Basic covering space question

Given a path connected metric space $X$ and a cover $\tilde{X}$ which is also a path connected metric space with covering map $E$, then is $E$ a local isometry?
0
votes
0answers
136 views

What is the Hurwitz number of an elliptic curve

One can associate a Hurwitz number to any rational function $f:X\to \mathbf{P}^1$ on a compact connected Riemann surface $X$ which ramifies over precisely FOUR points. Suppose that $X$ is an elliptic ...
3
votes
2answers
301 views

Does a morphism between covering spaces define a covering?

My question involves topological spaces $X$, $Y$ and $Z$, two coverings $p : Y \rightarrow X$ and $q: Z \rightarrow X$ of $X$ and a morphism $f: Y \rightarrow Z$ of coverings, i.e. a map which ...
2
votes
1answer
67 views

What is the length of the following local ring

Let $f:Y\to X$ be a finite etale cover of smooth projective connected varieties. (Or, just a finite degree connected topological cover of connected Riemann surfaces.) Let $y\in Y$ and let $x=f(y)$. ...
18
votes
5answers
874 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 ...
2
votes
2answers
277 views

metric on the universal covering of a geometric manifold

We know that the universal covering of a closed hyperbolic 3-manifold can be identified with the hyperbolic space $\mathbb{H}^3$. Now, what is not very clear to me is how this identification has to be ...
2
votes
0answers
130 views

Hyperbolic Universal Covering Space

I have been working with Ricci flow in the euclidean and hyperbolic space but have been having considerable trouble determining how to generate a universal covering space for complex hyperbolic ...
3
votes
1answer
194 views

discriminant of an étale cover of an elliptic curve

Let $\pi:X\to E$ be a finite ├ętale morphism, where $E$ is an elliptic curve over a number field $K$. Assume $X$ to be connected, and to be of genus 1. Edit: Assume $X$ and $E$ have semi-stable ...
1
vote
1answer
151 views

Number of ramification points in a simple cover

Let $f:X\to \mathbf{P}^1$ be a simple cover of the Riemann sphere. This means that $f$ is a branched cover, and that each fibre has at least $\deg f-1$ points in it. Is it true that the number of ...
1
vote
2answers
294 views

Question about two simple problems on covering spaces

Here are two problems that look trivial, but I could not prove. i) If $p:E \to B$ and $j:B \to Z$ are covering maps, and $j$ is such that the preimages of points are finite sets, then the composite ...
4
votes
3answers
889 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 ...
0
votes
2answers
153 views

An action of a group on a covering space

We see $S_3$ as the quotient of the free group on two elements and the normal subgroup $R$ generated by $\langle\sigma^3,\tau^2,\sigma\tau\sigma\tau\rangle$ where $\sigma$ and $\tau$ are the ...
2
votes
1answer
294 views

The covering space of a bouquet of 2 circles corresponding to a normal subgroup

Consider $S_3$ with this presentation: $S_3=\left\langle\sigma,\tau:\sigma^2=1, \sigma\tau=\tau^{-1}\sigma\right\rangle$. Let F be the free group with two generators $s,t$ and $R$ the minimal normal ...
7
votes
0answers
2k views

The simply connected coverings of two homotopy equivalent spaces are homotopy equivalent

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 ...
2
votes
1answer
489 views

Composition of coverings of path connected spaces

Do there exist covering maps $p:X\rightarrow Y$ and $q:Y\rightarrow Z$ such that $X$ is path connected and the composition $q\circ p$ fails to be a covering map?
4
votes
1answer
364 views

Irregular covering space of $\mathbb{R}P^2\vee\mathbb{R}P^2$

This was on my final last semester (to find such a cover), and I missed it. Here are my thoughts on it since then: I know that the universal cover of $X = \mathbb{R}P^2\vee\mathbb{R}P^2$ is (loosely) ...
8
votes
2answers
681 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 ...
21
votes
3answers
1k 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 ...
2
votes
1answer
90 views

G-complexes and regular covering

Suppose $X$ a free $G$-complex (i.e. a CW-complex with a free $G$-action that permutes the cells). I would like to show that the projection $$X\overset{p}{\to}X/G$$ is a regular covering spaces with ...
2
votes
1answer
337 views

Monodromy correspondence

Lately I've been studying monodromy and covering maps (in particular ramified covering mapos of Riemann surfaces), and I came across something I didn't fully understand. Let $V$ be a connected real ...
5
votes
0answers
45 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 ...
14
votes
2answers
392 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 ...
1
vote
2answers
129 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 ...