The Stacks project

Lemma 68.14.2. Let $S$ be a scheme. Let $X$ be a Noetherian algebraic space over $S$. Let $\mathcal{F}$ be a coherent sheaf on $X$. Assume that the scheme theoretic support of $\mathcal{F}$ is a reduced $Z \subset X$ with $|Z|$ irreducible. Then there exist an integer $r > 0$, a nonzero sheaf of ideals $\mathcal{I} \subset \mathcal{O}_ Z$, and an injective map of coherent sheaves

\[ i_*\left(\mathcal{I}^{\oplus r}\right) \to \mathcal{F} \]

whose cokernel is supported on a proper closed subspace of $Z$.

Proof. By assumption there exists a coherent $\mathcal{O}_ Z$-module $\mathcal{G}$ with support $Z$ and $\mathcal{F} \cong i_*\mathcal{G}$, see Lemma 68.12.7. Hence it suffices to prove the lemma for the case $Z = X$ and $i = \text{id}$.

By Properties of Spaces, Proposition 65.13.3 there exists a dense open subspace $U \subset X$ which is a scheme. Note that $U$ is a Noetherian integral scheme. After shrinking $U$ we may assume that $\mathcal{F}|_ U \cong \mathcal{O}_ U^{\oplus r}$ (for example by Cohomology of Schemes, Lemma 30.12.2 or by a direct algebra argument). Let $\mathcal{I} \subset \mathcal{O}_ X$ be a quasi-coherent sheaf of ideals whose associated closed subspace is the complement of $U$ in $X$ (see for example Properties of Spaces, Section 65.12). By Lemma 68.13.4 there exists an $n \geq 0$ and a morphism $\mathcal{I}^ n(\mathcal{O}_ X^{\oplus r}) \to \mathcal{F}$ which recovers our isomorphism over $U$. Since $\mathcal{I}^ n(\mathcal{O}_ X^{\oplus r}) = (\mathcal{I}^ n)^{\oplus r}$ we get a map as in the lemma. It is injective: namely, if $\sigma $ is a nonzero section of $\mathcal{I}^{\oplus r}$ over a scheme $W$ ├ętale over $X$, then because $X$ hence $W$ is reduced the support of $\sigma $ contains a nonempty open of $W$. But the kernel of $(\mathcal{I}^ n)^{\oplus r} \to \mathcal{F}$ is zero over a dense open, hence $\sigma $ cannot be a section of the kernel. $\square$

Comments (0)

Post a comment

Your email address will not be published. Required fields are marked.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 07UQ. Beware of the difference between the letter 'O' and the digit '0'.