Remark 36.39.2. The construction of Lemma 36.39.1 is compatible with pullbacks. More precisely, given a morphism f : X \to Y of schemes and a perfect object K of D(\mathcal{O}_ Y) of tor-amplitude in [-1, 0] then Lf^*K is a perfect object K of D(\mathcal{O}_ X) of tor-amplitude in [-1, 0] and we have a canonical identification
Moreover, if K has rank 0, then \delta (K) pulls back to \delta (Lf^*K) via this map. This is clear from the affine local construction of the determinant.
Comments (0)