## 7.46 Comparison with SGA4

Our notation for the functors $u^ p$ and $u_ p$ from Section 7.5 and $u^ s$ and $u_ s$ from Section 7.13 is taken from [pages 14 and 42, ArtinTopologies]. Having made these choices, the notation for the functor ${}_ pu$ in Section 7.19 and ${}_ su$ in Section 7.20 seems reasonable. In this section we compare our notation with that of SGA4.

**Presheaves:** Let $u : \mathcal{C} \to \mathcal{D}$ be a functor between categories. The functor $u^ p$ is denoted $u^*$ in [Exposee I, Section 5, SGA4]. The functor $u_ p$ is denoted $u_!$ in [Exposee I, Proposition 5.1, SGA4]. The functor ${}_ pu$ is denoted $u_*$ in [Exposee I, Proposition 5.1, SGA4]. In other words, we have

The reader should be cautioned that different notation is used for these functors in different parts of SGA4.

**Sheaves and continuous functors:** Suppose that $\mathcal{C}$ and $\mathcal{D}$ are sites and that $u : \mathcal{C} \to \mathcal{D}$ is a continuous functor (Definition 7.13.1). The functor $u^ s$ is denoted $u_ s$ in [Exposee III, 1.11, SGA4]. The functor $u_ s$ is denoted $u^ s$ in [Exposee III, Proposition 1.2, SGA4]. In other words, we have

When $u$ defines a morphism of sites $f : \mathcal{D} \to \mathcal{C}$ (Definition 7.14.1) we see that the associated morphism of topoi (Lemma 7.15.2) is the same as that in [Exposee IV, (4.9.1.1), SGA4].

**Sheaves and cocontinuous functors:** Suppose that $\mathcal{C}$ and $\mathcal{D}$ are sites and that $u : \mathcal{C} \to \mathcal{D}$ is a cocontinuous functor (Definition 7.20.1). The functor ${}_ su$ (Lemma 7.20.2) is denoted $u_*$ in [Exposee III, Proposition 2.3, SGA4]. The functor $(u^ p\ )^\# $ is denoted $u^*$ in [Exposee III, Proposition 2.3, SGA4]. In other words, we have

Thus the morphism of topoi associated to $u$ in Lemma 7.21.1 is the same as that in [Exposee IV, 4.7, SGA4].

**Morphisms of Topoi:** If $f$ is a morphism of topoi given by the functors $(f^{-1}, f_*)$ then the functor $f^{-1}$ is denoted $f^*$ in [Exposee IV, Definition 3.1, SGA4]. We will use $f^{-1}$ to denote pullback of sheaves of sets or more generally sheaves of algebraic structure (Section 7.44). We will use $f^*$ to denote pullback of sheaves of modules for a morphism of ringed topoi (Modules on Sites, Definition 18.13.1).

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

## Comments (0)