Lemma 36.12.6. Let $f : X \to Y$ be a finite morphism of schemes such that $f_*\mathcal{O}_ X$ is pseudo-coherent as an $\mathcal{O}_ Y$-module1. Let $E \in D_\mathit{QCoh}(\mathcal{O}_ X)$. Then $E$ is $m$-pseudo-coherent if and only if $Rf_*E$ is $m$-pseudo-coherent.
Proof. This is a translation of More on Algebra, Lemma 15.64.11 into the language of schemes. To do the translation, use Lemmas 36.3.5 and 36.10.2. $\square$
Comments (0)