Lemma 75.29.2. Let $S$ be a scheme. Let $X$ be a quasi-compact and quasi-separated algebraic space over $S$. Let $P \in D_{perf}(\mathcal{O}_ X)$ and $E \in D_{\mathit{QCoh}}(\mathcal{O}_ X)$. Let $a \in \mathbf{Z}$. The following are equivalent

$\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(P[-i], E) = 0$ for $i \ll 0$, and

$\mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O}_ X)}(P[-i], \tau _{\leq a} E) = 0$ for $i \ll 0$.

## Comments (0)