2
votes
0answers
30 views

Basic question about lifting maps to covering spaces

Any continuous map $f: X_1 \to X_2$ "lifts" to a map $\tilde f: \tilde X_1 \to \tilde X_2$ (provided that $X_1$ and $X_2$ have universal covers). The space $\tilde X_1$ is certainly ...
1
vote
1answer
29 views

$X$ is contractible and $Y$ is path connected then $[X,Y]$ has a single point

Im trying to show that: for $X,Y$ topological spaces $X$ is contractible and $Y$ is path connected then $[X,Y]$ has a single point while $[X,Y]$ denote the set of homotopy classes of maps of $X$ ...
3
votes
2answers
24 views

Complement of a solid genus-2-handlebody in $S^3$

I'm not sure if this is a stupid question or not but is the complement of a solid genus-2-handlebody in $S^3$ also a solid genus-2-handlebody? Thanks!
2
votes
0answers
66 views

$C(X)$ is finite dimensional iff $X$ is finite [duplicate]

If $X$ is compact Hausdorff space and $C(X)$ is the set of all continuous complex valued functions on $X$,then prove that $C(X)$ is finite dimensional if and only if $X$ is finite. My problem:If we ...
2
votes
1answer
64 views

Isomorphism of Fundamental Groups (arcwise connected)

In an arcwise connected topological space $X$, we can show that the two groups $\pi(X,x)$ and $\pi(X,y)$ are isomorphic for $x,y \in X$ by defining a mapping $u: \pi(X,x) \to \pi(X,y)$ by $\alpha ...
6
votes
3answers
176 views

Klein bottle as two Möbius strips.

I read that glueing together two Möbius strips along their edges creates a surface that is equivalent to the so-called Klein bottle. The Möbius strip comes in two versions that are mirrored ...
1
vote
0answers
46 views

A sufficient condition for the composition of covering maps to be a covering map

Let $q:X \rightarrow Y$ and $r:Y \rightarrow Z$ be covering maps and $p= r \circ q$. If $r^{-1}(z)$ is finite for all $z \in Z$, then $p$ is a covering map. Now I found the following proof: ...
0
votes
1answer
44 views

Cardinality of fibres of covering maps of connected spaces

If I have a covering map $p:E \rightarrow B$ and some connected set $U$, that is evenly covered, then $p^{-1}(U)$ as a partition into slices is unique. Now, if I assume that $B$ is connected, then I ...
2
votes
1answer
53 views

Motivation for the proof of the associativity of multiplication of equivalence classes of paths

After having defined the equivalence classes of paths in a topological space in chapter two of the book A Basic Course in Algebraic Topology, William S. Massey proves the lemma The multiplication ...
3
votes
1answer
40 views

Cover a sphere by two closed subsets not containing a closed self-antipodal connected subset?

Question (Fulton's Algebraic Topology, A First Course, Problem 4.40) Suppose the sphere $S^2=A\cup B$ where $A,B\subseteq S^2$ are two closed subsets of $S^2$. Is it true that either $A$ or $B$ must ...
1
vote
1answer
31 views

What is the induced functor of covering spaces to covering groupoids?

I'm reading May's book, 'A Concise Course in Algebraic Topology' and I'm confused about what he means by the induced functor from a covering space. First, here are some helpful/relevant definitions. ...
3
votes
1answer
55 views

The nature of isomorphism between fundamental groups with different base points

New to algebraic topology. Munkres (Topology, 2 ed.) in the last paragraph on page 332 says that "If $X$ is path-connected, all the groups $\pi_1(X,x)$ are isomorphic, so it is tempting to try to ...
1
vote
1answer
23 views

Embedding a space in its cone

Let $X$ be a topological space, and $C(X)= (X \times [0 ,1])/(X \times {1} )$, define $f\colon X \to C(X)$ as $f(x)=[x,t]$ for some fixed $t$ s.t $\ 0\leq t <1$. I have to show this is a ...
2
votes
1answer
123 views

Homology and topological propeties

i have this theorem with it's proof but i don't understand the last part They use this proposition: My question is Why $\varphi^c\cap U_i$ is closed and pairwise disjoint ? where ...
7
votes
1answer
126 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 ...
1
vote
1answer
51 views

A continous map between the two torus and the torus

Let $\Sigma$ be the doubled torus (a compact oriented) surface of genus 2) and let $T$ be the torus. Suppose $f: \Sigma \rightarrow T$. Prove that $f$ is not a local homeomorphism. Attempt at ...
4
votes
0answers
92 views

Surgery presentations and gluing

It is well known that every closed oriented 3dimensional manifold can be obtained from a framed link in $S^3$. Let $M$ and $N$ be topological 3-manifolds with boundary such that boundaries $\partial ...
0
votes
2answers
46 views

Why is this a quotient map

Is there a direct way to see that $p \times id : [0,1]^2 \rightarrow S^1 \times [0,1]$ is a quotient map with $(p \times id)(x,y) = (e^{ix},y)$? By direct way, I mean is there an obvious argument why ...
4
votes
0answers
110 views

Standard spaces with non-standard topology and around

The following series of questions gives me no rest. Let $\mathbb{\widetilde{R}}^n$ be $\mathbb{R}^n$ with Zariski topology, i.e. we say that $A\subset \mathbb{R}^n$ is closed if it is given by the ...
2
votes
1answer
32 views

Extending a homeomorphism of the open disk to the boundary.

Let $D^2 = \{x \in \mathbb{R}^2 : ||x||\leq 1\}$ denote the closed disk and $int(D^2)$ denote its interior. If I have a homeomorphism $\ f: int(D^2) \rightarrow int(D^2)$ it is clear that it is not ...
2
votes
1answer
41 views

When gluing maps are isotopic?

Let $M$ and $M'$ be compact orientable connected topological 3-manifolds. (One may need more conditions to answer the question.) Suppose we have two homeomorphisms $f$ and $g$ from the boundary ...
3
votes
0answers
37 views

Fundamental group of 7-gon with labelling scheme $abaaab^{-1}a^{-1}$

I want to calculate the fundamental group of of a $7$-gon with labelling scheme $abaaab^{-1}a^{-1}$. I will call the quotient space $X$ with reference point $x_0$. This is what I tried: If you have ...
2
votes
1answer
44 views

Boundary connected sum of manifolds

I have two related questions about the boundary connected sum of manifolds with boundaries. Let $T=S^1 \times S^1$ be a torus and let $X=T \times [0, 1]$ be the cylinder over the torus. Let $X'$ be a ...
0
votes
2answers
38 views

Liftings in Topology

I am wondering about this: Assume you have a class $[f] \in \pi_1(B,b_0)$ and a covering map $p:E \rightarrow B$. Now, I know that if you take any two paths $g,h \in f$ that are homotopic and they ...
1
vote
1answer
59 views

Gluing the ends of a cylinder. Can we get other than a torus?

Let $X=S^1 \times I$ be a cylinder, where $S^1$ is the 1-dimensional circle. If we glue the "bottom" boundary $S^1 \times 0$ and the "top" boundary $S^1\times 1$ by a homeomorphism sending $x\times 0$ ...
0
votes
2answers
24 views

Nullhomotopic map extended

I have troubles understanding this proof: Let $h:S^1 \rightarrow X$ be a continuous map, then we have that if $h$ is nullhomotopic, $h$ can be extended to a continuous map $k:B^2 \rightarrow X.$ ...
0
votes
2answers
52 views

Proof of the Borsuk-Ulam Theorem

The Borsuk-Ulam Theorem says the following: For any continuous map $g: S^n \rightarrow \mathbb{R}^n$ there exists $x \in S^n$ such that $g(x)=g(-x)$. I'm trying to work through the proof given in ...
0
votes
1answer
32 views

Fibre is open in covering space

I think I don't see the wood for the trees: In my notes I found the remark that if $p:E \rightarrow B$ is a covering map, then for each $b \in B$ we have that $p^{-1}(b)$ in $E$ has the discrete ...
0
votes
1answer
47 views

Is the homotopy class given by the degree?

Let $X$ be a topological space such that $\pi_n(X)=H_n(X)=Z$. A continuous map $f: S^n \rightarrow X$ is an element of $\pi_N(X)=Z$ therefore $[f]_{\mathrm{homotopy}}$ is characterised by an integer ...
2
votes
1answer
33 views

Fundamental group of the quotient of a cylinder by a rotation at either end

The following is a past qual problem: let $X = S^1 \times [0,1]$ be the cylinder, and define an equivalence relation on $X$ by $(z,1) \sim (iz,1)$ and $(w,0) \sim (e^{i\pi /7} w, 0)$. Compute ...
4
votes
1answer
65 views

Mapping Class Group

$\newcommand{\MCG}{\mbox{MCG}}$Let $\alpha$, $\beta$ be non-isotopic, non-separating curves on a surface $S$ (meaning that "cutting along " them will not disconnect the surface). How do we show that ...
3
votes
2answers
68 views

Is there some knot theory behind the Mobius donut?

I was watching this video by Numberphile where a professor cuts a bagel into two interlocking pieces. Is this a torus knot or torus link? I'm trying to interpret in terms of $(p,q)$-torus knots Torus ...
3
votes
1answer
89 views

For a Cantor set $\mathcal{C} \subset S^3$ such that $\pi_1(S^3 \setminus \mathcal{C})=0$, prove $S^3 \setminus \mathcal{C}$ can be split by a sphere.

I'm working from the paper Cantor Sets in $S^3$ with Simply Connected Complements by Richard Skora. On page 184 the second sentence states that any Cantor set $\mathcal{C} \subset S^3$ such that ...
1
vote
1answer
39 views

Deck transformations

We have a theorem that says that if a group $G$ acts on a path-connected space $Y$ properly discontinuously, then $\pi: Y \rightarrow Y/G$ is a covering map. Especially, $G$ is isomorphic to the group ...
4
votes
1answer
54 views

True or False: Topological Group and $S^1 \vee S^1$

$i.$ $S^1 \vee S^1$ can be embedded in a topological group $ii.$ $S^1 \vee S^1$ can be covered by a topological group I think $i.$ is true since we can embed the wedge sum into $\mathbb{R}^2$, which ...
1
vote
0answers
37 views

Characterising subgroup

Let $\omega $ be a path in $\hat{X}$ with $\omega(0), \omega(1) \in p^{-1}(x_0)$, where $p$ is a covering map $p:\hat{X} \rightarrow X$. Let $\alpha=[p \circ \omega] \in \pi_1(X,x_0)$. Then we have ...
0
votes
0answers
66 views

Canonical topology on standard groups?

I just wanted to know whether there is any standard topology on groups like $\mathbb{Z}/n\mathbb{Z}$ or $\mathbb{Z}$ ? - The only one that I could imagine, especially for finite groups is the discrete ...
4
votes
1answer
74 views

Fundamental group of quotient of $S^1 \times [0,1]$

I have a past qual question here: Let $X = S^1 \times [0,1] /{\sim}$, where $(z,0) \sim (z^4,1)$ for $z \in S^1 = \{ z \in \mathbb{C} \colon \| z \| = 1 \}$. Compute $\pi_1(X)$. I've been trying to ...
4
votes
1answer
45 views

Homotopy classes of maps from the projective plane to $S^1 \times S^3$

I have a past qual question here: characterize the space $[(\mathbb{RP}^2,x),(S^1 \times S^3,y)]$ of homotopy classes of maps from $(\mathbb{RP}^2,x)$ to $(S^1 \times S^3,y)$, where here $x \in ...
2
votes
2answers
35 views

intersection number of twocompact oriented manifolds

I have an oriented manifold M of n dimension and 2 oriented submanifolds, one of dimension k and the other of dimension n-k , I have to understand which is the intersection number of those manifolds. ...
0
votes
1answer
69 views

Homology of 3-sphere minus an embedding of $S^1 \times \mathbb{D}^2$

I'm having trouble with the following past qual question: Let $\phi \colon S^1 \times \mathbb{D}^2 \hookrightarrow S^3$ be an embedding, where $\mathbb{D}^2$ is the open unit disk in $\mathbb{R}^2$. ...
0
votes
0answers
41 views

Link complement simply-connected if codimension $\geq 3$

In Rolfsen, page 50 says that "an easy general position argument shows that a PL link $L^k$ in $S^n$ has simply-connected complement if $n - k > 3$," where $L^k$ is a $k$-dimensional link in $S^n$. ...
1
vote
1answer
25 views

Group action and set define via their quotient topology open/closed equivalence relations

If we have a topological space $X$ and a subset $A \subset X$, we can define $X \backslash A$. My question is: Is it true that this equivalence relation is closed iff $A$ is closed as a subset of $X$ ...
0
votes
1answer
30 views

Fundamental polygon

So, I have seen fundamental polygons quite a few times now and I was always wondering what they are actually good for. Let's take the sphere. It's fundamental polygon can be seen here image. Does ...
2
votes
1answer
32 views

The cone minus its apex deformation retracts onto its basis

Let $X$ be a topological space and $$C(X)=X\times [0,1]/X\times \{0\}$$ be the cone on $X$. Call $P$ the apex of the cone. I want to show that $C(X)-P$ deformation retracts onto $X\times \{1\}$. My ...
12
votes
3answers
173 views

Fundamental group of the product of 3-tori minus the diagonal

I have a past qual question here: let $T^3 = S^1 \times S^1 \times S^1$ be the 3-torus, and let $\Delta = \{ (x,x) \in T^3 \times T^3 \colon x \in T^3 \}$ be the diagonal subspace. Compute $\pi_1(T^3 ...
2
votes
2answers
51 views

Find a CW complex with prescribed homology groups

A past qual question asks to construct a CW-complex $X$ with $H_0(X) = \mathbb{Z}$, $H_5(X) = \mathbb{Z} \oplus \mathbb{Z}_6$, and $H_n(X) = 0$ for $n\not= 0, 5$. One can build a CW-complex $Y$ by ...
2
votes
1answer
31 views

Homology groups of a simplicial complex

I have a question from a qualifying exam: let $X$ be the simplicial complex that consists of the 3-simplices $(v_1,v_2,v_3,v_4)$, $(v_3,v_4,v_5,v_6)$, $(v_1,v_2,v_5,v_6)$, where the $v_i$'s are all ...
2
votes
0answers
56 views

Number of faces of a polytopal subdivision

Let $\mathcal{P}$ be a (bounded) polytope in $\mathbb{R}^d$ and let $\mathcal{C}$ be a polytopal subdivision of $\mathcal{P}$ [1]. Is there a known tight upper bound in the number of polytopes in ...
0
votes
1answer
57 views

A detail in the proof of Jordan's theorem

The (usual) proof with homology first inductively shows that complements of embedded disks are acyclic. In doing so, Mayer-Vietoris is applied, and this assumes that their complements in the sphere ...