Lemma 18.27.5. Let $(\mathcal{C}, \mathcal{O})$ be a ringed site. Let $\mathcal{F}$, $\mathcal{G}$ be $\mathcal{O}$-modules.
If $\mathcal{F}_2 \to \mathcal{F}_1 \to \mathcal{F} \to 0$ is an exact sequence of $\mathcal{O}$-modules, then
\[ 0 \to \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}) \to \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}_1, \mathcal{G}) \to \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}_2, \mathcal{G}) \]is exact.
If $0 \to \mathcal{G} \to \mathcal{G}_1 \to \mathcal{G}_2$ is an exact sequence of $\mathcal{O}$-modules, then
\[ 0 \to \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}) \to \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}_1) \to \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}_2) \]is exact.
Comments (0)