6
$\begingroup$

According to this MO post, there is two possible $S^2$ fibration over $S^2$. One is obviously $S^2\times S^2$, another one is the connected sum of two copies of $\mathbf {CP}^2$ with different orientations. Can someone explicitly describe the $S^2$ fibration over $S^2$ that gives $\mathbf{CP}^2\#\overline{\mathbf{CP}}^2$?

$\endgroup$
2
  • $\begingroup$ What qualifies as a "description"? The other $S^2$-bundle over $S^2$ is the one whose monodromy is the non-trivial element of $\pi_1 SO_3 \simeq \mathbb Z_2$. $\endgroup$ Oct 10, 2017 at 21:39
  • 3
    $\begingroup$ I don't see how this description shows the total space is homeomorphic to $\mathbb{C}\mathbb{P}^{2} \# \bar{\mathbb{C}\mathbb{P}}^{2}$. $\endgroup$
    – Nick L
    Oct 11, 2017 at 9:16

2 Answers 2

8
$\begingroup$

$\mathbb{C}\mathbb{P}^{2} \# \bar{\mathbb{C}\mathbb{P}}^{2}$ is the blow-up of $\mathbb{C}\mathbb{P}^{2}$ at a point. Let $A$ be an affine chart of $ \mathbb{C}\mathbb{P}^{2}$ and $L_{\infty} = \mathbb{C}\mathbb{P}^{2} \setminus A$ be the line at infinity.

Let $p$ be the origin in $A$. Consider the set of all (projective) lines through $p \in \mathbb{C}\mathbb{P}^{2}$, then they cover $\mathbb{C}\mathbb{P}^{2}$ and only intersect pair-wise at $p$. Blowing up $p$ "seperates" all of these lines and creates a $\mathbb{C}\mathbb{P}^{1}$-bundle structure; the fibres being strict transforms of lines through $p$. The base can also be identified with $\mathbb{C}\mathbb{P}^{1}$ since each of the lines containing $p$ intersects the line $L_{\infty}$ at a unique point.

$\endgroup$
5
$\begingroup$

Cheeger described in "Some examples of manifolds with nonnegative curvature" the connected sum $\mathbb C\mathbb P^n\#\overline{\mathbb C\mathbb P^n}$ as a biquotient: Take $(S^{2n-1}\times S^2)/S^1$, where $S^1$ is acting freely on $S^{2n-1}$ and by rotations on $S^2$. This is the associated bundle to the principal fibration $S^1\to S^{2n-1}\to\mathbb C\mathbb P^n$ with fiber $S^2$. See Example 3 in Cheeger's article, why the above quotient is $\mathbb C\mathbb P^n\#\overline{\mathbb C\mathbb P^n}$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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