1
$\begingroup$

How do I compute the fundamental group of the connected sum $X \mathop{\#} X$, where $X$ denotes the real projective plane?

I'd like to use Van Kampen's theorem, but I have trouble visualizing what this space looks like. Could anyone provide hints?

$\endgroup$
  • 1
    $\begingroup$ The decomposition you want to use van Kampen on comes straight out of the definition. $\endgroup$ – user98602 Sep 1 '15 at 2:40
3
$\begingroup$

The real projective plane $\mathbb{RP}^2$ can be represented as the following identification bi-gon:

The fundamental polygon of the real projective plane

By taking two of these bigons, cutting each at a vertex, and gluing them together again, we obtain the identification polygon for $\mathbb{RP}^2 \# \mathbb{RP}^2$:*

The fundamental polygon of the connected sum of two real projective planes

Now, let $P$ be an interior point of the identification polygon. Then, we can apply the Seifert-van Kampen Theorem to $\mathbb{RP}^2 \# \mathbb{RP}^2 = \mathbb{RP}^2 \# \mathbb{RP}^2 \setminus \{P\} \cup D$, where $D$ is a small disk containing $P$. **

Can you take it from here?


* : Note that $\mathbb{RP}^2 \# \mathbb{RP}^2$ is in fact homeomorphic to the Klein bottle. This can be seen by cutting and regluing the identification polygon.

** : This is a standard trick for finding fundamental groups of compact surfaces. We first realize the surface as an identification polygon, and then apply the Seifert-van Kampen Theorem to the polygon with a point $P$.removed and a small disk around $P$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.