Lemma 47.15.10. Let $A$ be a Noetherian ring. If $\omega _ A^\bullet$ is a dualizing complex, then $\omega _ A^\bullet \otimes _ A A[x]$ is a dualizing complex for $A[x]$.

Proof. Set $B = A[x]$ and $\omega _ B^\bullet = \omega _ A^\bullet \otimes _ A B$. It follows from Lemma 47.3.10 and More on Algebra, Lemma 15.66.5 that $\omega _ B^\bullet$ has finite injective dimension. Since $H^ i(\omega _ B^\bullet ) = H^ i(\omega _ A^\bullet ) \otimes _ A B$ by flatness of $A \to B$ we see that $\omega _ A^\bullet \otimes _ A B$ has finite cohomology modules. Finally, the map

$B \longrightarrow R\mathop{\mathrm{Hom}}\nolimits _ B(\omega _ B^\bullet , \omega _ B^\bullet )$

is a quasi-isomorphism as formation of internal hom commutes with flat base change in this case, see More on Algebra, Lemma 15.92.2. $\square$

There are also:

• 1 comment(s) on Section 47.15: Dualizing complexes

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).