Skip to main content
2 of 3
added 584 characters in body; added 16 characters in body
Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283

Let $\pi \colon X \to \mathbb{P}^3$ be the first blow-up.

The normal bundle of $L_2$ in $\mathbb{P^3}$ is $$N_{L_2 / P^3}=\mathcal{O}_{P^1}(1) \oplus \mathcal{O}_{P^1}(1);$$ in fact $L_2$ moves into a family of dimension $4=h^0(N_{L_2/ P^3})$, namely the projective Grassmannian $\mathbb{G}(1,3)$.

The strict transform $L_2'$ of $L_2$, instead, moves into a family of smaller dimension, namely the strict transform of the family $\mathfrak{X}$ of lines intersecting $L_1$. Since $\mathfrak{X}$ is a divisor in $\mathbb{G}(1,3)$, we have $h^0(N_{L_2'/ X})=3$. Therefore one deduces that $$N_{L_2' / X}=\mathcal{O}_{P^1}(1) \oplus \mathcal{O}_{P^1}.$$

It follows that the exceptional divisor of the blow-up of $X$ along $L_2'$ is the projective bundle $$\mathbb{P}(\mathcal{O}_{P^1}(1) \oplus \mathcal{O}_{P^1}),$$ which is in turn isomorphic to the Hirzebruch surface $\mathbb{F}_1$.

Francesco Polizzi
  • 66.3k
  • 5
  • 180
  • 283