Lemma 37.11.9. Let $T$ be an affine scheme. Let $\mathcal{F}$, $\mathcal{G}$ be quasi-coherent $\mathcal{O}_ T$-modules. Consider $\mathcal{H} = \mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ T}(\mathcal{F}, \mathcal{G})$. If $\mathcal{F}$ is locally projective, then $H^1(T, \mathcal{H}) = 0$.

Proof. By the definition of a locally projective sheaf on a scheme (see Properties, Definition 28.21.1) we see that $\mathcal{F}$ is a direct summand of a free $\mathcal{O}_ T$-module. 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, Lemma 20.11.12 we conclude that $H^1 = 0$ because the cohomology of a quasi-coherent sheaf on an affine scheme is zero, see Cohomology of Schemes, Lemma 30.2.2. $\square$

There are also:

• 6 comment(s) on Section 37.11: Formally smooth morphisms

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).