The Stacks project

Proof. We have seen in Lemma 7.30.1 that $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})/\mathcal{F}$ is a topos. In fact, we recall the proof. First we apply Lemma 7.29.5 to see that we may assume $\mathcal{C}$ is a site with a subcanonical topology, fibre products, a final object $X$, and an object $U$ with $\mathcal{F} = h_ U$. The proof of Lemma 7.30.1 shows that the morphism of topoi $j_\mathcal {F} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C})/\mathcal{F} \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ is equal (modulo certain identifications) to the localization morphism $j_ U : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}/U) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$.

Assume (2). This means that $j_ U^{-1}j_{U, *}\mathcal{G} \to \mathcal{G}$ is an isomorphism for all sheaves $\mathcal{G}$ on $\mathcal{C}/U$. For any object $Z/U$ of $\mathcal{C}/U$ we have

by Lemma 7.27.2. Setting $\mathcal{G} = h_{Z/U}$ in the equality above we obtain

for all $Z/U$. By Yoneda's lemma (Categories, Lemma 4.3.5) this implies $U \times _ X U = U$. By Categories, Lemma 4.13.3 $U \to X$ is a monomorphism, in other words (1) holds.

Assume (1). Then $j_ U^{-1} j_{U, *} = \text{id}$ by Lemma 7.27.4. $\square$

Proof. We apply Lemma 7.29.5 to see that we may assume $\mathcal{C}$ is a site with the properties listed in that lemma. In particular $\mathcal{C}$ has a final object $X$ (so that $* = h_ X$) and an object $U$ with $\mathcal{F} = h_ U$.

Let $\mathcal{D} = \mathcal{C}$ as a category but a covering is a family $\{ V_ j \to V\} $ of morphisms such that $\{ V_ i \to V\} \cup \{ U \times _ X V \to V\} $ is a covering. By our choice of $\mathcal{C}$ this means exactly that

is surjective. We claim that $\mathcal{D}$ is a site, i.e., the coverings satisfy the conditions (1), (2), (3) of Definition 7.6.2. Condition (1) holds. For condition (2) suppose that $\{ V_ i \to V\} $ and $\{ V_{ij} \to V_ i\} $ are coverings of $\mathcal{D}$. Then the composition

is surjective. Since each of the morphisms $U \times _ X V_ i \to V$ factors through $U \times _ X V$ we see that

is surjective, i.e., $\{ V_{ij} \to V\} $ is a covering of $V$ in $\mathcal{D}$. Condition (3) follows similarly as a base change of a surjective map of sheaves is surjective.

Note that the (identity) functor $u : \mathcal{C} \to \mathcal{D}$ is continuous and commutes with fibre products and final objects. Hence we obtain a morphism $f : \mathcal{D} \to \mathcal{C}$ of sites (Proposition 7.14.7). Observe that $f_*$ is the identity functor on underlying presheaves, hence fully faithful. To finish the proof we have to show that the essential image of $f_*$ is the full subcategory $E \subset \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ singled out in the lemma. To do this, note that $\mathcal{G} \in \mathop{\mathrm{Ob}}\nolimits (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}))$ is in $E$ if and only if $\mathcal{G}(U \times _ X V)$ is a singleton for all objects $V$ of $\mathcal{C}$. Thus such a sheaf satisfies the sheaf property for all coverings of $\mathcal{D}$ (argument omitted). Conversely, if $\mathcal{G}$ satisfies the sheaf property for all coverings of $\mathcal{D}$, then $\mathcal{G}(U \times _ X V)$ is a singleton, as in $\mathcal{D}$ the object $U \times _ X V$ is covered by the empty covering. $\square$

Proof. Let $\mathcal{F}$ be a subsheaf of the final object $*$ of $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ and let $E \subset \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ be the full subcategory consisting of those $\mathcal{G}$ such that $\mathcal{F} \times \mathcal{G} \to \mathcal{F}$ is an isomorphism. By Lemma 7.43.5 the functor $i_*$ is isomorphic to the inclusion functor $\iota : E \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$.

Let $j_{\mathcal{F}} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C})/\mathcal{F} \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ be the localization functor (Lemma 7.30.1). Note that $E$ can also be described as the collection of sheaves $\mathcal{G}$ such that $j_\mathcal {F}^{-1}\mathcal{G} = *$.

Let $a, b : \mathcal{G}_1 \to \mathcal{G}_2$ be two morphism of $E$. To prove $\iota $ commutes with coequalizers it suffices to show that the coequalizer of $a$, $b$ in $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ lies in $E$. This is clear because the coequalizer of two morphisms $* \to *$ is $*$ and because $j_\mathcal {F}^{-1}$ is exact. Similarly for pushouts.

Thus $i_*$ satisfies properties (5), (6), and (7) of Lemma 7.41.1 and hence the morphism $i$ satisfies all properties mentioned in that lemma, in particular the ones mentioned in this lemma. $\square$