The Stacks project

Proof. Let $T = \mathop{\mathrm{lim}}\nolimits _{i \in I} T_ i$ be a directed limit of affine $B$-schemes. We have to show that

Pick $0 \in I$. We may replace $B$ by $T_0$, $X$ by $X_{T_0}$, $\mathcal{F}$ by $\mathcal{F}_{T_0}$, $\mathcal{G}$ by $\mathcal{G}_{T_0}$, and $I$ by $\{ i \in I \mid i \geq 0\} $. See Remark 99.3.4. Thus we may assume $B = \mathop{\mathrm{Spec}}(R)$ is affine.

When $B$ is affine, then $X$ is quasi-compact and quasi-separated. Choose a surjective étale morphism $U \to X$ where $U$ is an affine scheme (Properties of Spaces, Lemma 66.6.3). Since $X$ is quasi-separated, the scheme $U \times _ X U$ is quasi-compact and we may choose a surjective étale morphism $V \to U \times _ X U$ where $V$ is an affine scheme. Applying Lemma 99.3.5 we see that $\mathit{Hom}(\mathcal{F}, \mathcal{G})$ is the equalizer of two maps between

This reduces us to the case that $X$ is affine.

In the affine case the statement of the lemma reduces to the following problem: Given a ring map $R \to A$, two $A$-modules $M$, $N$ and a directed system of $R$-algebras $C = \mathop{\mathrm{colim}}\nolimits C_ i$. When is it true that the map

is bijective? By Algebra, Lemma 10.127.5 this holds if $M \otimes _ R C$ is of finite presentation over $A \otimes _ R C$, i.e., when $M$ is of finite presentation over $A$. $\square$