Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I encounter a problem when I read compact complex surfaces.Let $X$ be a projective surface,$E$ is a vector bundle of rank 2 over $X$, $S \subset \mathbb{P}(E)$ is an irreducible subvariety such that $\pi |_S :S\rightarrow X$ is birational. It say that $\mathcal{O}_{\mathbb{P}(E)}(1) \otimes \mathcal{O}_{\mathbb{P}(E)}(-S)$ is trivial on all fibres of $\mathbb{P}(E)$, why?

share|improve this question

1 Answer 1

up vote 3 down vote accepted

Since $\pi|_S$ is birational, it follows that $S$ is a section of $\pi$. Hence we can write $$\mathcal{O}_{\mathbb{P}(E)}(S) \cong \mathcal{O}_{\mathbb{P}(E)}(1) \otimes \pi^* \mathcal{L},$$ where $\mathcal{L}$ is a line bundle on $X$. This implies $$\mathcal{O}_{\mathbb{P}(E)}(1) \otimes \mathcal{O}_{\mathbb{P}(E)}(-S) \cong \pi^* \mathcal{L}^{-1}.$$ Since $\pi^*{\mathcal{L}}^{-1}$ comes from the base $X$ of the projective bundle $\mathbb{P}(E) \to X$, it is trivial when restricted to any fibre.

share|improve this answer
    
Thank you very much, can you tell me where to find: $\mathcal{O}_{\mathbb{P}(E)}(S) = \mathcal{O}_{\mathbb{P}(E)}(1) \bigotimes \pi ^*\mathcal{L} $ –  SWalker Sep 24 '13 at 14:12
    
This is rather standard stuff on projective bundles. One has $$\textrm{Pic}\, \mathbb{P}(E)= \pi^*\textrm{Pic}\, X \times \mathbb{Z},$$ where the $\mathbb{Z}$ is generated by $\mathcal{O}_{\mathbb{P}(E)}(1)$. Have a look at Hartshorne's Algebraic Geometry, Chapter II, Section 7. –  Francesco Polizzi Sep 24 '13 at 14:18

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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