Lemma 27.18.2. Let $A$ be a ring and let $U \subset \mathop{\mathrm{Spec}}(A)$ be a quasi-compact open subscheme. For $\mathcal{F}$ quasi-coherent on $U$ the canonical map

$\widetilde{H^0(U, \mathcal{F})}|_ U \to \mathcal{F}$

is an isomorphism.

Proof. Denote $j : U \to \mathop{\mathrm{Spec}}(A)$ the inclusion morphism. Then $H^0(U, \mathcal{F}) = H^0(\mathop{\mathrm{Spec}}(A), j_*\mathcal{F})$ and $j_*\mathcal{F}$ is quasi-coherent by Schemes, Lemma 25.24.1. Hence $j_*\mathcal{F} = \widetilde{H^0(U, \mathcal{F})}$ by Schemes, Lemma 25.7.5. Restricting back to $U$ we get the lemma. $\square$

There are also:

• 2 comment(s) on Section 27.18: Quasi-affine schemes

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).