The Stacks project

Proof. Let $\tau = fppf$, resp. $\tau = {\acute{e}tale}$. The lemma follows from Cohomology on Sites, Lemma 21.16.2 applied to the site $\mathcal{X}_\tau $. In order to check the assumptions we use Cohomology on Sites, Remark 21.16.3. Namely, let $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits (\mathcal{X}_\tau )$ be the set of objects lying over affine schemes. In other words, an element of $\mathcal{B}$ is a morphism $x : U \to \mathcal{X}$ with $U$ affine. We check each of the conditions (1) – (4) of the remark in turn:

1. Since $\mathcal{X}$ is quasi-compact, there exists a surjetive and smooth morphism $x : U \to \mathcal{X}$ with $U$ affine (Properties of Stacks, Lemma 100.6.2). Then $h_ x^\# \to *$ is a surjective map of sheaves on $\mathcal{X}_\tau $.

2. Since coverings in $\mathcal{X}_\tau $ are fppf, resp. étale coverings, we see that every covering of $U \in \mathcal{B}$ is refined by a finite affine fppf covering, see Topologies, Lemma 34.7.4, resp. Lemma 34.4.4.

3. Let $x : U \to \mathcal{X}$ and $x' : U' \to \mathcal{X}$ be in $\mathcal{B}$. The product $h_ x^\# \times h_{x'}^\# $ in $\mathop{\mathit{Sh}}\nolimits (\mathcal{X}_\tau )$ is equal to the sheaf on $\mathcal{X}_\tau $ determined by the algebraic space $W = U \times _{x, \mathcal{X}, x'} U'$ over $\mathcal{X}$: for an object $y : V \to \mathcal{X}$ of $\mathcal{X}_\tau $ we have $(h_ x^\# \times h_{x'}^\# )(y) = \{ f : V \to W \mid y = x \circ \text{pr}_1 \circ f = x' \circ \text{pr}_2 \circ f\} $. The algebraic space $W$ is quasi-compact because $\mathcal{X}$ is quasi-separated, see Morphisms of Stacks, Lemma 101.7.8 for example. Hence we can choose an affine scheme $U''$ and a surjective étale morphism $U'' \to W$. Denote $x'' : U'' \to \mathcal{X}$ the composition of $U'' \to W$ and $W \to \mathcal{X}$. Then $h_{x''}^\# \to h_ x^\# \times h_{x'}^\# $ is surjective as desired.

4. Let $x : U \to \mathcal{X}$ and $x' : U' \to \mathcal{X}$ be in $\mathcal{B}$. Let $a, b : U \to U'$ be a morphism over $\mathcal{X}$, i.e., $a, b : x \to x'$ is a morphism in $\mathcal{X}_\tau $. Then the equalizer of $h_ a$ and $h_ b$ is represented by the equalizer of $a, b : U \to U'$ which is affine scheme over $\mathcal{X}$ and hence in $\mathcal{B}$.

This finished the proof. $\square$

Proof. We will prove this for the fppf topology; the proof for the étale topology is the same. Recall that $R^ if_*\mathcal{F}$ is the sheaf on $\mathcal{Y}_{fppf}$ associated to the presheaf

See Sheaves on Stacks, Lemma 96.21.2. Recall that the colimit is the sheaf associated to the presheaf colimit. When $V$ is affine, the fibre product $V \times _\mathcal {Y} \mathcal{X}$ is quasi-compact and quasi-separated. Hence we can apply Lemma 103.13.1 to $H^ p(V \times _\mathcal {Y} \mathcal{X}, -)$ where $V$ is affine. Since every $V$ has an fppf covering by affine objects this proves the lemma. Some details omitted. $\square$

Proof. The functors $f_*$ and $R^ if_*$ commute with direct sums and filtered colimits on all modules by Lemma 103.13.2. The lemma follows as $f_{\mathit{QCoh}, *} = Q \circ f_*$ and $R^ if_{\mathit{QCoh}, *} = Q \circ R^ if_*$ and $Q$ commutes with all colimits, see Lemma 103.10.2. $\square$

Proof. Since we have $R^ if_{\mathit{QCoh}, *} = Q \circ R^ if_*$ we obtain the vanishing from Lemma 103.8.4. The vanishing implies that $f_{\mathit{QCoh}, *}$ is exact as $\{ R^ if_{\mathit{QCoh}, *}\} _{i \geq 0}$ form a $\delta $-functor, see Proposition 103.11.1. Then $f_{\mathit{QCoh}, *}$ commutes with direct sums for example by Lemma 103.13.3. An exact functor which commutes with direct sums commutes with all colimits. $\square$

Proof. The displayed equality is a special case of Modules on Sites, Lemma 18.27.12. In order to apply it, we need to check the hypotheses of Sites, Lemma 7.17.8 part (4) for the site $\mathcal{X}_{fppf}$. In order to do this, we will check hypotheses (2)(a), (2)(b), (2)(c) of Sites, Remark 7.17.9. Namely, let $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits (\mathcal{X}_{fppf})$ be the set of objects lying over affine schemes. In other words, an element of $\mathcal{B}$ is a morphism $x : U \to \mathcal{X}$ with $U$ affine. We check each of the conditions (2)(a), (2)(b), and (2)(c) of the remark in turn:

1. Since $\mathcal{X}$ is quasi-compact, there exists a surjetive and smooth morphism $x : U \to \mathcal{X}$ with $U$ affine (Properties of Stacks, Lemma 100.6.2). Then $h_ x^\# \to *$ is a surjective map of sheaves on $\mathcal{X}_{fppf}$.

2. Since coverings in $\mathcal{X}_{fppf}$ are fppf coverings, we see that every covering of $U \in \mathcal{B}$ is refined by a finite affine fppf covering, see Topologies, Lemma 34.7.4.

3. Let $x : U \to \mathcal{X}$ and $x' : U' \to \mathcal{X}$ be in $\mathcal{B}$. The product $h_ x^\# \times h_{x'}^\# $ in $\mathop{\mathit{Sh}}\nolimits (\mathcal{X}_{fppf})$ is equal to the sheaf on $\mathcal{X}_{fppf}$ determined by the algebraic space $W = U \times _{x, \mathcal{X}, x'} U'$ over $\mathcal{X}$: for an object $y : V \to \mathcal{X}$ of $\mathcal{X}_{fppf}$ we have $(h_ x^\# \times h_{x'}^\# )(y) = \{ f : V \to W \mid y = x \circ \text{pr}_1 \circ f = x' \circ \text{pr}_2 \circ f\} $. The algebraic space $W$ is quasi-compact because $\mathcal{X}$ is quasi-separated, see Morphisms of Stacks, Lemma 101.7.8 for example. Hence we can choose an affine scheme $U''$ and a surjective étale morphism $U'' \to W$. Denote $x'' : U'' \to \mathcal{X}$ the composition of $U'' \to W$ and $W \to \mathcal{X}$. Then $h_{x''}^\# \to h_ x^\# \times h_{x'}^\# $ is surjective as desired.

For the final statement, observe that the inclusion functor $\mathit{QCoh}(\mathcal{O}_ X) \to \textit{Mod}(\mathcal{O}_ X)$ commutes with colimits and that finitely presented modules are quasi-coherent. See Sheaves on Stacks, Lemma 96.15.1. $\square$