Lemma 18.41.4. Consider a commutative diagram
\[ \xymatrix{ (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}'), \mathcal{O}_{\mathcal{C}'}) \ar[r]_{(g', (g')^\sharp )} \ar[d]_{(f', (f')^\sharp )} & (\mathop{\mathit{Sh}}\nolimits (\mathcal{C}), \mathcal{O}_\mathcal {C}) \ar[d]^{(f, f^\sharp )} \\ (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}'), \mathcal{O}_{\mathcal{D}'}) \ar[r]^{(g, g^\sharp )} & (\mathop{\mathit{Sh}}\nolimits (\mathcal{D}), \mathcal{O}_\mathcal {D}) } \]
of ringed topoi and suppose we have functors
\[ \xymatrix{ \mathcal{C}' \ar[r]_{v'} & \mathcal{C} \\ \mathcal{D}' \ar[r]^ v \ar[u]^{u'} & \mathcal{D} \ar[u]_ u } \]
such that (with notation as in Sites, Sections 7.14 and 7.21) we have
$u$ and $u'$ are continuous and give rise to the morphisms $f$ and $f'$,
$v$ and $v'$ are cocontinuous giving rise to the morphisms $g$ and $g'$,
$u \circ v = v' \circ u'$,
$v$ and $v'$ are continuous as well as cocontinuous, and
$g^{-1}\mathcal{O}_{\mathcal{D}} = \mathcal{O}_{\mathcal{D}'}$ and $(g')^{-1}\mathcal{O}_{\mathcal{C}} = \mathcal{O}_{\mathcal{C}'}$.
Then $f'_* \circ (g')^* = g^* \circ f_*$ and $g'_! \circ (f')^{-1} = f^{-1} \circ g_!$ on modules.
Comments (0)