Lemma 75.13.6. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. If $E$ is an $m$-pseudo-coherent object of $D(\mathcal{O}_ X)$, then $H^ i(E)$ is a quasi-coherent $\mathcal{O}_ X$-module for $i > m$. If $E$ is pseudo-coherent, then $E$ is an object of $D_\mathit{QCoh}(\mathcal{O}_ X)$.
Proof. Locally $H^ i(E)$ is isomorphic to $H^ i(\mathcal{E}^\bullet )$ with $\mathcal{E}^\bullet $ strictly perfect. The sheaves $\mathcal{E}^ i$ are direct summands of finite free modules, hence quasi-coherent. The lemma follows. $\square$
Comments (0)