Lemma 48.12.8 (Rigidity). Let $Y$ be a quasi-compact and quasi-separated scheme. Let $f : X \to Y$ be a proper, flat morphism of finite presentation with relative dualizing complex $\omega _{X/Y}^\bullet $ (Remark 48.12.5). There is a canonical isomorphism
48.12.8.1
\begin{equation} \label{duality-equation-pre-rigid} \mathcal{O}_ X = c(L\text{pr}_1^*\omega _{X/Y}^\bullet ) = c(L\text{pr}_2^*\omega _{X/Y}^\bullet ) \end{equation}
and a canonical isomorphism
48.12.8.2
\begin{equation} \label{duality-equation-rigid} \omega _{X/Y}^\bullet = c\left(L\text{pr}_1^*\omega _{X/Y}^\bullet \otimes _{\mathcal{O}_{X \times _ Y X}}^\mathbf {L} L\text{pr}_2^*\omega _{X/Y}^\bullet \right) \end{equation}
where $c$ is the right adjoint of Lemma 48.3.1 for the diagonal $\Delta : X \to X \times _ Y X$.
Proof.
Let $a$ be the right adjoint to $Rf_*$ as in Lemma 48.3.1. Consider the cartesian square
\[ \xymatrix{ X \times _ Y X \ar[r]_ q \ar[d]_ p & X \ar[d]_ f \\ X \ar[r]^ f & Y } \]
Let $b$ be the right adjoint for $p$ as in Lemma 48.3.1. Then
\begin{align*} \omega _{X/Y}^\bullet & = c(b(\omega _{X/Y}^\bullet )) \\ & = c(Lp^*\omega _{X/Y}^\bullet \otimes _{\mathcal{O}_{X \times _ Y X}}^\mathbf {L} b(\mathcal{O}_ X)) \\ & = c(Lp^*\omega _{X/Y}^\bullet \otimes _{\mathcal{O}_{X \times _ Y X}}^\mathbf {L} Lq^*a(\mathcal{O}_ Y)) \\ & = c(Lp^*\omega _{X/Y}^\bullet \otimes _{\mathcal{O}_{X \times _ Y X}}^\mathbf {L} Lq^*\omega _{X/Y}^\bullet ) \end{align*}
as in (48.12.8.2). Explanation as follows:
The first equality holds as $\text{id} = c \circ b$ because $\text{id}_ X = p \circ \Delta $.
The second equality holds by Lemma 48.12.3.
The third holds by Lemma 48.12.4 and the fact that $\mathcal{O}_ X = Lf^*\mathcal{O}_ Y$.
The fourth holds because $\omega _{X/Y}^\bullet = a(\mathcal{O}_ Y)$.
Equation (48.12.8.1) is proved in exactly the same way.
$\square$
Comments (2)
Comment #5384 by Will Chen on
Comment #5618 by Johan on