Lemma 48.9.3. With notation as above. We have

\[ Ri_*R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (\mathcal{O}_ Z, K) = R\mathop{\mathcal{H}\! \mathit{om}}\nolimits _{\mathcal{O}_ X}(i_*\mathcal{O}_ Z, K) \]

in $D(\mathcal{O}_ X)$ for all $K$ in $D(\mathcal{O}_ X)$.

## Comments (0)

There are also: