The Stacks project

Proof. Part (1) we saw in Proposition 35.8.9.

We have seen in Schemes, Section 26.24 that a colimit of quasi-coherent sheaves on a scheme is a quasi-coherent sheaf. Moreover, in Remark 35.8.6 we saw that $\mathcal{F} \mapsto \mathcal{F}^ a$ is the pullback functor for a morphism of ringed sites, hence commutes with all colimits, see Modules on Sites, Lemma 18.14.3. Thus (3) and its special case (2) hold.

This also shows that the functor is right exact (i.e., commutes with finite colimits), hence (4).

The functor $\mathit{QCoh}(\mathcal{O}_ S) \to \textit{Mod}(S_{\acute{e}tale}, \mathcal{O})$, $\mathcal{F} \mapsto \mathcal{F}^ a$ is left exact because an étale morphism is flat, see Morphisms, Lemma 29.36.12. This proves (5).

To see (6), suppose that $S = \mathop{\mathrm{Spec}}(\mathbf{Z})$. Then $2 : \mathcal{O}_ S \to \mathcal{O}_ S$ is injective but the associated map of $\mathcal{O}$-modules on $(\mathit{Sch}/S)_\tau $ isn't injective because $2 : \mathbf{F}_2 \to \mathbf{F}_2$ isn't injective and $\mathop{\mathrm{Spec}}(\mathbf{F}_2)$ is an object of $(\mathit{Sch}/S)_\tau $.

Part (7) holds because, as mentioned above, the functor $\mathcal{F} \mapsto \mathcal{F}^ a$ is the pullback functor for a morphism of ringed sites and such commute with tensor products by Modules on Sites, Lemma 18.26.2.

Part (8) is obvious if $\tau = Zariski$ because the category of $\mathcal{O}$-modules on $S_{Zar}$ is the same as the category of $\mathcal{O}_ S$-modules on the topological space $S$. If $\tau = {\acute{e}tale}$ then (8) holds because, as mentioned above, the functor $\mathcal{F} \mapsto \mathcal{F}^ a$ is the pullback functor for the flat morphism of ringed sites $(S_{\acute{e}tale}, \mathcal{O}) \to (S_{Zar}, \mathcal{O}_ S)$, see Lemma 35.10.1. Pullback by flat morphisms of ringed sites commutes with taking internal hom out of a finitely presented module by Modules on Sites, Lemma 18.31.4.

To see (9), suppose that $S = \mathop{\mathrm{Spec}}(\mathbf{Z})$. Let $\mathcal{F} = \mathop{\mathrm{Coker}}(2 : \mathcal{O}_ S \to \mathcal{O}_ S)$ and $\mathcal{G} = \mathcal{O}_ S$. Then $\mathcal{F}^ a = \mathop{\mathrm{Coker}}(2 : \mathcal{O} \to \mathcal{O})$ and $\mathcal{G}^ a = \mathcal{O}$. Hence $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}^ a, \mathcal{G}^ a) = \mathcal{O}[2]$ is equal to the $2$-torsion in $\mathcal{O}$, which is not zero, see proof of (6). On the other hand, the module $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ S}(\mathcal{F}, \mathcal{G})$ is zero.

Proof of (10). Let $0 \to \mathcal{F}_1^ a \to \mathcal{E} \to \mathcal{F}_2^ a \to 0$ be a short exact sequence of $\mathcal{O}$-modules with $\mathcal{F}_1$ and $\mathcal{F}_2$ quasi-coherent on $S$. Consider the restriction

to $S_{Zar}$. By Proposition 35.9.3 we see that on any affine $U \subset S$ we have $H^1(U, \mathcal{F}_1^ a) = H^1(U, \mathcal{F}_1) = 0$. Hence the sequence above is also exact on the right. By Schemes, Section 26.24 we conclude that $\mathcal{F} = \mathcal{E}|_{S_{Zar}}$ is quasi-coherent. Thus we obtain a commutative diagram

To finish the proof it suffices to show that the top row is also right exact. To do this, denote once more $U = \mathop{\mathrm{Spec}}(A) \subset S$ an affine open of $S$. We have seen above that $0 \to \mathcal{F}_1(U) \to \mathcal{E}(U) \to \mathcal{F}_2(U) \to 0$ is exact. For any affine scheme $V/U$, $V = \mathop{\mathrm{Spec}}(B)$ the map $\mathcal{F}_1^ a(V) \to \mathcal{E}(V)$ is injective. We have $\mathcal{F}_1^ a(V) = \mathcal{F}_1(U) \otimes _ A B$ by definition. The injection $\mathcal{F}_1^ a(V) \to \mathcal{E}(V)$ factors as

Considering $A$-algebras $B$ of the form $B = A \oplus M$ we see that $\mathcal{F}_1(U) \to \mathcal{E}(U)$ is universally injective (see Algebra, Definition 10.82.1). Since $\mathcal{E}(U) = \mathcal{F}(U)$ we conclude that $\mathcal{F}_1 \to \mathcal{F}$ remains injective after any base change, or equivalently that $\mathcal{F}_1^ a \to \mathcal{F}^ a$ is injective. $\square$