## 83.5 Morphisms of simplicial sites

We continue in the fashion described in Section 83.3 working out the meaning of morphisms of simplicial sites in cases A and B treated in that section.

Remark 83.5.1. Let $\mathcal{C}_ n, f_\varphi , u_\varphi$ and $\mathcal{C}'_ n, f'_\varphi , u'_\varphi$ be as in Situation 83.3.3. A morphism $h$ between simplicial sites will mean

1. Morphisms of sites $h_ n : \mathcal{C}_ n \to \mathcal{C}'_ n$ such that $f'_\varphi \circ h_ n = h_ m \circ f_\varphi$ as morphisms of sites for all $\varphi : [m] \to [n]$.

2. Cocontinuous functors $v_ n : \mathcal{C}_ n \to \mathcal{C}'_ n$ inducing morphisms of topoi $h_ n : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_ n) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_ n)$ such that $u'_\varphi \circ v_ n = v_ m \circ u_\varphi$ as functors for all $\varphi : [m] \to [n]$.

In both cases we have $f'_\varphi \circ h_ n = h_ m \circ f_\varphi$ as morphisms of topoi, see Sites, Lemma 7.21.2 for case B and Sites, Definition 7.14.5 for case A.

Lemma 83.5.2. Let $\mathcal{C}_ n, f_\varphi , u_\varphi$ and $\mathcal{C}'_ n, f'_\varphi , u'_\varphi$ be as in Situation 83.3.3. Let $h$ be a morphism between simplicial sites as in Remark 83.5.1. Then we obtain a morphism of topoi

$h_{total} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_{total})$

and commutative diagrams

$\xymatrix{ \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_ n) \ar[d]_{g_ n} \ar[r]_{h_ n} & \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_ n) \ar[d]^{g'_ n} \\ \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total}) \ar[r]^{h_{total}} & \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_{total}) }$

Moreover, we have $(g'_ n)^{-1} \circ h_{total, *} = h_{n, *} \circ g_ n^{-1}$.

Proof. Case A. Say $h_ n$ corresponds to the continuous functor $v_ n : \mathcal{C}'_ n \to \mathcal{C}_ n$. Then we can define a functor $v_{total} : \mathcal{C}'_{total} \to \mathcal{C}_{total}$ by using $v_ n$ in degree $n$. This is clearly a continuous functor (see definition of coverings in Lemma 83.3.1). Let $h_{total}^{-1} = v_{total, s} : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_{total}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total})$ and $h_{total, *} = v_{total}^ s = v_{total}^ p : \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_{total})$ be the adjoint pair of functors constructed and studied in Sites, Sections 7.13 and 7.14. To see that $h_{total}$ is a morphism of topoi we still have to verify that $h_{total}^{-1}$ is exact. We first observe that $(g'_ n)^{-1} \circ h_{total, *} = h_{n, *} \circ g_ n^{-1}$; this is immediate by computing sections over an object $U$ of $\mathcal{C}'_ n$. Thus, if we think of a sheaf $\mathcal{F}$ on $\mathcal{C}_{total}$ as a system $(\mathcal{F}_ n, \mathcal{F}(\varphi ))$ as in Lemma 83.3.4, then $h_{total, *}\mathcal{F}$ corresponds to the system $(h_{n, *}\mathcal{F}_ n, h_{n, *}\mathcal{F}(\varphi ))$. Clearly, the functor $(\mathcal{F}'_ n, \mathcal{F}'(\varphi )) \to (h_ n^{-1}\mathcal{F}'_ n, h_ n^{-1}\mathcal{F}'(\varphi ))$ is its left adjoint. By uniqueness of adjoints, we conclude that $h_{total}^{-1}$ is given by this rule on systems. In particular, $h_{total}^{-1}$ is exact (by the description of sheaves on $\mathcal{C}_{total}$ given in the lemma and the exactness of the functors $h_ n^{-1}$) and we have our morphism of topoi. Finally, we obtain $g_ n^{-1} \circ h_{total}^{-1} = h_ n^{-1} \circ (g'_ n)^{-1}$ as well, which proves that the displayed diagram of the lemma commutes.

Case B. Here we have a functor $v_{total} : \mathcal{C}_{total} \to \mathcal{C}'_{total}$ by using $v_ n$ in degree $n$. This is clearly a cocontinuous functor (see definition of coverings in Lemma 83.3.2). Let $h_{total}$ be the morphism of topoi associated to $v_{total}$. The commutativity of the displayed diagram of the lemma follows immediately from Sites, Lemma 7.21.2. Taking left adjoints the final equality of the lemma becomes

$h_{total}^{-1} \circ (g'_ n)^{Sh}_! = g^{Sh}_{n!} \circ h_ n^{-1}$

This follows immediately from the explicit description of the functors $(g'_ n)^{Sh}_!$ and $g^{Sh}_{n!}$ in Lemma 83.3.5, the fact that $h_ n^{-1} \circ (f'_\varphi )^{-1} = f_\varphi ^{-1} \circ h_ m^{-1}$ for $\varphi : [m] \to [n]$, and the fact that we already know $h_{total}^{-1}$ commutes with restrictions to the degree $n$ parts of the simplicial sites. $\square$

Lemma 83.5.3. With notation and hypotheses as in Lemma 83.5.2. For $K \in D(\mathcal{C}_{total})$ we have $(g'_ n)^{-1}Rh_{total, *}K = Rh_{n, *}g_ n^{-1}K$.

Proof. Let $\mathcal{I}^\bullet$ be a K-injective complex on $\mathcal{C}_{total}$ representing $K$. Then $g_ n^{-1}K$ is represented by $g_ n^{-1}\mathcal{I}^\bullet = \mathcal{I}_ n^\bullet$ which is K-injective by Lemma 83.3.6. We have $(g'_ n)^{-1}h_{total, *}\mathcal{I}^\bullet = h_{n, *}g_ n^{-1}\mathcal{I}_ n^\bullet$ by Lemma 83.5.2 which gives the desired equality. $\square$

Remark 83.5.4. Let $\mathcal{C}_ n, f_\varphi , u_\varphi$ and $\mathcal{C}'_ n, f'_\varphi , u'_\varphi$ be as in Situation 83.3.3. Let $a_0$, resp. $a'_0$ be an augmentation towards a site $\mathcal{D}$, resp. $\mathcal{D}'$ as in Remark 83.4.1. Let $h$ be a morphism between simplicial sites as in Remark 83.5.1. We say a morphism of topoi $h_{-1} : \mathop{\mathit{Sh}}\nolimits (\mathcal{D}) \to \mathop{\mathit{Sh}}\nolimits (\mathcal{D}')$ is compatible with $h$, $a_0$, $a'_0$ if

1. $h_{-1}$ comes from a morphism of sites $h_{-1} : \mathcal{D} \to \mathcal{D}'$ such that $a'_0 \circ h_0 = h_{-1} \circ a_0$ as morphisms of sites.

2. $h_{-1}$ comes from a cocontinuous functor $v_{-1} : \mathcal{D} \to \mathcal{D}'$ such that $u'_0 \circ v_0 = v_{-1} \circ u_0$ as functors.

In both cases we have $a'_0 \circ h_0 = h_{-1} \circ a_0$ as morphisms of topoi, see Sites, Lemma 7.21.2 for case B and Sites, Definition 7.14.5 for case A.

Lemma 83.5.5. Let $\mathcal{C}_ n, f_\varphi , u_\varphi , \mathcal{D}, a_0$, $\mathcal{C}'_ n, f'_\varphi , u'_\varphi , \mathcal{D}', a'_0$, and $h_ n$, $n \geq -1$ be as in Remark 83.5.4. Then we obtain a commutative diagram

$\xymatrix{ \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total}) \ar[d]_ a \ar[r]_{h_{total}} & \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_{total}) \ar[d]^{a'} \\ \mathop{\mathit{Sh}}\nolimits (\mathcal{D}) \ar[r]^{h_{-1}} & \mathop{\mathit{Sh}}\nolimits (\mathcal{D}') }$

Proof. The morphism $h$ is defined in Lemma 83.5.2. The morphisms $a$ and $a'$ are defined in Lemma 83.4.2. Thus the only thing is to prove the commutativity of the diagram. To do this, we prove that $a^{-1} \circ h_{-1}^{-1} = h_{total}^{-1} \circ (a')^{-1}$. By the commutative diagrams of Lemma 83.5.2 and the description of $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}_{total})$ and $\mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_{total})$ in terms of components in Lemma 83.3.4, it suffices to show that

$\xymatrix{ \mathop{\mathit{Sh}}\nolimits (\mathcal{C}_ n) \ar[d]_{a_ n} \ar[r]_{h_ n} & \mathop{\mathit{Sh}}\nolimits (\mathcal{C}'_ n) \ar[d]^{a'_ n} \\ \mathop{\mathit{Sh}}\nolimits (\mathcal{D}) \ar[r]^{h_{-1}} & \mathop{\mathit{Sh}}\nolimits (\mathcal{D}') }$

commutes for all $n$. This follows from the case for $n = 0$ (which is an assumption in Remark 83.5.4) and for $n > 0$ we pick $\varphi :  \to [n]$ and then the required commutativity follows from the case $n = 0$ and the relations $a_ n = a_0 \circ f_\varphi$ and $a'_ n = a'_0 \circ f'_\varphi$ as well as the commutation relations $f'_\varphi \circ h_ n = h_0 \circ f_\varphi$. $\square$

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