Lemma 36.12.4. Let \{ f_ i : X_ i \to X\} be an fpqc covering of schemes. Let E \in D(\mathcal{O}_ X). Then E is perfect if and only if each Lf_ i^*E is perfect.
Proof. Pullback always preserves perfect complexes, see Cohomology, Lemma 20.49.6. Conversely, assume that Lf_ i^*E is perfect for all i. Then the cohomology sheaves of each Lf_ i^*E are quasi-coherent, see Lemma 36.10.1 and Cohomology, Lemma 20.49.5. Since the morphisms f_ i is flat we see that H^ p(Lf_ i^*E) = f_ i^*H^ p(E). Thus the cohomology sheaves of E are quasi-coherent by Descent, Proposition 35.5.2. Having said this the lemma follows formally from Cohomology, Lemma 20.49.5 and Lemmas 36.12.1 and 36.12.2. \square
Comments (0)