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

Hello,

I have a question about certain immersions. If $X$ is a base scheme, and $E$ is a loccally free quasi coherent sheaf over X, then we can build $P(E)$ the projective bundle associated to E.

Now if $0\to L \to E \to F\to 0$ is an exact sequence of vector bundles, with L invertible. We get a closed immersion form $P(F)$ to $P(E)$. Supposedly this closed immersion is given by the zero scheme of the section $p^*L^{-1}\otimes O(1)$ induced by $L\to E$.

And i fail to produce a proof of this fact. Even geometrically, I'm so sure I get a clear picture of what's going on. I presume that $P(F)$ will be defined as the locus where $p^*L_x$ and $\gamma_x$ "coincide" (where $\gamma$ is the tautological bundle on $P(E)$).

share|improve this question
    
Could you define $p$? –  Martin Brandenburg Oct 10 '11 at 18:05
    
Of course, sorry, p is just the projection from P(E) to X. $O(1)$ is the universal quotient on P(E) –  Marceoll Oct 10 '11 at 18:12
add comment

1 Answer

up vote 1 down vote accepted

For the fact that $\mathbf P(F)\to\mathbf P(E)$ is a closed embedding, see EGA II, 4.1.2. By 4.2.9, an $X$-morphism $f\colon T\to\mathbf P(E)$ factors over $\mathbf P(F)$ iff $(pf)^*E\to f^*O(1)$ factors over $(pf)^*F$. This is equivalent to $(pf)^*L\to f^*O(1)$ being zero, and this again is equivalent to $f$ factoring over the zero locus of $p^*L\to O(1)$.

share|improve this answer
add comment

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.