This tag has label sites-lemma-when-shriek and it points to
The corresponding content:
Lemma 7.19.5. Let $\mathcal{C}$ and $\mathcal{D}$ be sites. Let $u : \mathcal{C} \to \mathcal{D}$ be a functor. Assume thatLet $g : \mathop{\textit{Sh}}\nolimits(\mathcal{C}) \to \mathop{\textit{Sh}}\nolimits(\mathcal{D})$ be the associated morphism of topoi. Then
- $u$ is cocontinuous, and
- $u$ is continuous.
- sheafification in the formula $g^{-1} = (u^p )^\#$ is unnecessary, in other words $g^{-1}(\mathcal{G})(U) = \mathcal{G}(u(U))$,
- $g^{-1}$ has a left adjoint $g_{!} = (u_p )^\#$, and
- $g^{-1}$ commutes with arbitrary limits and colimits.
Proof. By Lemma 7.13.2 for any sheaf $\mathcal{G}$ on $\mathcal{D}$ the presheaf $u^p\mathcal{G}$ is a sheaf on $\mathcal{C}$. And then we see the adjointness by the following string of equalities \begin{eqnarray*} \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(\mathcal{C})}(\mathcal{F}, g^{-1}\mathcal{G}) & = & \mathop{\rm Mor}\nolimits_{\textit{PSh}(\mathcal{C})}(\mathcal{F}, u^p\mathcal{G}) \\ & = & \mathop{\rm Mor}\nolimits_{\textit{PSh}(\mathcal{D})}(u_p\mathcal{F}, \mathcal{G}) \\ & = & \mathop{\rm Mor}\nolimits_{\mathop{\textit{Sh}}\nolimits(\mathcal{D})}(g_{!}\mathcal{F}, \mathcal{G}) \end{eqnarray*} The statement on limits and colimits follows from the discussion in Categories, Section 4.23. $\square$
\begin{lemma}
\label{lemma-when-shriek}
Let $\mathcal{C}$ and $\mathcal{D}$ be sites.
Let $u : \mathcal{C} \to \mathcal{D}$ be a functor.
Assume that
\begin{enumerate}
\item[(a)] $u$ is cocontinuous, and
\item[(b)] $u$ is continuous.
\end{enumerate}
Let $g : \Sh(\mathcal{C}) \to \Sh(\mathcal{D})$
be the associated morphism of topoi. Then
\begin{enumerate}
\item sheafification in the formula $g^{-1} = (u^p\ )^\#$ is
unnecessary, in other words $g^{-1}(\mathcal{G})(U) = \mathcal{G}(u(U))$,
\item $g^{-1}$ has a left adjoint $g_{!} = (u_p\ )^\#$, and
\item $g^{-1}$ commutes with arbitrary limits and colimits.
\end{enumerate}
\end{lemma}
\begin{proof}
By Lemma \ref{lemma-pushforward-sheaf} for any sheaf $\mathcal{G}$
on $\mathcal{D}$ the presheaf $u^p\mathcal{G}$ is a sheaf on $\mathcal{C}$.
And then we see the adjointness by the following string of
equalities
\begin{eqnarray*}
\Mor_{\Sh(\mathcal{C})}(\mathcal{F}, g^{-1}\mathcal{G})
& = &
\Mor_{\textit{PSh}(\mathcal{C})}(\mathcal{F}, u^p\mathcal{G})
\\
& = &
\Mor_{\textit{PSh}(\mathcal{D})}(u_p\mathcal{F}, \mathcal{G})
\\
& = &
\Mor_{\Sh(\mathcal{D})}(g_{!}\mathcal{F}, \mathcal{G})
\end{eqnarray*}
The statement on limits and colimits follows from the
discussion in Categories, Section \ref{categories-section-adjoint}.
\end{proof}
To cite this tag (see How to reference tags), use:
\cite[\href{http://stacks.math.columbia.edu/tag/00XR}{Tag 00XR}]{stacks-project}
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 lower-right corner).
Back to the main page.
There are no comments yet for this tag.