A map of sites defines a map on points, and pullback respects stalks.

Lemma 7.34.2. Let $f : \mathcal{D} \to \mathcal{C}$ be a morphism of sites given by a continuous functor $u : \mathcal{C} \to \mathcal{D}$. Let $q$ be a point of $\mathcal{D}$ given by the functor $v : \mathcal{D} \to \textit{Sets}$, see Definition 7.32.2. Then the functor $v \circ u : \mathcal{C} \to \textit{Sets}$ defines a point $p$ of $\mathcal{C}$ and moreover there is a canonical identification

$(f^{-1}\mathcal{F})_ q = \mathcal{F}_ p$

for any sheaf $\mathcal{F}$ on $\mathcal{C}$.

First proof Lemma 7.34.2. Note that since $u$ is continuous and since $v$ defines a point, it is immediate that $v \circ u$ satisfies conditions (1) and (2) of Definition 7.32.2. Let us prove the displayed equality. Let $\mathcal{F}$ be a sheaf on $\mathcal{C}$. Then

$(f^{-1}\mathcal{F})_ q = (u_ s\mathcal{F})_ q = (u_ p \mathcal{F})_ q = \mathcal{F}_ p$

The first equality since $f^{-1} = u_ s$, the second equality by Lemma 7.32.5, and the third by Lemma 7.34.1. Hence now we see that $p$ also satisfies condition (3) of Definition 7.32.2 because it is a composition of exact functors. This finishes the proof. $\square$

Second proof Lemma 7.34.2. By Lemma 7.32.8 we may factor $(q_*, q^{-1})$ as

$\mathop{\mathit{Sh}}\nolimits (pt) \xrightarrow {i} \mathop{\mathit{Sh}}\nolimits (\mathcal{S}) \xrightarrow {h} \mathop{\mathit{Sh}}\nolimits (\mathcal{D})$

where the second morphism of topoi comes from a morphism of sites $h : \mathcal{S} \to \mathcal{D}$ induced by the functor $v : \mathcal{D} \to \mathcal{S}$ (which makes sense as $\mathcal{S} \subset \textit{Sets}$ is a full subcategory containing every object in the image of $v$). By Lemma 7.14.4 the composition $v \circ u : \mathcal{C} \to \mathcal{S}$ defines a morphism of sites $g : \mathcal{S} \to \mathcal{C}$. In particular, the functor $v \circ u : \mathcal{C} \to \mathcal{S}$ is continuous which by the definition of the coverings in $\mathcal{S}$, see Remark 7.15.3, means that $v \circ u$ satisfies conditions (1) and (2) of Definition 7.32.2. On the other hand, we see that

$g_*i_*E(U) = i_*E(v(u(U)) = \mathop{\mathrm{Mor}}\nolimits _{\textit{Sets}}(v(u(U)), E)$

by the construction of $i$ in Remark 7.15.3. Note that this is the same as the formula for which is equal to $(v \circ u)^ pE$, see Equation (7.32.3.1). By Lemma 7.32.5 the functor $g_*i_* = (v \circ u)^ p = (v \circ u)^ s$ is right adjoint to the stalk functor $\mathcal{F} \mapsto \mathcal{F}_ q$. Hence we see that the stalk functor $p^{-1}$ is canonically isomorphic to $i^{-1} \circ g^{-1}$. Hence it is exact and we conclude that $p$ is a point. Finally, as we have $g = f \circ h$ by construction we see that $p^{-1} = i^{-1} \circ h^{-1} \circ f^{-1} = q^{-1} \circ f^{-1}$, i.e., we have the displayed formula of the lemma. $\square$

Comment #1227 by David Corwin on

Suggested slogan: A map of sites defines a map on points, and pullback respects stalks

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