Lemma 18.16.2. The functor $g_{p!}$ is a left adjoint to the functor $u^ p$. The functor $g_!$ is a left adjoint to the functor $g^{-1}$. In other words the formulas

hold bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.

Lemma 18.16.2. The functor $g_{p!}$ is a left adjoint to the functor $u^ p$. The functor $g_!$ is a left adjoint to the functor $g^{-1}$. In other words the formulas

\begin{align*} \mathop{\mathrm{Mor}}\nolimits _{\textit{PAb}(\mathcal{C})}(\mathcal{F}, u^ p\mathcal{G}) & = \mathop{\mathrm{Mor}}\nolimits _{\textit{PAb}(\mathcal{D})}(g_{p!}\mathcal{F}, \mathcal{G}), \\ \mathop{\mathrm{Mor}}\nolimits _{\textit{Ab}(\mathcal{C})}(\mathcal{F}, g^{-1}\mathcal{G}) & = \mathop{\mathrm{Mor}}\nolimits _{\textit{Ab}(\mathcal{D})}(g_!\mathcal{F}, \mathcal{G}) \end{align*}

hold bifunctorially in $\mathcal{F}$ and $\mathcal{G}$.

**Proof.**
The second formula follows formally from the first, since if $\mathcal{F}$ and $\mathcal{G}$ are abelian sheaves then

\begin{align*} \mathop{\mathrm{Mor}}\nolimits _{\textit{Ab}(\mathcal{C})}(\mathcal{F}, g^{-1}\mathcal{G}) & = \mathop{\mathrm{Mor}}\nolimits _{\textit{PAb}(\mathcal{D})}(g_{p!}\mathcal{F}, \mathcal{G}) \\ & = \mathop{\mathrm{Mor}}\nolimits _{\textit{Ab}(\mathcal{D})}(g_!\mathcal{F}, \mathcal{G}) \end{align*}

by the universal property of sheafification.

To prove the first formula, let $\mathcal{F}$, $\mathcal{G}$ be abelian presheaves. To prove the lemma we will construct maps from the group on the left to the group on the right and omit the verification that these are mutually inverse.

Note that there is a canonical map of abelian presheaves $\mathcal{F} \to u^ pg_{p!}\mathcal{F}$ which on sections over $U$ is the natural map $\mathcal{F}(U) \to \mathop{\mathrm{colim}}\nolimits _{u(U) \to u(U')} \mathcal{F}(U')$, see Sites, Lemma 7.5.3. Given a map $\alpha : g_{p!}\mathcal{F} \to \mathcal{G}$ we get $u^ p\alpha : u^ pg_{p!}\mathcal{F} \to u^ p\mathcal{G}$. which we can precompose by the map $\mathcal{F} \to u^ pg_{p!}\mathcal{F}$.

Note that there is a canonical map of abelian presheaves $g_{p!}u^ p\mathcal{G} \to \mathcal{G}$ which on sections over $V$ is the natural map $\mathop{\mathrm{colim}}\nolimits _{V \to u(U)} \mathcal{G}(u(U)) \to \mathcal{G}(V)$. It maps a section $s \in u(U)$ in the summand corresponding to $t : V \to u(U)$ to $t^*s \in \mathcal{G}(V)$. Hence, given a map $\beta : \mathcal{F} \to u^ p\mathcal{G}$ we get a map $g_{p!}\beta : g_{p!}\mathcal{F} \to g_{p!}u^ p\mathcal{G}$ which we can postcompose with the map $g_{p!}u^ p\mathcal{G} \to \mathcal{G}$ above. $\square$

Your email address will not be published. Required fields are marked.

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.

## Comments (0)

There are also: