Lemma 70.14.5. Let S be a scheme. Let X be an algebraic space over S. Let T \subset |X| be a closed subset and let U \subset X be the open subspace such that T \amalg |U| = |X|. Let \mathcal{F} be a quasi-coherent \mathcal{O}_ X-module. Consider the sheaf of \mathcal{O}_ X-modules \mathcal{F}' which associates to every object \varphi : W \to X of X_{\acute{e}tale} the module
If U \to X is quasi-compact, then
for W affine there exist a finitely generated ideal I \subset \mathcal{O}_ X(W) such that |\varphi |^{-1}(T) = V(I),
for W and I as in (1) we have \mathcal{F}'(W) = \{ x \in \mathcal{F}(W) \mid I^ nx = 0 \text{ for some } n\} ,
\mathcal{F}' is a quasi-coherent sheaf of \mathcal{O}_ X-modules.
Comments (0)