Homotopy equivalence of the space obtained by removing a point from 3-torus

algebraic-topologyhomotopy-theorymanifolds

Consider the 3-torus $S^1\times S^1\times S^1$ represented by the following fundamental domain

enter image description here

Now remove one point from this space. Then to which well-known space will it be homotopic equivalent?

My guess is that it will be homotopic equivalent to $S^1 \vee S^2$ since the space obtained by removing one point from 2-torus $S^1\times S^1$ is homotopic equivalent to $S^1\vee S^1$ (source).

enter image description here

Best Answer

I don't think that there is a better description of the space than the one i gave in the comments. Let me give slightly more details.

There is a CW-structure for $S^1\times S^1\times S^1$ with a single $0$-cell, three $1$-cells, three $2$-cells, and a single $3$-cell. The picture of this is the one from the question. For more details, see this post. We then get that the $1$-skeleton is $S^1\vee S^1\vee S^1$. The $2$-cells are attached via the words $aba^{-1}b^{-1}$, $aca^{-1}c^{-1}$, and $bcb^{-1}c^{-1}$ where $a$, $b$, and $c$ denotes the three $1$-cells. The $2$-skeleton can also be seen as hollowing out the cube from the question. Note that removing a point from $S^1\times S^1\times S^1$ results in a space that deformation retracts to the $2$-skeleton. This is analogous to the case of the $2$-torus which you have drawn. Let us denote this space with $X$.

Now let me give another geometric description of $X$. Let us attach the $2$-cells one at a time. Attaching the $2$-cell corresponding to the word $aba^{-1}b^{-1}$ yields the space $S^1\vee (S^1\times S^1)$ as seen in the picture:

$S^1\vee (S^1\times S^1)

Then one glues another $2$-cell via the word $aca^{-1}c^{-1}$. This yields a wedge of two tori with two $1$-cells from their $1$-skeleta identified. Attaching the last $2$-cell yields a wedge of three tori such that each torus has the two $1$-cells identified with a $1$-cell from each of the other tori respectively. This yields another description of $X$. Let $(S^1\times S^1)_i$ for $i=1,2,3$ be three tori. Then the space can be described as the quotient $$ X=\frac{(S^1\times S^1)_1\vee (S^1\times S^1)_2 \vee (S^1\times S^1)_3}{(z,*)_1\sim (z,*)_2,\, (*,z)_1\sim(*,z)_3,\, (*,z)_2\sim(z,*)_3} $$ where $*$ denotes the basespoint of the circle. (For example pick $*=(1,0)\in S^1$).