Example 56.5.1. Let $R$ be a ring. Let $X$ and $Y$ be schemes over $R$ with $X$ quasi-compact and quasi-separated. Let $\mathcal{K}$ be a quasi-coherent $\mathcal{O}_{X \times _ R Y}$-module. Then we can consider the functor

The morphism $\text{pr}_2$ is quasi-compact and quasi-separated (Schemes, Lemmas 26.19.3 and 26.21.12). Hence pushforward along this morphism preserves quasi-coherent modules, see Schemes, Lemma 26.24.1. Moreover, our functor is $R$-linear and commutes with arbitrary direct sums, see Cohomology of Schemes, Lemma 30.6.1.

## Comments (0)