Lemma 36.35.4. Let $f : X \to S$ be a morphism of schemes which is flat and locally of finite presentation. The full subcategory of $D(\mathcal{O}_ X)$ consisting of $S$-perfect objects is a saturated1 triangulated subcategory.
Lemma 36.35.4. Let $f : X \to S$ be a morphism of schemes which is flat and locally of finite presentation. The full subcategory of $D(\mathcal{O}_ X)$ consisting of $S$-perfect objects is a saturated1 triangulated subcategory.
Proof. This follows from Cohomology, Lemmas 20.47.4, 20.47.6, 20.48.6, and 20.48.8. $\square$
Comments (0)