Skip to main content

All Questions

Filter by
Sorted by
Tagged with
29 votes
4 answers
3k views

Geometric interpretation of the lower central series for the fundamental group?

For any group $G$ we can form the lower central series of normal subgroups by taking $G_0 = G$, $G_1 = [G,G]$, $G_{i+1} = [G,G_i]$. We can check this gives a normal chain $$G_0 \ge G_1 \ge ... \ge G_i ...
1 vote
1 answer
279 views

Ways to prove that $n$-component Brunnian link is nontrivial

The attached image shows a way to construct an $n$-component Brunnian link for any $n\geq 3$. That is, this link is not trivial, but deleting any of its components makes the new link trivial. The ...
1 vote
0 answers
60 views

Restricted wreath product as fundamental group of a space with coinciding Reidemeister and Nielsen numbers

I am studying a group $\mathbb{Z}_n \wr \mathbb{Z}^k$, where $\wr$ denotes the restricted wreath product: $$ \mathbb{Z}_n \wr \mathbb{Z}^k = \bigoplus_{x\in\mathbb{Z}^k}(\mathbb{Z_n})_x\rtimes\mathbb{...
18 votes
2 answers
1k views

Fundamental group of punctured simply connected subset of $\mathbb{R}^2$

(This question is originally from Math.SE where it was suggested that I ask the question here) Let $S$ be a simply connected subset of $\mathbb{R}^2$ and let $x$ be an interior point of $S$, meaning ...
6 votes
1 answer
237 views

Example similar to the Griffiths twin cone but with fundamental group that allows surjection onto $\mathbb Z$

The Griffiths twin cone is an example of a wedge sum of two contractible spaces being non-contractible. Namely, it is the wedge sum $\mathbb G=C\mathbb H\vee_p C\mathbb H$ of two coni over the ...
62 votes
9 answers
9k views

Fundamental groups of noncompact surfaces

I got fantastic answers to my previous question (about modern references for the fact that surfaces can be triangulated), so I thought I'd ask a related question. A basic fact about surface topology ...
28 votes
2 answers
6k views

What group is $\langle a,b \,| \, a^2=b^2 \rangle$?

In teaching my algebraic topology class, this group showed up as part of an easy fundamental group computation: $\langle a,b\mid a^2=b^2\rangle$. My first instinct was that this must be $\mathbb{Z}*\...
1 vote
1 answer
151 views

A formula for isotropy group $\pi_1(G_a)$

Let $G$ be a compact Lie group and $T$ be its maximal tours, and $a\in \mathfrak{g}^*$. and $G_a$ be the isotropy group of $G$ then $T\subset G_a$ and we know that $\pi_1(T)=\mathbb{Z}^n$. My ...
14 votes
2 answers
1k views

Are acyclic subcomplexes of finite contractible 2-complexes contractible?

Let $Y$ be a contractible finite simplicial 2-complex. Let $X$ be an acyclic subcomplex of $Y$ (i.e. $X$ connected, $H_1(X)=0$, $H_2(X)=0$). Is $X$ contractible? (Equivalently, is $\pi_1(X)$ trivial?)...
6 votes
3 answers
1k views

$\pi_1$ Sequence of Topological Groups

Consider a connected topological group $G$ (not necessarily Lie). You have some maps $G\times G\to G$, such as projection to either summand, or multiplication $(g,h)\mapsto gh$. Now let's look at a ...
5 votes
2 answers
756 views

explicit linear representations of fundamental groups of surfaces

I am looking for an explicit representation of the fundamental group of a closed orientable surface of genus >1. I guess they should be abundant in degree 2. Did anyone see the explicit matrix ...