Lemma 76.52.13. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$ such that the structure morphism $f : X \to S$ is flat and locally of finite presentation. Let $E$ be a pseudo-coherent object of $D(\mathcal{O}_ X)$. The following are equivalent

$E$ is $S$-perfect, and

$E$ is locally bounded below and for every point $s \in S$ the object $L(X_ s \to X)^*E$ of $D(\mathcal{O}_{X_ s})$ is locally bounded below.

## Comments (0)