Lemma 18.27.1 (03EM)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 18: Modules on Sites
Section 18.27: Internal Hom
Lemma 18.27.1 (cite)

next lemma

numberstags

Lemma 18.27.1. If $\mathcal{C}$ is a site, $\mathcal{O}$ is a sheaf of rings, $\mathcal{F}$ is a presheaf of $\mathcal{O}$ -modules, and $\mathcal{G}$ is a sheaf of $\mathcal{O}$ -modules, then $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G})$ is a sheaf of $\mathcal{O}$ -modules.

Proof. Omitted. Hints: Note first that $\mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}, \mathcal{G}) = \mathop{\mathcal{H}\! \mathit{om}}\nolimits _\mathcal {O}(\mathcal{F}^\# , \mathcal{G})$ , which reduces the question to the case where both $\mathcal{F}$ and $\mathcal{G}$ are sheaves. The result for sheaves of sets is Sites, Lemma 7.26.1. $\square$

Comments (0)

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

Comments (0)

Post a comment