[Math] Classification of fundamental groups of non-orientable surfaces

algebraic-topologyclassifying-spacesfundamental-groupssurfaces

I want to compute the presentation of the fundamental group of the non orientable surfaces $N_h$, thus $\pi_1(N_h)$.

I notated with $N_h$ the sphere with $h$ crosscaps. Herefore I first have to compute the fundamental group of the dunce hat in topological sense.

But how to do this on a good mathematical way ? I know that we can use van Kampen Theorem. Then I want to compute the fundamental group of the projective plane and then try to generalize this to $N_h$ for arbitrary $h\in\Bbb{N}$.

Can someone explain how to use van Kampen Theorem (I know what the meaning is but I thought of applying) and how to solve this exercise ?!

Thank you.

Best Answer

I just consider the case $h=3$, but the argument is completely general.

From the classification of closed surfaces, we know that $N_3$ is the connected sum of three projective spaces, so that $N_3$ be the quotient of an hexagon $P$ by identifying its sides as indicated by the following figure:

enter image description here

Now let $U, V \subset N_3$ be subspaces illustrated by the figure below:

enter image description here

Applying van Kampen theorem, we deduce that $\pi_1(N_3)$ is the quotient of the free product $\pi_1(U) \ast \pi_1(V)$ identifying the images of $\pi_1(U \cap V)$ into $\pi_1(U)$ and $\pi_1(V)$. In fact, $\pi_1(V)$ is clearly trivial so that $\pi_1(N_3)$ turns out to be the quotient of $\pi_1(U)$ by its subgroup corresponding to $\pi_1(U \cap V)$.

Now, there is naturally a deformation retract $\phi$ from $U$ to the quotient of $\partial P$: it is just a graph $\Gamma$, more precisely a bouquet of three circles labelled by $a_1$, $a_2$ and $a_3$. Therefore, $\pi_1(U)$ is just the free group $\langle a_1,a_2,a_3 \mid \ \rangle$.

Then, there is a deformation retract from $U \cap V$ to the circle $\partial V$. Therefore, $\pi_1(U \cap V)$ is infinite cyclic and its image into $\pi_1(U)$ is the homotopy class of the circle $\phi(\partial V)$ in the quotient $\Gamma$ of $\partial P$. Such a loop in $\Gamma$ is labelled by $a_1^2a_2^2a_3^2$.

Finally, we conclude that $$\pi_1(N_3)= \langle a_1,a_2,a_3 \mid a_1^2a_2^2a_3^2 \rangle.$$