Lemma 47.15.9. Let $A \to B$ be a surjective homomorphism 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. Special case of Lemma 47.15.8. $\square$
Comments (0)
There are also: