The Stacks project

Proof. Let $\mathcal{F}^\bullet $ be any complex representing $E$ and let $X$, $\{ U_ i \to X\} $, and $\alpha _ i : \mathcal{E}_ i \to E|_{U_ i}$ be as in (1). We will show that $\mathcal{F}^\bullet $ is $m$-pseudo-coherent as a complex, which will prove (1) and (2) in case $\mathcal{C}$ has a final object. By Lemma 21.44.8 we can after refining the covering $\{ U_ i \to X\} $ represent the maps $\alpha _ i$ by maps of complexes $\alpha _ i : \mathcal{E}_ i^\bullet \to \mathcal{F}^\bullet |_{U_ i}$. By assumption $H^ j(\alpha _ i)$ are isomorphisms for $j > m$, and $H^ m(\alpha _ i)$ is surjective whence $\mathcal{F}^\bullet $ is $m$-pseudo-coherent.

Proof of (2). By the above we see that $\mathcal{F}^\bullet |_ U$ is $m$-pseudo-coherent as a complex of $\mathcal{O}_ U$-modules for all objects $U$ of $\mathcal{C}$. It is a formal consequence of the definitions that $\mathcal{F}^\bullet $ is $m$-pseudo-coherent.

Proof of (3). Follows from the definitions and Sites, Definition 7.6.2 part (2). $\square$