The Stacks project

Proof. We will show that if (1) and (2) hold, then $\mathcal{F}$ is sheaf. Let $\{ T_ i \to T\} $ be a covering in $(\mathit{Sch}/S)_ h$. We will verify the sheaf condition for this covering. Let $s_ i \in \mathcal{F}(T_ i)$ be sections which restrict to the same section over $T_ i \times _ T T_{i'}$. We will show that there exists a unique section $s \in \mathcal{F}(T)$ restricting to $s_ i$ over $T_ i$. Let $T = \bigcup U_ j$ be an affine open covering. By property (1) it suffices to produce sections $s_ j \in \mathcal{F}(U_ j)$ which agree on $U_ j \cap U_{j'}$ in order to produce $s$. Consider the coverings $\{ T_ i \times _ T U_ j \to U_ j\} $. Then $s_{ji} = s_ i|_{T_ i \times _ T U_ j}$ are sections agreeing over $(T_ i \times _ T U_ j) \times _{U_ j} (T_{i'} \times _ T U_ j)$. Choose a proper surjective morphism $V_ j \to U_ j$ of finite presentation and a finite affine open covering $V_ j = \bigcup V_{jk}$ such that $\{ V_{jk} \to U_ j\} $ refines $\{ T_ i \times _ T U_ j \to U_ j\} $. See Lemma 38.34.5. If $s_{jk} \in \mathcal{F}(V_{jk})$ denotes the pullback of $s_{ji}$ to $V_{jk}$ by the implied morphisms, then we find that $s_{jk}$ glue to a section $s'_ j \in \mathcal{F}(V_ j)$. Using the agreement on overlaps once more, we find that $s'_ j$ is in the equalizer of the two maps $\mathcal{F}(V_ j) \to \mathcal{F}(V_ j \times _{U_ j} V_ j)$. Hence by (2) we find that $s'_ j$ comes from a unique section $s_ j \in \mathcal{F}(U_ j)$. We omit the verification that these sections $s_ j$ have all the desired properties.

Proof of the equivalence of (2) and (2') in the presence of (1). Suppose $V \to U$ is a morphism of $(\mathit{Sch}/S)_ h$ which is proper, surjective, and of finite presentation. Choose an affine open covering $U = \bigcup U_ i$ and set $V_ i = V \times _ U U_ i$. Then we see that $\mathcal{F}(U) \to \mathcal{F}(V)$ is injective because we know $\mathcal{F}(U_ i) \to \mathcal{F}(V_ i)$ is injective by (2') and we know $\mathcal{F}(U) \to \prod \mathcal{F}(U_ i)$ is injective by (1). Finally, suppose that we are given an $t \in \mathcal{F}(V)$ in the equalizer of the two maps $\mathcal{F}(V) \to \mathcal{F}(V \times _ U V)$. Then $t|_{V_ i}$ is in the equalizer of the two maps $\mathcal{F}(V_ i) \to \mathcal{F}(V_ i \times _{U_ i} V_ i)$ for all $i$. Hence we obtain a unique section $s_ i \in \mathcal{F}(U_ i)$ mapping to $t|_{V_ i}$ for all $i$ by (2'). We omit the verification that $s_ i|_{U_ i \cap U_ j} = s_ j|_{U_ i \cap U_ j}$ for all $i, j$; this uses the uniqueness property just shown. By the sheaf property for the covering $U = \bigcup U_ i$ we obtain a section $s \in \mathcal{F}(U)$. We omit the proof that $s$ maps to $t$ in $\mathcal{F}(V)$. $\square$