Lemma 47.16.2. Let $(A, \mathfrak m, \kappa )$ be a Noetherian local ring with normalized dualizing complex $\omega _ A^\bullet $. Let $A \to B$ be surjective. Then $\omega _ B^\bullet = R\mathop{\mathrm{Hom}}\nolimits _ A(B, \omega _ A^\bullet )$ is a normalized dualizing complex for $B$.
Proof. Special case of Lemma 47.16.1. $\square$
Comments (0)