Lemma 20.47.6. Let $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. Let $E$ be an object of $D(\mathcal{O}_ Y)$. If $E$ is perfect in $D(\mathcal{O}_ Y)$, then $Lf^*E$ is perfect in $D(\mathcal{O}_ X)$.

There are also:

• 2 comment(s) on Section 20.47: 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).