# Tagged Questions

67 views

### Fundamental group of the complement of an eight shape

What is $\pi_1(\mathbb{R}^3 \setminus (S^1 \vee S^1))$? I would say that the space deformation retracts to a sphere $S^2$ surrounding the missing eight with two sticks stuck in the two loops of the ...
34 views

### How do we prove that the fundamental group is a group?

My understanding of the fundamental group is that it's the set of all loops starting and ending at a point $x_0$ in a space $X$, along with the operation of composition. For it to be a group, ...
26 views

### lifting loops on surface with abelian fundamental group for decrease their self-intersection number

I found a proof of following statement (which is available here ), but I'm not sure if we must assume that fundamental group of surface $M$ is non-abelian: Lemma: Let $M$ be a compact orientable ...
33 views

### Classical presentation of fundamental group of surface with boundary

It is well known fact about fundamental group of orientable compact surface: Letting $g$ be the genus and $b$ the number of boundary components of surface $M$. There is a generating set ...
58 views

### Hatcher, p.35, $\mathbb{R^{n}} - \{x\}$ is homeomorphic to $S^{n-1} \times \mathbb{R}$

Could some help me understand how $\mathbb{R^{n}} - \{x\}$ is homeomorphic to $S^{n-1} \times \mathbb{R}$. Also, if the one point set is replaced by any finite set, how does the argument work. This ...
57 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 ...
30 views

### Does the Wirtinger presentation extend to compliments of graphs and links?

In a previous question I asked about a specific fundamental group problem, which was resolved via SVK but I was also interested in whether or not the Wirtinger presentation was valid in some way. In ...
102 views

### Fundamental group of complement of circle with a line passing through it.

Let $X= S^1 \cup y$-axis in the $xy$-plane. Compute the fundamental group of $\mathbb{R}^3 - X$ Edit: To clarify, $S^1 =\{(x,y)|x^2 + y^2 = 1\}$ is the unit circle in the $xy$-plane, so that the ...
58 views

### what is the fundamental group of a torus with $k$ points removed

I was about to use the Seifert-van Kampen to compute the fundamental group of a torus of genus 2. In the process, I need to know the fundamental group of a torus (of genus one) with a hole removed. is ...
40 views

### Is there fundamental group “with coefficients”

Constructing fundamental group in usual way, one uses $I=[0,1] \in \mathbb R$, so uses real numbers, and gets a group classifying coverings for nice spaces: locally connectible and so on, in fact ...
34 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 ...
81 views

### An algebraic topology proof of a result from analysis

A colleague of mine recently brought up the following result from real analysis: Theorem: If $f:\mathbb{R}^2\to\mathbb{R}^2$ is continuous and $|f(x)-f(y)|\geq |x-y|$ for all $x,y$, then $f$ is onto. ...
76 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 ...
37 views

### How to describe a homomorphism from a fundamental group to a finite group?

Let $S$ be a connected locally noetherian scheme with $s$ a geometric point of $S$. I read something like this: to give a surjective continuous homomorphism from $\pi_1(S, \bar{s})$ to a finite group ...
30 views

### Fixed point equivalence [duplicate]

Let $\Bbb D^n$ be n-dimensional ball and $S^{n-1}$ the $n-1$ dimensional sphere realized as boundary of $\Bbb D^n$. Prove that following are equivalent. There is no retraction $\Bbb D^n\to S^{n-1}$ ...
65 views

### For compact surface $M$ and loop $f$ there exists a surjection $\phi: H_1(M) \to \mathbb{Z}/8\mathbb{Z}$ such that $f \notin \ker(\phi)$

Why is this sentence true? For every not nullhomologous loop $f$ without selfintersections on orientable compact surface $M$ there exists a surjection $\phi: H_1(M) \to \mathbb{Z}/8\mathbb{Z}$ such ...
What's the easiest way to compute this thing's fundamental group? I've been playing with it for a little while, and I'm getting $\mathbb{Z}+\mathbb{Z}$. After making the ID's I think the 1-cells ...