1
$\begingroup$

I'm trying to solve following problem:

Let $X$ be a noetherian scheme, $U$ an open subspace of $X$, $\mathcal F \in Qcoh(X), \mathcal G\in Coh(U), \mathcal G \subset \mathcal F|_{U},$ then there is a sheaf $ \mathcal G'\in Coh(X), \mathcal G' \subset \mathcal F,$ such that $\mathcal G'|_{U}=\mathcal G.$

I proved that there is a subsheaf of $\mathcal F$ $-$ $\mathcal H\in Qcoh(X),$ such that $\mathcal H|_{U}=\mathcal G.$ I want to say further that any quasicoherent sheaf is direct limit("union") of its coherent subsheaves, so $\mathcal G$ is union of finite number of them since X is noetherian, and this union will be a coherent sheaf on X. But I can't prove it rigorously.(Namely what is union? and why can I choose finite number of this sheaves?)

$\endgroup$
1
$\begingroup$

Your argument is ok. Union means sum or equally colimit here. It is a fact that every quasi-coherent sheaf on a quasi-compact quasi-separated is the union of its quasi-coherent subsheaves of finite type. Noetherian schemes are quasi-compact and quasi-separated, and "finite type = coherent" here. You can find all this in EGA I (1970), Section 6.9.

$\endgroup$
  • $\begingroup$ Sorry, I cannot find Section 6.9 in EGA I as provided by Numdam. Could you please share your reference, if possibile? Thanks. $\endgroup$ – W. Rether Apr 17 at 7:28

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.