Lemma 76.19.9. Let $T$ be an affine scheme. Let $\mathcal{F}$, $\mathcal{G}$ be quasi-coherent $\mathcal{O}_ T$-modules on $T_{\acute{e}tale}$. Consider the internal hom sheaf $\mathcal{H} = \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ T}(\mathcal{F}, \mathcal{G})$ on $T_{\acute{e}tale}$. If $\mathcal{F}$ is locally projective, then $H^1(T_{\acute{e}tale}, \mathcal{H}) = 0$.
Proof. By the definition of a locally projective sheaf on an algebraic space (see Properties of Spaces, Definition 66.31.2) we see that $\mathcal{F}_{Zar} = \mathcal{F}|_{T_{Zar}}$ is a locally projective sheaf on the scheme $T$. Thus $\mathcal{F}_{Zar}$ is a direct summand of a free $\mathcal{O}_{T_{Zar}}$-module. Whereupon we conclude (as $\mathcal{F} = (\mathcal{F}_{Zar})^ a$, see Descent, Proposition 35.8.9) that $\mathcal{F}$ is a direct summand of a free $\mathcal{O}_ T$-module on $T_{\acute{e}tale}$. Hence we may assume that $\mathcal{F} = \bigoplus _{i \in I} \mathcal{O}_ T$ is a free module. In this case $\mathcal{H} = \prod _{i \in I} \mathcal{G}$ is a product of quasi-coherent modules. By Cohomology on Sites, Lemma 21.12.5 we conclude that $H^1 = 0$ because the cohomology of a quasi-coherent sheaf on an affine scheme is zero, see Descent, Proposition 35.9.3 and Cohomology of Schemes, Lemma 30.2.2. $\square$
Comments (0)