C-X complexes

Fig. 7. Charge on C in the C-X complex as a function of x considering the number of electrons contributed by X and the model considered.

Proof The question is easily seen to be local on Y, so we may assume that both X and Y are quasi-compact. Let F be a pseudo-coherent C>x-complex. It follows from [I, p. 96, Prop. 2.2, b)(ii )] that for each n, the truncation D> (A) (see 1.10) is n-p>seudo-coherent, and so there exists an integer k depending only on / such that is (n+fc)-pseudo-coherent. 

---