Lemma 47.15.8. Let $A \to B$ be a finite ring map of Noetherian rings. Let $\omega _ A^\bullet $ be a dualizing complex. Then $R\mathop{\mathrm{Hom}}\nolimits (B, \omega _ A^\bullet )$ is a dualizing complex for $B$.
Proof. Let $\omega _ A^\bullet \to I^\bullet $ be a quasi-isomorphism with $I^\bullet $ a bounded complex of injectives. Then $\mathop{\mathrm{Hom}}\nolimits _ A(B, I^\bullet )$ is a bounded complex of injective $B$-modules (Lemma 47.3.4) representing $R\mathop{\mathrm{Hom}}\nolimits (B, \omega _ A^\bullet )$. Thus $R\mathop{\mathrm{Hom}}\nolimits (B, \omega _ A^\bullet )$ has finite injective dimension. By Lemma 47.13.4 it is an object of $D_{\textit{Coh}}(B)$. Finally, we compute
and for $n \not= 0$ we compute
which proves the last property of a dualizing complex. In the displayed equations, the first equality holds by Lemma 47.13.1 and the second equality holds by Lemma 47.15.3. $\square$
Comments (2)
Comment #3581 by Kestutis Cesnavicius on
Comment #3705 by Johan on
There are also: