For questions about or involving covering spaces in algebraic topology.

learn more… | top users | synonyms (1)

8
votes
0answers
138 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 ...
6
votes
0answers
135 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
0answers
48 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
163 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
79 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
0answers
22 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 ...
4
votes
0answers
58 views

Show that a map of sets is continuous if its composition with other functions is

Problem: Let $Y, E, B$ be topological spaces with $Y$ locally path connected. Suppose $p: E \rightarrow B$ is a covering map, with $g: Y \rightarrow E$ a map of sets. If $p \circ g$ is continuous, ...
4
votes
0answers
105 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 ...
4
votes
0answers
112 views

An entire function with finite covering group is a polynomial.

Let $f$ be an entire function. Think of it as a covering space of $\mathbb{C}$ (perhaps with isolated punctures) to $\mathbb{C}$ (perhaps with isolated punctures). Suppose we know there is only a ...
3
votes
0answers
105 views

Does the pullback of a covering space correspond to the pullback of the corresponding representation of $\pi_1$?

In other words, suppose you have a degree $n$ covering space $C\rightarrow X$ corresponding to some (equivalence class of) representation $\pi_1(X)\rightarrow S_n$. Suppose you have any continuous map ...
3
votes
0answers
72 views

does the pullback of a covering space correspond to the pullback of the corresponding representations of $\pi_1$?

Say you have a covering space $C \rightarrow X$ corresponding to some homomorphism $\pi_1(X)\rightarrow S_n$. Suppose you have an arbitrary (continuous) map $f : Y\rightarrow X$. Then we may pull back ...
3
votes
0answers
101 views

Connected Components of Covering Space

Let $\pi : \tilde M\to M$ be a covering map, $K_1, K_2\subset\tilde M$ are two different connected components and there exists such points $x\in K_1, y\in K_2$ that $\pi(x)=\pi(y)$. In other words, ...
3
votes
0answers
492 views

Algorithms for covering a rectilinear polygon using rectangles of the same size

The following is the problem description: All angles of the polygon are right. It may be convex or concave. Use rectangles of the same size to cover the polygon. The edge of the polygon and ...
2
votes
0answers
44 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 ...
2
votes
0answers
32 views

About prime geodesic cycles and deck transformations group

I'm proving theorem 2 occurring in Sunada's paper Riemannian coverings and isospectral manifolds. Unfortunately Sunada's quotes himself to the following paper: Tchbotarev’s density theorem for closed ...
2
votes
0answers
44 views

universal cover homotopy equivalent if the base space homotopy equivalent

I am working on Hatcher's algebraic topology book and I got stuck in problem 8 in section 1.3. It says if $\hat{X}$ and $\hat{Y}$ are simply-connected covering space of the path connected, locally ...
2
votes
0answers
36 views

Morphism induced in cohomology of a covering space

It is a basic question but I'm stuck. If $p:M\rightarrow N$ is a $m$-fold unramified covering between surfaces, why the morphism induced by $p$ in cohomology at level 2 with coefficients in ...
2
votes
0answers
80 views

Unique Path lifting of covering map

Let $p:E\rightarrow B$ be a covering map (in particular $p$ is a fiber bundle with discrete fiber). We want to prove the following: Given a commuting diagram of the following form: $\{0\}\rightarrow ...
2
votes
0answers
69 views

covering spaces

A covering space of a Hausdorff space is also Hausdorff. Conversely, a compact Hausdorff finite covering space has a Hausdorff base space. However, in general, a non Hausdorff space may have a ...
2
votes
0answers
41 views

A space having exactly three coverings up to equivalence

Q: Give an example of a topological space having exactly 3 coverings up to equivalence (including a covering by the space itself). Proof: There is a theorem that says that given a topological ...
2
votes
0answers
68 views

Branched coverings of unit disk

Is there a classification of branched coverings of the closed unit disk $\mathbb{D} =\{z\in \mathbb{C} \ | \ |z| \leq 1 \}$? Here we consider only branched covering projections which restrict to ...
2
votes
0answers
77 views

The cohomology of $S^3/D^*_k$

I have tried to compute the de Rham cohomology and the homology over the integers of the space $S^3/D^*_k$, where $D^*_k$ is the binary dihedral group of order $4k$ and I would like to know if ...
2
votes
0answers
76 views

Classifying covering spaces of product spaces

Given two covering maps $p\colon \tilde{X} \to X$ and $q\colon \tilde{Y} \to Y$, we can form the covering map $p\times q \colon \tilde{X} \times \tilde{Y} \to X\times Y$. By covering space theory, we ...
2
votes
0answers
50 views

lifting injective maps to injective maps in principal bundles

Let $i \, :Y \hookrightarrow X$ be an inclusion of (nice) topological spaces, and suppose that the induced map $\pi_1(Y) \to \pi_1(X)$ is injective. Then every lifting of $i$: $$ \tilde Y \to \tilde ...
2
votes
0answers
27 views

Correct definition of a regular covering without global connectedness hypotheses

Let $p:Y\to X$ be a covering map of topological spaces where $X$ is assumed to be locally path connected (and hence the same is true of $Y$) but neither $X$ nor $Y$ is assumed to be connected. In this ...
2
votes
0answers
25 views

Submersions and complex structure

Let $f : \Lambda \rightarrow X$ be a continuous surjective map, where $\Lambda$ is a complex manifold and $X$ a topological space. Suppose that for all $x \in X$, there is a neighborhood $U_x$ of $X$ ...
2
votes
0answers
60 views

Covering Spaces and Fundamental Groups

Can somebody tell me if what I did is right? I need to Draw the based cover $\hat{B}\rightarrow B$ such that $\pi_{1}(\hat{B},v)$ corresponds to the subgroup $\langle a^{3}, a^{2}b\rangle$ ...
2
votes
0answers
125 views

Orientable Surface Covers Non-Orientable Surface

I need to describe how a 4-genus orientable surface double covers a genus 5-non-orientable surface. I know that in general every non-orientable compact surface of genus $n\geq 1$ has a two sheeted ...
2
votes
0answers
40 views

Degree and picture of a Covering map

I need to know if I am right: I need to know the degree of this covering map $R \rightarrow S$: $T^{2}\#T^{2}\#T^{2}\#T^{2}\#T^{2}\#T^{2}\ \rightarrow T^{2}\#T^{2}$ I have that genus of $R$, $g_{R} ...
2
votes
0answers
42 views

Reference request for an explicit description of the group of deck transformations acting on the universal cover of a Riemann Surface

Let $\Sigma_g$ be a geuns $g$ Riemann surface with $g \geq 2$. It can be thought of in the following way: it is the quotient space $$\mathbb{H}/\pi_1(\Sigma_g)$$ where an element of ...
2
votes
0answers
95 views

Fundamental group and path-connected

Let $p:E \rightarrow B$ be a covering space, $E$ and $B$ are path-connected. Let $A$ be a path-connected subset of $B$ . How to use fundamental group to give a sufficient and necessary condition to ...
2
votes
0answers
55 views

Are there Galois covers of curves branched at 1 point?

Let $G$ be a finite group, not necessarily abelian. Is there any smooth algebraic curve $C$, with an action of $G$ on $C$, such that the natural quotient map $C \to C/G$ is branched at precisely one ...
2
votes
0answers
227 views

Restriction of a covering map to a subspace

Let $p:X\rightarrow Y$ be a covering map and let $Y_0 \subset Y$. Show that $p|:p^{-1}(Y_0)\rightarrow Y_0$ is a covering map. Hint: Show first that if $V\subset Y$ is well-covered by $p$, then ...
2
votes
0answers
73 views

How do we check if a covering of an orbifold is a manifold?

Let $X$ be an orbifold and suppose it is "good", i.e. its universal covering orbifold $\widetilde{X}$ has a trivial orbifold structure (it is "just" a manifold). It may be the case that some ...
2
votes
0answers
145 views

Example of a nontrivial finite covering map

A covering map $p:C\to X$ is called finite when for each $x\in X$ the fiber of $x$ is finite. I have to prove something about such covering maps, but I have never seen a nontrivial example of one. ...
2
votes
0answers
103 views

Characterization of maps with $\mathbb{Z}/2\mathbb{Z}$-equivariant lifts.

I'm interested in characterizing maps $f:\mathbb{R}P^k\to\mathbb{R}P^\infty$ that lift to a $\mathbb{Z}/2\mathbb{Z}$-equivariant map $\tilde{f}:S^k\to S^\infty$. For $k\geq 2$ I have been able to ...
2
votes
0answers
60 views

How to find every 4-sheet covering of the wedge sum?

Based on this question 4-sheet covering of the wedge sum of two circles I know how to find one 4-sheet covering of the wedge sum, but how to find every 4-sheet covering of the wedge sum? I really ...
2
votes
0answers
33 views

Are there generalizations of Prym varieties to higher dimensions

Prym varieties are abelian varieties that are associated to a double cover of algebraic curves. Can we also associate an abelian variety to a double cover of algebraic surfaces in a reasonable way? ...
2
votes
0answers
72 views

Global sections of covering spaces

Let $p:C\to X$ be a covering space having a global section $s:X\to C$. I can show that this implies that $s(X)$ is disconnected from the rest of $C$. Is there any reference where this is explicitly ...
2
votes
0answers
101 views

Are there infinitely many rational functions of bounded degree and given ramification

It is well known that the set of branched covers $X\to \mathbf{P}^1(\mathbf{C})$ of bounded degree and given branch locus is finite (up to isomorphism). Edit. The branch locus $B$ of $f:X\to ...
2
votes
0answers
110 views

Identifying the numbers of degree $n$ covering spaces of $X$

Let $X$ be a path-connected, locally path-connected and semilocally simply-connected space. Can we find a correspondence between degree $n$ covering spaces of $X$ and group homomorphism ...
2
votes
0answers
305 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 ...
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 ...
2
votes
0answers
57 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). ...
2
votes
0answers
134 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 ...
1
vote
0answers
22 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 ...
1
vote
0answers
17 views

Disjoint Union of Completely Regular Spaces

I am trying a new approach to an already-solved problem, but I need help to see if I'm on point. Munkres Chapter 53, question 6 [abridged] asks, given a covering map $p: E \to B$: Show that "if $B$ ...
1
vote
0answers
68 views

Covering between universal covers

While trying to solve a problem, an intuitive idea has brought me to the following statement. Is it true? If yes, how can we prove it? If $X$ is a covering space of $Y$, then the universal cover of ...
1
vote
0answers
19 views

Lifting property of a covering map, product topology version

Suppose I have the following theorem (1): If $C,X$ are spaces, $p:C\to X$ is a covering map, $Y$ is a "nice" topological space (I think simply connected and locally path-connected is sufficient), ...