For questions about or involving covering spaces in algebraic topology.

learn more… | top users | synonyms (1)

1
vote
1answer
61 views

Constructing covering space of surfaces

If $S_g$ is the surface $\#_g T^2$ where $g$ is a non-negative integer, when can we construct a covering space $S_h$ of $S_g$? Each such surface is a $CW$-complex, and in a $n$-sheeted covering, each ...
0
votes
1answer
27 views

What are the morphisms in the category of unramified coverings over a compact Riemann surface?

Fix a compact Riemann surface $S$, and finite a set of branch points $B \subseteq S$. Consider the collection of Riemann surfaces $S_1$ and mermorphic functions $f: S_1 \rightarrow S$, such that $f$ ...
1
vote
0answers
16 views

Algorithms for finding covering spaces of a given space

Taking the example of $X=S^1\vee S^1$ , to find the covering space $X$ what was done in Munkres is that we had the idea of how the real line wraps around the circle. Using this we attached circles ...
2
votes
1answer
72 views

Covering space of a $\theta$ graph

I'm considering a problem of finding an explicit algorithm to construct a covering of a finite graph (in particular, of a $\theta$ graph) Since the current graph is homotopy equivalent to a wedge of ...
2
votes
1answer
79 views

Geodesic Lines on Covering Maps

So I'm not sure how deck transformations work into this problem. I've established the following so far. Let $\pi:\tilde{M}\rightarrow M$ be the universal covering map. We may suppose that $M$ is ...
1
vote
1answer
109 views

Is there is a way to construct a covering space of a wedge of two circles for a given normal subgroup

I would like to construct a covering space of a wedge of two circles with a given normal subgroup $H \subset \pi_{1}(S^{1} \vee S^{1})=F_{a,b}$. The goal is to find a covering space $\tilde{X}$ so ...
3
votes
1answer
41 views

If p is a covering map of a connected space, does p evenly cover the whole space?

Suppose I have a covering map $p:X\rightarrow Y$, and $Y$ is connected. Is $Y$, as an open set, evenly covered by $p$? I think the answer is yes; I'm new to this kind of topology, so I'm not sure if ...
2
votes
1answer
65 views

Is There a Generalization of the Path Lifting Property Of Covering Maps.

$\newcommand{\R}{\mathbf R}$ Let $p:(E, e)\to (X, x)$ be a covering projection map. We know that for any path $\gamma:I\to X$ such that $\gamma(0)=x$, there is a unique lift $\Gamma:I\to E$ such that ...
1
vote
0answers
26 views

What happens if the Vector field vanishes in this case?

"Given the contravariant vector field $V{\mu}(x)$, we cosider te differential equation $$\frac{dx^{\mu}}{d\lambda}=V^{\mu}(x).$$ The solution $x^{\mu}$ is a map from $\mathbb{R}\rightarrow M$ is ...
1
vote
1answer
48 views

Étale morphism has all its Deck transformation homotopic to identity

Is there an example that étale morphism (of degree $d,d<\infty$) $\pi: X\rightarrow Y$, s.t. all its Deck transformations homotopic to $Id_X$,except the trivial one, where $Y$ is general Enriques ...
1
vote
0answers
35 views

Involution and Covering space

Is there a connected topological space such that admits a free involution, trivial fundamental group and furthermore has the set of real number as it's covering space?
0
votes
0answers
13 views

Catalog of covering maps

Is there somewhere where I can find a list of covering maps including their base space and target space? Apart from standard examples found in notes and books I can't find much else.
0
votes
0answers
79 views

Covering spaces of $S^1 \vee S^1$: to what subgroups do these ones correspond?

The universal covering space for $S^1 \vee S^1$ is the Cayley graph, $X$, of the free group on two generators, $F\{a,b\}$. The subgroup $F\{b\}$ corresponds to the covering space ...
2
votes
1answer
230 views

Deck transformations of universal cover are isomorphic to the fundamental group - explicitly

I have read on several places that given a (say path connected) topological space $X$ and its universal covering $\tilde{X}\stackrel{p}\rightarrow X$, there is an isomorphism ...
5
votes
1answer
121 views

Universal covering and double cover functors

Cross-posted on MO Let $\mathsf{CW}$ be the category of CW-complexes and $\mathsf{CW}_*$ that of pointed CW-complexes (possibly disconnected, one basepoint in each component). I would like to know ...
1
vote
1answer
82 views

Why $f:\mathbb{C} \to \mathbb{C},~~~ z \mapsto z^3$ is not a covering map? [closed]

Can someone tell me why $f:\mathbb{C} \to \mathbb{C},~~~ z \mapsto z^3$ is not a covering map?
0
votes
0answers
64 views

Covering Space Question

I recently encountered the following: Let $p:(E, e_0) \to (B, b_0)$ be a covering map. Assume that $p_∗(\pi_1(E, e_0)) \subseteq \pi_1(B, b_0)$ is a normal subgroup. If $e_1\in p^{−1}(\{b_0\})$, then ...
0
votes
3answers
100 views

Definition of compactness unnecessarily verbose?

The definition of a compact set is given as a set, $X$, for which all open covers have a finite subcover. This seems unnecessarily verbose to me. Wouldn't it be sufficient to simply say that $X$ has ...
1
vote
1answer
38 views

Make a complex polynomial a covering map

Let $p:\mathbb{C}\to \mathbb{C}$ be a complex polynomial. Let $C:=\{p(z):p'(z)=0\}$ and $V:=\mathbb{C}\setminus C$. I want to show that $p:p^{-1}(V)\to V$ is a covering map. By inverse function ...
6
votes
1answer
82 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 ...
3
votes
1answer
336 views

A covering space of CW complex has an induced CW complex structure.

Let $X$ be a $CW$ complex, and let $q : E \rightarrow X$ be a covering map. Prove that $E$ has a $CW$ decomposition for which each cell is mapped homeomorphically by $q$ onto a cell of $X$. Hint: ...
1
vote
1answer
56 views

Lifting a principal G-bundle to a principal bundle with structure group a covering of G

Let $P\to $ be a principal $G$-bundle. Suppose $U$ covers $G$. What do we mean by a lift of $P$ with respect to $U$? Can we take $P,M,G,U$ such that no lift exists?
0
votes
1answer
115 views

What is a counterexample that a composition of covering maps not a covering map?

Let $p:X\rightarrow Y$ and $q:Y\rightarrow Z$ be covering maps. What would be an example that $q\circ p:X\rightarrow Z$ is not a covering map? I saw a counterexample here, but it was too complex. Is ...
3
votes
1answer
58 views

The restriction fo covering to a component is a covering map onto its image.

I am reading Lee's Introduction to Topological Manifolds. I got stuck on the problem 11-7 on pages 303. The below is the problem. Prove : If $q: E \rightarrow X$ is a covering map and $A \subseteq ...
3
votes
1answer
41 views

Covering polygons with circles of minimal radius

I have a closed polygon and I would like to fully cover it with a set of K circles of different radius such that the area covered by the circles but outside the polygon is minimal. This seems the ...
5
votes
1answer
104 views

Analogy between Galois groups and fundamental groups

I've heard that there is an analogy between algebraic field extensions and covers (in topology). In this analogy Galois extensions correspond to Galois covers and Galois groups correspond to ...
5
votes
1answer
137 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 ...
1
vote
1answer
135 views

The covering map lifting property for simply connected, locally connected spaces

I wish to prove the following statement: Let $X$ be a simply connected and locally connected space, and let $p:Y\to Z$ be a covering map. Then given $f:X\to Z$ continuous, $x_0\in X$, $y_0\in Y$ ...
9
votes
0answers
146 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 ...
1
vote
1answer
110 views

Calculate the homology group of $S^3/G$, an Harvard qualifying exam problem with “unclear” solution

Problem Suppose that $G$ is a finite group whose abelianization is trivial. Suppose also that $G$ acts freely on $S^3$. Compute the homology groups (with integer coeffcients) of the orbit space ...
7
votes
2answers
142 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 ...
0
votes
0answers
29 views

Vitali covering over integers

Let $B(n,r)$ be a ball in $\mathbb{Z}^k$, that is, $B(n,r) = B'(n,r) \cap \mathbb{Z}^k$, where $B'(n,r)$ is a ball in Euclidean $k$-space. Suppose we have a set $W \subset \bigcup_{j=1}^N B(n_j,r_j)$. ...
4
votes
1answer
57 views

Whether the fiber of a holomorphic covering of the unit disk over a non-simply-connected domain is infinite or not

Consider a holomorphic covering $f:\mathbb{D}\rightarrow \Omega$. Then for any point $a$ in the domain $\Omega$, consider the fiber $f^{-1}(a)$. If $f$ is non-constant, I know that when $\Omega$ is a ...
2
votes
0answers
46 views

How to show explicitely that 2-sheeted covers are Galois?

Let $X,Y$ be connected Hausdorff topological spaces. It is well-known that every 2-sheeted covering $p:Y\to X$ is Galois which means that $Aut(Y/X)$ acts transitively on fibers. It is easy to come up ...
4
votes
1answer
72 views

A lift of isometry to universal covering

Let $M$ be a compact Riemannian manifold, $\bar M \to M$ be its universal covering and $\phi \in Isom(M)$ be an isometry of $M$. Is it true that, if $\phi$ is isotopic to the identity map of $M$, than ...
4
votes
1answer
106 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 ...
0
votes
0answers
26 views

Name for measure of non-injectivity of a covering map

Suppose that $p:C\to X$ is a covering map. For $x\in X$, is there a name for the number $Card(p^{-1}(x))$? So that for $p(z)=z^5:\mathbb{C}\setminus\{0\}\to\mathbb{C}\setminus\{0\}$, one might say ...
0
votes
1answer
41 views

Restriction of complex polynomial that is a covering map

In my book the following exercise is given: let $p(z)\in \mathbb{C}[z]$ be a complex polynomial with distinct roots and degree $n>1$. Determine the greatest neighborhood $V$ of 0 such that ...
0
votes
1answer
63 views

Branched coverings of the Riemann sphere

Can someone give me an example of a non-trivial branched covering of the Riemann sphere? Is there some way to enumerate all such coverings? Is there any easy answer to the same questions about the ...
1
vote
0answers
44 views

Classification of Galois covering maps over a bouquet of 2 circles

The b-sheeted Galois covering maps over $C^*$ are equivalent to $z\mapsto z^b$. I wonder if there is an analogous statement for such Galois covers over C except two points $0,1$. Is that true that ...
8
votes
1answer
53 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 ...
3
votes
2answers
83 views

If $G$ is a finite nontrivial group, then $K(G, 1)$ cannot be a finite CW-complex?

I am currently working on this algebraic topology problem and got stuck: Suppose $X$ is a finite CW complex with $\pi_1(X)$ a nontrivial finite group. Show that its universal cover $\widetilde{X}$ ...
2
votes
2answers
81 views

A space $X$ with $S^{2n+1}$ as universal covering space must be orientable.

Problem If $X$ has $S^{2n+1}$ as universal covering space, then show that $X$ must be orientable. My idea: By contradiction, suppose $X$ is non-oreintable. Then we consider the orientation covering ...
3
votes
1answer
65 views

Existence of the universal covering space of a connected Lie group

I am working on a project about how the universal cover of a connected Lie group is a Lie group, but I cannot find a theorem that assures that this universal cover actually exists. I've found ...
2
votes
2answers
32 views

A space homeomorphic to the connected sum $\mathbb{RP}^3$ # $\mathbb{RP}^3$

Problem (1) Consider the space $Y$ obtained from $S^2 \times [0,1]$ by identifying $(x,0)$ with $(-x,0)$ and also identifying $(x,1)$ with $(-x,1)$, for all $x\in S^2$.Show that $Y$ is ...
3
votes
3answers
167 views

Why spherical coordinates is not a covering?

Maybe this is an idiot question and I'm committing a trivial mistake. Let $\phi (\theta, \varphi) = (\cos \theta \sin \varphi, \sin \theta\sin \varphi, \cos \varphi)$ be the usual covering of the ...
1
vote
1answer
81 views

Covering spaces of $S^1$

Put $\tilde X=\lbrace (exp(2\pi if(t)),t)| t\in \mathbb{R} \rbrace$ where $f:\mathbb{R}\rightarrow \mathbb{R}$ is any continuous function and let $\pi_1$ be the projecction on the first coordinate. ...
1
vote
0answers
36 views

Isometry algebra implication from Riemannian covering

I really wish that, if $\pi:(M,\mathrm{g})\twoheadrightarrow(N,\mathrm{h})$ is a Riemannian covering, then $\mathfrak{i}(N,\mathrm{h})\leq\mathfrak{i}(M,\mathrm{g})$, where ...
2
votes
0answers
181 views

Show that if $f$ is a proper surjective map which is locally injective then $f$ must be a covering map

Suppose $f :X \to Y$ is a continuous proper map between locally compact Hausdorff spaces. Show that if $f$ is a surjective map which is locally injective then $f$ must be a covering map. It is ...
1
vote
1answer
60 views

An exhaustive continuous map is a covering map.

$p_1:\tilde X_1 \rightarrow X \, ; \, p_2:\tilde X_2 \rightarrow X$ two coverings maps, where $X$ connected and locally path-connected, and suppose that $f:\tilde X_1 \rightarrow \tilde X_2$ is an ...