Lemma 21.34.9. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $L$ be an object of $D(\mathcal{O})$. Set $L^\vee = R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (L, \mathcal{O})$. For $M$ in $D(\mathcal{O})$ there is a canonical map

21.34.9.1
\begin{equation} \label{sites-cohomology-equation-eval} L^\vee \otimes ^\mathbf {L}_\mathcal {O} M \longrightarrow R\mathop{\mathcal{H}\! \mathit{om}}\nolimits (L, M) \end{equation}

which induces a canonical map

\[ H^0(\mathcal{C}, L^\vee \otimes _\mathcal {O}^\mathbf {L} M) \longrightarrow \mathop{\mathrm{Hom}}\nolimits _{D(\mathcal{O})}(L, M) \]

functorial in $M$ in $D(\mathcal{O})$.

## Comments (0)