Lemma 34.3.19. Let $\mathit{Sch}_{Zar}$ be a big Zariski site. Consider a cartesian diagram

$\xymatrix{ T' \ar[r]_{g'} \ar[d]_{f'} & T \ar[d]^ f \\ S' \ar[r]^ g & S }$

in $\mathit{Sch}_{Zar}$. Then $i_ g^{-1} \circ f_{big, *} = f'_{small, *} \circ (i_{g'})^{-1}$ and $g_{big}^{-1} \circ f_{big, *} = f'_{big, *} \circ (g'_{big})^{-1}$.

Proof. Since the diagram is cartesian, we have for $U'/S'$ that $U' \times _{S'} T' = U' \times _ S T$. Hence both $i_ g^{-1} \circ f_{big, *}$ and $f'_{small, *} \circ (i_{g'})^{-1}$ send a sheaf $\mathcal{F}$ on $(\mathit{Sch}/T)_{Zar}$ to the sheaf $U' \mapsto \mathcal{F}(U' \times _{S'} T')$ on $S'_{Zar}$ (use Lemmas 34.3.13 and 34.3.17). The second equality can be proved in the same manner or can be deduced from the very general Sites, Lemma 7.28.1. $\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).