Lemma 36.10.3. Let $X$ be a Noetherian scheme. Let $E$ be an object of $D_\mathit{QCoh}(\mathcal{O}_ X)$. For $m \in \mathbf{Z}$ the following are equivalent

1. $H^ i(E)$ is coherent for $i \geq m$ and zero for $i \gg 0$, and

2. $E$ is $m$-pseudo-coherent.

In particular, $E$ is pseudo-coherent if and only if $E$ is an object of $D^-_{\textit{Coh}}(\mathcal{O}_ X)$.

Proof. As $X$ is quasi-compact we see that in both (1) and (2) the object $E$ is bounded above. Thus the question is local on $X$ and we may assume $X$ is affine. Say $X = \mathop{\mathrm{Spec}}(A)$ for some Noetherian ring $A$. In this case $E$ corresponds to a complex of $A$-modules $M^\bullet$ by Lemma 36.3.5. By Lemma 36.10.2 we see that $E$ is $m$-pseudo-coherent if and only if $M^\bullet$ is $m$-pseudo-coherent. On the other hand, $H^ i(E)$ is coherent if and only if $H^ i(M^\bullet )$ is a finite $A$-module (Properties, Lemma 28.16.1). Thus the result follows from More on Algebra, Lemma 15.63.17. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).