Lemma 61.12.18. Let $\mathit{Sch}_{pro\text{-}\acute{e}tale}$ be a big pro-étale 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}_{pro\text{-}\acute{e}tale}$. 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)_{pro\text{-}\acute{e}tale}$ to the sheaf $U' \mapsto \mathcal{F}(U' \times _{S'} T')$ on $S'_{pro\text{-}\acute{e}tale}$ (use Lemmas 61.12.12 and 61.12.15). The second equality can be proved in the same manner or can be deduced from the very general Sites, Lemma 7.28.1.
$\square$

## Comments (0)

There are also: