MHB What is the solution to POTW #210?

  • Thread starter Thread starter Euge
  • Start date Start date
  • Tags Tags
    2016
Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is this week's POTW:

-----
Evaluate the abelianization of the fundamental group of the $n$-fold connected sum $\underbrace{\Bbb RP^2\, \# \cdots \#\, \Bbb RP^2}_{n}$.
-----

Remember to read the http://www.mathhelpboards.com/showthread.php?772-Problem-of-the-Week-%28POTW%29-Procedure-and-Guidelines to find out how to http://www.mathhelpboards.com/forms.php?do=form&fid=2!
 
Physics news on Phys.org
No one answered this week's problem. This time I'll give someone else's solution -- John Lee's in his book Introduction to Topological Manifolds, on page 267.
Write the fundamental group as $H \cong \langle \beta_1,\ldots, \beta_n\, |\, \beta_1^2\cdots \beta_n^2\rangle$. Let $f$ denote the nontrivial element of $\Bbb Z/2$, and define $\varphi : \operatorname{Ab}(H) \to \Bbb Z^{n-1} \times \Bbb Z/2$ by

$$\varphi(\beta_i) = \begin{cases} e_i, & 1 \le i \le n-1;\\f - e_{n-1} - \cdots - e_1, & i = n\end{cases}$$ By direct computation $\varphi(\beta_1^2\cdots \beta_n^2) = (0,\ldots, 0)$ (noting that $f + f = 0$), so $\varphi$ gives a well-defined map from $H$ that descends to $\operatorname{Ab}(H)$. The homomorphism $\psi : \Bbb Z^{n-1} \times \Bbb Z/2 \to \operatorname{Ab}(H)$ defined by $\psi(e_i) = [\beta_i], \psi(f) = [\beta_1\cdots \beta_n]$ is the inverse for $\varphi$.
 
Back
Top