Lemma 71.4.6. Let S be a scheme. Let f : X \to Y be a morphism of algebraic spaces over S. Let \mathcal{F} be a quasi-coherent \mathcal{O}_ X-module. Let \mathcal{G} be a quasi-coherent \mathcal{O}_ Y-module. Assume
\mathcal{F} is flat over Y,
X and Y are locally Noetherian, and
the fibres of f are locally Noetherian.
Then
Comments (0)