The Stacks project

Lemma 21.52.7. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Assume $\mathcal{C}$ has the following properties

1. $\mathcal{C}$ has a quasi-compact final object $X$,

2. every quasi-compact object of $\mathcal{C}$ has a cofinal system of coverings which are finite and consist of quasi-compact objects,

3. for a finite covering $\{ U_ i \to U\} _{i \in I}$ with $U$, $U_ i$ quasi-compact the fibre products $U_ i \times _ U U_ j$ are quasi-compact.

Let $K$ be a perfect object of $D(\mathcal{O})$. Then

1. $K$ is a compact object of $D^+(\mathcal{O})$ in the following sense: if $M = \bigoplus _{i \in I} M_ i$ is bounded below, then $\mathop{\mathrm{Hom}}\nolimits (K, M) = \bigoplus _{i \in I} \mathop{\mathrm{Hom}}\nolimits (K, M_ i)$.

2. If $(\mathcal{C}, \mathcal{O})$ has finite cohomological dimension, i.e., if there exists a $d$ such that $H^ i(X, \mathcal{F}) = 0$ for $i > d$ for any $\mathcal{O}$-module $\mathcal{F}$, then $K$ is a compact object of $D(\mathcal{O})$.