Lemma 69.14.6. Let $S$ be a scheme. Let $X$ be a Noetherian algebraic space over $S$. Let $\mathcal{P}$ be a property of coherent sheaves on $X$. Assume

For any short exact sequence of coherent sheaves on $X$ if two out of three have property $\mathcal{P}$ so does the third.

If $\mathcal{P}$ holds for $\mathcal{F}^{\oplus r}$ for some $r \geq 1$, then it holds for $\mathcal{F}$.

For every reduced closed subspace $i : Z \to X$ with $|Z|$ irreducible there exists a coherent sheaf $\mathcal{G}$ on $X$ whose scheme theoretic support is $Z$ such that $\mathcal{P}$ holds for $\mathcal{G}$.

Then property $\mathcal{P}$ holds for every coherent sheaf on $X$.

**Proof.**
We will show that conditions (1) and (2) of Lemma 69.14.4 hold. This is clear for condition (1). To show that (2) holds, let

\[ \mathcal{T} = \left\{ \begin{matrix} i : Z \to X \text{ reduced closed subspace with }|Z|\text{ irreducible such}
\\ \text{ that }i_*\mathcal{I}\text{ does not have }\mathcal{P} \text{ for some quasi-coherent }\mathcal{I} \subset \mathcal{O}_ Z
\end{matrix} \right\} \]

If $\mathcal{T}$ is nonempty, then since $X$ is Noetherian, we can find an $i : Z \to X$ which is minimal in $\mathcal{T}$. We will show that this leads to a contradiction.

Let $\mathcal{G}$ be the sheaf whose scheme theoretic support is $Z$ whose existence is assumed in assumption (3). Let $\varphi : i_*\mathcal{I}^{\oplus r} \to \mathcal{G}$ be as in Lemma 69.14.2. Let

\[ 0 = \mathcal{F}_0 \subset \mathcal{F}_1 \subset \ldots \subset \mathcal{F}_ m = \mathop{\mathrm{Coker}}(\varphi ) \]

be a filtration as in Lemma 69.14.3. By minimality of $Z$ and assumption (1) we see that $\mathop{\mathrm{Coker}}(\varphi )$ has property $\mathcal{P}$. As $\varphi $ is injective we conclude using assumption (1) once more that $i_*\mathcal{I}^{\oplus r}$ has property $\mathcal{P}$. Using assumption (2) we conclude that $i_*\mathcal{I}$ has property $\mathcal{P}$.

Finally, if $\mathcal{J} \subset \mathcal{O}_ Z$ is a second quasi-coherent sheaf of ideals, set $\mathcal{K} = \mathcal{I} \cap \mathcal{J}$ and consider the short exact sequences

\[ 0 \to \mathcal{K} \to \mathcal{I} \to \mathcal{I}/\mathcal{K} \to 0 \quad \text{and} \quad 0 \to \mathcal{K} \to \mathcal{J} \to \mathcal{J}/\mathcal{K} \to 0 \]

Arguing as above, using the minimality of $Z$, we see that $i_*\mathcal{I}/\mathcal{K}$ and $i_*\mathcal{J}/\mathcal{K}$ satisfy $\mathcal{P}$. Hence by assumption (1) we conclude that $i_*\mathcal{K}$ and then $i_*\mathcal{J}$ satisfy $\mathcal{P}$. In other words, $Z$ is not an element of $\mathcal{T}$ which is the desired contradiction.
$\square$

## Comments (0)