MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

Assume that $X$ is a quasiprojective scheme with a fixed imbedding into a smooth scheme M given by an ideal sheaf $\mathcal{I}$. Assume further that there is a locally free sheaf $E_X$ on $X$ that is a restriction of a sheaf $E_M$ on $M$. The last piece of data is a surjective morphism $f:E_M\to \mathcal{I}/\mathcal{I}^2$.

Locally it is always possible to lift $f$ to a morphism from $E_M$ to $I$, which both are sheaves on $M$, not $X$ anymore. Does anybody happen to know whether this also possible globally?

Feel free to modify $M$ as much as you want. Actually I would be happy if i could find one specific $M$ such that the locally free sheaf on $X$ is a restriction and the morphism to the conormal sheaf lifts. The only thing that is fixed is $X$. What is also important to me is that I can not assume $X$ to be a locally complete intersection, it can be arbitrarily bad. So $\mathcal{I}/\mathcal{I}^2$ will in general only be a cone, not a bundle.

share|cite|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.