MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top


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|cite|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
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|cite|improve this answer

Your Answer


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.