The Stacks project

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{Mor}\nolimits _{\textit{PAb}(\mathcal{C})}(\mathcal{F}, u^ p\mathcal{G}) & = \mathop{Mor}\nolimits _{\textit{PAb}(\mathcal{D})}(g_{p!}\mathcal{F}, \mathcal{G}), \\ \mathop{Mor}\nolimits _{\textit{Ab}(\mathcal{C})}(\mathcal{F}, g^{-1}\mathcal{G}) & = \mathop{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{Mor}\nolimits _{\textit{Ab}(\mathcal{C})}(\mathcal{F}, g^{-1}\mathcal{G}) & = \mathop{Mor}\nolimits _{\textit{PAb}(\mathcal{D})}(g_{p!}\mathcal{F}, \mathcal{G}) \\ & = \mathop{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$


Comments (0)

There are also:

  • 2 comment(s) on Section 18.16: Exactness of lower shriek

Post a comment

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.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 04BG. Beware of the difference between the letter 'O' and the digit '0'.