The Stacks project

Proof. Let $\mathop{\mathrm{Spec}}(A) = W \subset X$ be an affine open. Write $\mathcal{F}|_ W = \widetilde{M}$ for some $A$-module $M$ and $\mathcal{I}|_ W = \widetilde{I}$ for some finite type ideal $I \subset A$. Restricting the first displayed map of the lemma to $W$ we obtain the first displayed map of Lemma 28.25.1. Since we can cover $X$ by a finite number of affine opens this proves the first displayed map of the lemma is injective.

We have $\mathcal{F}_ n|_ W = \widetilde{M_ n}$ where $M_ n \subset M$ is defined as in Lemma 28.25.1 (details omitted). The lemma guarantees that we have a bijection

for any such affine open $W$.

To see the second displayed arrow of the lemma is bijective, we choose a finite affine open covering $X = \bigcup _{j = 1, \ldots , m} W_ j$. The injectivity follows immediately from the above and the finiteness of the covering. If $X$ is quasi-separated, then for each pair $j, j'$ we choose a finite affine open covering

Let $s \in \Gamma (U, \mathcal{F})$. As seen above for each $j$ there exists an $n_ j$ and a map $\varphi _ j : \mathcal{I}^{n_ j}|_{W_ j} \to (\mathcal{F}/\mathcal{F}_{n_ j})|_{W_ j}$ which corresponds to $s|_{U \cap W_ j}$. By the same token for each triple $(j, j', k)$ there exists an integer $n_{jj'k}$ such that the restriction of $\varphi _ j$ and $\varphi _{j'}$ as maps $\mathcal{I}^{n_{jj'k}} \to \mathcal{F}/\mathcal{F}_{n_{jj'k}}$ agree over $W_{jj'k}$. Let $n = \max \{ n_ j, n_{jj'k}\}$ and we see that the $\varphi _ j$ glue as maps $\mathcal{I}^ n \to \mathcal{F}/\mathcal{F}_ n$ over $X$. This proves surjectivity of the map. $\square$