Lemma 6.24.1 (008S)—The Stacks project

Processing math: 100%

Lemma 6.24.1. Let $f : X \to Y$ be a continuous map of topological spaces. Let $\mathcal{O}$ be a presheaf of rings on $X$ . Let $\mathcal{F}$ be a presheaf of $\mathcal{O}$ -modules. There is a natural map of underlying presheaves of sets

$f_*\mathcal{O} \times f_*\mathcal{F} \longrightarrow f_*\mathcal{F}$

which turns $f_*\mathcal{F}$ into a presheaf of $f_*\mathcal{O}$ -modules. This construction is functorial in $\mathcal{F}$ .

Proof. Let $V \subset Y$ is open. We define the map of the lemma to be the map

$f_*\mathcal{O}(V) \times f_*\mathcal{F}(V) = \mathcal{O}(f^{-1}V) \times \mathcal{F}(f^{-1}V) \to \mathcal{F}(f^{-1}V) = f_*\mathcal{F}(V).$

Here the arrow in the middle is the multiplication map on $X$ . We leave it to the reader to see this is compatible with restriction mappings and defines a structure of $f_*\mathcal{O}$ -module on $f_*\mathcal{F}$ . $\square$

Comments (0)

There are also:

4 comment(s) on Section 6.24: Continuous maps and sheaves of modules

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