Lemma 20.43.2. Let $(X, \mathcal{O}_ X)$ be a ringed space. Let $E$ be an object of $D(\mathcal{O}_ X)$.

1. If there exists an open covering $X = \bigcup U_ i$ and strictly perfect complexes $\mathcal{E}_ i^\bullet$ on $U_ i$ such that $\mathcal{E}_ i^\bullet$ represents $E|_{U_ i}$ in $D(\mathcal{O}_{U_ i})$, then $E$ is perfect.

2. If $E$ is perfect, then any complex representing $E$ is perfect.

Proof. Identical to the proof of Lemma 20.41.2. $\square$

There are also:

• 2 comment(s) on Section 20.43: Perfect complexes

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).