Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Let $X$ be a scheme and let $Y$ be a closed subscheme with ideal sheaf $I$. Let $F$ be a coherent sheaf on $X$. Is the sequence

$$ 0 \to I\otimes F \to F \to F \otimes O_Y \to 0 $$exact? This is obvious when $X$ is affine, but is it true for general schemes?

share|cite|improve this question
up vote 6 down vote accepted

Are you sure it's obvious when $X$ is affine? Try working out the example where $X=\mathbb{A}^1$, $Y=\{0\}$, and $F$ is $\mathcal{O}_Y$ (considered as a sheaf on $X$).

For a more obvious (to me) but less geometric counterexample, consider what happens to the exact sequence of $\mathbb{Z}$-modules $$ 0 \to 2\mathbb{Z} \to \mathbb{Z} \to \mathbb{Z}/2\mathbb{Z} \to 0 $$ when you take tensor products with $\mathbb{Z}/2\mathbb{Z}$.

The property you're interested in is flatness: an $R$-module $M$ is flat precisely when the operation of taking tensor products with $M$ preserves exactness. This turns out to be equivalent to your sequence being exact for all ideals $I$.

share|cite|improve this answer
@jacobi: Martin is right. The sequence in your comment is indeed exact, but is not what is obtained from your question if you take $F=\mathcal O_Y$. The second zero in the sequence of your comment should be replaced by $I/I^2$ , and the map emanating from there is zero. – Georges Elencwajg Apr 13 '11 at 19:34

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.