MHB Can You Prove $\pi_2(\Bbb CP^\infty) \approx \Bbb Z$?

  • Thread starter Thread starter Euge
  • Start date Start date
Click For Summary
The discussion centers on the problem of proving that the second homotopy group of the infinite complex projective space, $\pi_2(\Bbb CP^\infty)$, is isomorphic to the integers, $\Bbb Z$. Despite the challenge, no participants provided answers to the problem. The original poster shared their own solution following the problem statement. The thread emphasizes the importance of engaging with the Problem of the Week format. Overall, the discussion highlights a mathematical inquiry into homotopy theory without community interaction.
Euge
Gold Member
MHB
POTW Director
Messages
2,072
Reaction score
245
Here is the last POTW for 2014!

______________________

Problem. Show that $\pi_2(\Bbb CP^\infty) \approx \Bbb Z$.

______________________

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. You can find my solution below.
There is a fiber bundle $S^1 \to S^\infty \to CP^\infty$, which induces a homotopy exact sequence

$$\pi_2(S^\infty) \to \pi_2(CP^\infty) \to \pi_1(S^1)\to \pi_1(S^\infty)$$

Since $\pi_2(S^\infty) = \pi_1(S^\infty) = 0$ and $\pi_1(S^1) \approx \Bbb Z$, the map $\pi_2(CP^\infty) \to \pi_1(S^1)$ gives an isomorphism $\pi_2(CP^\infty) \approx \Bbb Z$.