The Stacks project

Lemma 7.29.5. Let $\mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ be a topos. Let $\{ \mathcal{F}_ i\} _{i \in I}$ be a set of sheaves on $\mathcal{C}$. There exists an equivalence of topoi $g : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}')$ induced by a special cocontinuous functor $u : \mathcal{C} \to \mathcal{C}'$ of sites such that

  1. $\mathcal{C}'$ has a subcanonical topology,

  2. a family $\{ V_ j \to V\} $ of morphisms of $\mathcal{C}'$ is (combinatorially equivalent to) a covering of $\mathcal{C}'$ if and only if $\coprod h_{V_ j} \to h_ V$ is surjective,

  3. $\mathcal{C}'$ has fibre products and a final object (i.e., $\mathcal{C}'$ has all finite limits),

  4. every subsheaf of a representable sheaf on $\mathcal{C}'$ is representable, and

  5. each $g_*\mathcal{F}_ i$ is a representable sheaf.

Proof. Consider the full subcategory $\mathcal{C}_1 \subset \mathop{\mathit{Sh}}\nolimits (\mathcal{C})$ consisting of all $h_ U^\# $ for all $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$, the given sheaves $\mathcal{F}_ i$ and the final sheaf $*$ (see Example 7.10.2). We are going to inductively define full subcategories

\[ \mathcal{C}_1 \subset \mathcal{C}_2 \subset \mathcal{C}_2 \subset \ldots \subset \mathop{\mathit{Sh}}\nolimits (\mathcal{C}) \]

Namely, given $\mathcal{C}_ n$ let $\mathcal{C}_{n + 1}$ be the full subcategory consisting of all fibre products and subsheaves of objects of $\mathcal{C}_ n$. (Note that $\mathcal{C}_{n + 1}$ has a set of objects.) Set $\mathcal{C}' = \bigcup _{n \geq 1} \mathcal{C}_ n$. A covering in $\mathcal{C}'$ is any family $\{ \mathcal{G}_ j \to \mathcal{G}\} _{j \in J}$ of morphisms of objects of $\mathcal{C}'$ such that $\coprod \mathcal{G}_ j \to \mathcal{G}$ is surjective as a map of sheaves on $\mathcal{C}$. The functor $v : \mathcal{C} \to \mathcal{C'}$ is given by $U \mapsto h_ U^\# $. Apply Lemma 7.29.4. $\square$

Comments (0)

There are also:

  • 7 comment(s) on Section 7.29: Morphisms of topoi

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 03CI. Beware of the difference between the letter 'O' and the digit '0'.