Lemma 20.44.4. Let $f : (X, \mathcal{O}_ X) \to (Y, \mathcal{O}_ Y)$ be a morphism of ringed spaces. If $\mathcal{F}^\bullet$ is a strictly perfect complex of $\mathcal{O}_ Y$-modules, then $f^*\mathcal{F}^\bullet$ is a strictly perfect complex of $\mathcal{O}_ X$-modules.

Proof. The pullback of a finite free module is finite free. The functor $f^*$ is additive functor hence preserves direct summands. The lemma follows. $\square$

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