# O_X module with support Z \subset X vs O_S module?

Given a $O_X$ module $\cal F$ whose support is a closed subscheme $Z \subset X$. Under what conditions can we say that $\cal F$ is an $O_S$ module ( how far off is $\cal F$ an $O_S$ module ? )

-
When you say "S", do you mean "Z"? –  S. Carnahan Mar 11 '10 at 18:25

It has to be annihilated by the sheaf of ideals of $Z$. If you are working with a noetherian scheme and a coherent sheaf at least, we can at least filter $\mathcal{F}$ by subsheaves $\mathcal{I}^i \mathcal{F}$ (where $\mathcal{I}$ is the sheaf of ideals of $Z$) whose successive quotients are $O_S$-modules. Here $\mathcal{I}^i \mathcal{F} = 0$ for $i$ large by the assumption on support in $Y$. Indeed, $Y$ can be defined as $V(\mathcal{a})$ for some ideal $\mathcal{a}$. Then $M_{\mathfrak{p}} = 0$ if $\mathfrak{p} \not \supset \mathcal{a}$. Therefore, every associated prime must contain $\mathcal{a}$, so there is a filtration $0=M_0 \subset M_1 \subset \dots \subset M_k = M$ whose quotients are isomorphic to the form $A/\mathfrak{p}$ where $\mathfrak{p} \supset \mathcal{a}$ is a prime, which means $M$ is annihilated by $\mathcal{a}^k$.