Lemma 47.25.2. Let $\varphi : R \to A$ be a flat finite type map of Noetherian rings. Then

1. $\omega _{A/R}^\bullet$ is in $D^ b_{\textit{Coh}}(A)$ and $R$-perfect (More on Algebra, Definition 15.78.1),

2. $A \to R\mathop{\mathrm{Hom}}\nolimits _ A(\omega _{A/R}^\bullet , \omega _{A/R}^\bullet )$ is an isomorphism, and

3. for every map $R \to k$ to a field the base change $\omega _{A/R}^\bullet \otimes _ A^\mathbf {L} (A \otimes _ R k)$ is a dualizing complex for $A \otimes _ R k$.

Proof. Choose $R \to P \to A$ as in the definition of $\varphi ^!$. Recall that $R \to A$ is a perfect ring map (More on Algebra, Lemma 15.77.4) and hence $A$ is perfect as a $P$-modue (More on Algebra, Lemma 15.77.2). This shows that $\omega _{A/R}^\bullet$ is in $D^ b_{\textit{Coh}}(A)$ by Lemma 47.24.2. To show $\omega _{A/R}^\bullet$ is $R$-perfect it suffices to show it has finite tor dimension as a complex of $R$-modules. This is true because $\omega _{A/R}^\bullet = \varphi ^!(R) = R\mathop{\mathrm{Hom}}\nolimits (A, P)[n]$ maps to $R\mathop{\mathrm{Hom}}\nolimits _ P(A, P)[n]$ in $D(P)$, which is perfect in $D(P)$ (More on Algebra, Lemma 15.70.14), hence has finite tor dimension in $D(R)$ as $R \to P$ is flat. This proves (1).

Proof of (2). The object $R\mathop{\mathrm{Hom}}\nolimits _ A(\omega _{A/R}^\bullet , \omega _{A/R}^\bullet )$ of $D(A)$ maps in $D(P)$ to

\begin{align*} R\mathop{\mathrm{Hom}}\nolimits _ P(\omega _{A/R}^\bullet , R\mathop{\mathrm{Hom}}\nolimits (A, P)[n]) & = R\mathop{\mathrm{Hom}}\nolimits _ P(R\mathop{\mathrm{Hom}}\nolimits _ P(A, P)[n], P)[n] \\ & = R\mathop{\mathrm{Hom}}\nolimits _ P(R\mathop{\mathrm{Hom}}\nolimits _ P(A, P), P) \end{align*}

This is equal to $A$ by the already used More on Algebra, Lemma 15.70.14.

Proof of (3). By Lemma 47.25.1 there is an isomorphism

$\omega _{A/R}^\bullet \otimes _ A^\mathbf {L} (A \otimes _ R k) \cong \omega ^\bullet _{A \otimes _ R k/k}$

and the right hand side is a dualizing complex by Lemma 47.24.3. $\square$

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).