# Tagged Questions

For questions about or involving covering spaces in algebraic topology.

30 views

### Open Covers for Čech Homology

Would it make sense to define a filtered open covering $$\{U_i\} = U_1 < U_2 < \cdots < U_n = X$$ on a topological space $X$ in order to compute Čech homology? Or does this defeat the ...
39 views

262 views

### Homotopy equivalent spaces have homotopy equivalent universal covers

A problem in section 1.3 of Hatcher's Algebraic Topology is Let $\tilde{X}$ and $\tilde{Y}$ be simply-connected covering spaces of the path-connected, locally path-connected spaces $X$ and $Y$. ...
34 views

### Deck transformations of cover of double mapping cylinder

On page 66 of Hatcher's Algebraic Topology, he discusses the universal cover of a space $X$ which is a cylinder with its edges glued to a circle by maps $z \mapsto z^m$ and $z \mapsto z^n$. He ...
41 views

### Classification of $G$-principal Bundle and classification of $G$-coverings: a bridge between the two?

I encountered the following sentence in an exercise (the context is irrelevant) Let $G\cong\langle s_1,s_2,\dots , s_g \mid R \rangle$ be a discrete one relator group. Consider the $G$-principal ...
57 views

29 views

### Covering group $Aut(\tilde{X},p)\cong NH/H$

I want to show $Aut(\tilde{X},p)\cong NH/H$ where $H=p_*\pi_1(\tilde{X},\tilde{x_0})$ and $NH$ is the normalizer of $H$. In my text book, the author sketches the proof of the above by using the ...
53 views

### Definition of finite-sheeted covering

What is the definition of a finite-sheeted covering $q: E \to X$? Does it mean that every open $V \subseteq X$ has a pre-image $q^{-1}(V)$ that is the disjoint union of a finite number of sheets? Or ...
29 views

39 views

### Determine a normal covering space

Is there a way to determine if a covering space is normal without using the two theorems of Hatcher's book in pages 71 and 72?
38 views

### Covering map of the annulus

How to find universal covering map of the annulus of inner radius $\frac{1}{R}$ and outer radius $R>1$ from the right half plane $H$ where $H=\{z|Re(z)>0\}$?
50 views

### Size of the deck transformation group

If $p\colon Y\to X$ is a $k$-fold covering map, and $Y$ is path-connected, what is the size of Deck($p$), the deck transformation group? I was attempting to prove that the answer is $\leq k$, but ...
72 views

### Surface groups and subgroups of fundamental groups

The fundamental group of any closed surface is a surface group. Let $S_3$ be the orientable surface of genus 3. Is $\pi_1(S_3)$ isomorphic to an index-3 subgroup of any surface group? We have 1 2-...
39 views

### Covering a rectangle with circles

jgkjgbjb efewfesf fsefesfwsf sf swfsfsfsref sfsfsfsf
20 views

### Covering space of an abelian topological group is abelian if the covering map is a homomorphism

I'm trying to show that if $(E, \cdot)$ and $(G, \cdot)$ are both topological groups, $G$ is abelian, and $(E, p)$ is a covering of $G$ such that $p:E\to G$ is a homomorphism with respect to $\cdot$, ...
46 views

### Let $q: X\to Y$ and $r: Y\to Z$ be covering maps; let $p=r\circ q$. Show that if $r^{-1}(z)$ is finite for each $z\in Z$, then $p$ is a covering map.

Let $q: X\to Y$ and $r: Y\to Z$ be covering maps; let $p=r\circ q$. Show that if $r^{-1}(z)$ is finite for each $z\in Z$, then $p$ is a covering map. I've almost completed solving this problem, but ...
56 views

### Suppose $p:E\to B$ is a covering map and $B$ is connected. Prove that if $p^{-1}(\{b\})$ has n points $p^{-1}(\{b\})$ has n points for every $b\in B$

My idea is to somehow show that the group $O_n$ is both open closed which will imply $O_n=B$. Then assign to each $n$ the set of points $O_n\subseteq B$ such that $p^{-1}(b)$ has exactly $n$ points. ...
61 views

### Universal cover of boundary

Let $M$ be a compact manifold-with-boundary and $B$ a component of $\partial M$. Let $\tilde{M}$ be the univeral cover of $M$ with infinite-sheeted covering map $p:\tilde{M} \to M$. I wonder about the ...
63 views

### How does the fundamental group of the base space act on its universal cover?

I have a guess: Given $p : \tilde{X} \rightarrow X$, and fixing $x_0 \in X$, then $\pi_1(X, x_0)$ acts on $p^{-1}(x_0)$ in an obvious way. (Monodromy) Is this action the action that gives $X$ as a ...
64 views

### Finding open covers that do not contain finite subcovers

I'm being asked that for each of the following spaces $(X_i, T_i)$, find an open cover $U_i$ that does not contain a finite subcover. $X_i$ is a set and $T_i$ is a collections of subsets. I have ...
79 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 ...
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$ ...
18 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 ...
76 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 ...
86 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 ...
119 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 ...
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 ...