[Math] $\mathbb{C}P^1$ diffeomorphic to $S^2$

Question

I am trying to show that the complex projective line is diffeomorphic to the 2-sphere. I'm using the $C^{\infty}$ structure on $\mathbb{C}P^1$ given by $U_1 = \{ [z_1 : 1], z_1 \in \mathbb{C} \}$, $\phi_1 : z_1 \mapsto (\operatorname{Re}(z_1), \operatorname{Im}(z_1)) \in \mathbb{R}^2$ and $U_1 = \{ [1 : z_2], z_2 \in \mathbb{C} \}$, $\phi_2 : z_2 \mapsto (\operatorname{Re}(z_2), \operatorname{Im}(z_2)) \in \mathbb{R}^2$ and stereographic projections on $S^2$. I've defined two maps from $S^2$ to $\mathbb{C}P^1$ by $$ f_+ (x_0, x_1, x_2) = [1+x_0 : x_1 + ix_2] $$ on $\{x_0 \neq -1\}$ and $$ f_- (x_0, x_1, x_2) = [x_1 – ix_2 : 1-x_0] $$ on $\{x_0 \neq 1\}$. I've shown these are equal on the intersection of their domains. I seem to have shown smoothness too; the plan is to use the inverse function theorem to show the inverse is smooth, but when trying to compute the Jacobian I get into a great big mess and can't show that the determinant is non zero. Am I even going in the right direction?

Answer 1

Consider a point $(z:w)$ with $w\neq 0$. Then send this point to $z/w\in\Bbb C$. Use now the stereographic projection $\Bbb C\to S^2-N$, and finally send the point $(1:0)$ to the north pole of $S^2$. You need to check that this is a diffeomorphism $\Bbb CP^1\to \Bbb C^\ast\to S^2$

The inverse of the first map sends a point $h\in \Bbb C$ to $\left(\frac{h}{\sqrt{1+|h|^2}},\frac{1}{\sqrt{1+|h|^2}}\right)$ and infinity to $(1,0)$, so you can obtain the inverse $S^2\to\Bbb CP^1$ explicitly.