Lemma 56.5.6. In Lemma 56.5.2 or in Lemma 56.5.5 if $F$ is an exact functor, then the corresponding object $\mathcal{K}$ of $\mathit{QCoh}(\mathcal{O}_{X \times _ R Y})$ is flat over $X$.
Proof. We may assume $X$ is affine, so we are in the case of Lemma 56.5.2. By Lemma 56.5.4 we may assume $Y$ is affine. In the affine case the statement translates into Remark 56.3.5. $\square$
Comments (0)