Remark 48.20.13. Let $f : X \to Y$ be a flat proper morphism of finite type schemes over a pair $(S, \omega _ S^\bullet )$ as in Situation 48.20.1. The relative dualizing complex (Remark 48.12.5) is $\omega _{X/Y}^\bullet = a(\mathcal{O}_ Y)$. By Lemma 48.20.8 we have the first canonical isomorphism in

in $D(\mathcal{O}_ X)$. The second canonical isomorphism follows from the discussion in Remark 48.12.5.

## Comments (0)