Remark 75.23.4. The pseudo-coherent complex L of part (B) of Lemma 75.23.3 is canonically associated to the situation. For example, formation of L as in (B) is compatible with base change. In other words, given a cartesian diagram
of schemes we have canonical functorial isomorphisms
for \mathcal{F}' quasi-coherent on Y'. Obsere that we do not use derived pullback on \mathcal{G}^\bullet on the right hand side. If we ever need this, we will formulate a precise result here and give a detailed proof.
Comments (0)