Lemma 61.12.16. Let $\mathit{Sch}_{pro\text{-}\acute{e}tale}$ be a big pro-étale site. Let $f : T \to S$ be a morphism in $\mathit{Sch}_{pro\text{-}\acute{e}tale}$.

1. We have $i_ f = f_{big} \circ i_ T$ with $i_ f$ as in Lemma 61.12.12 and $i_ T$ as in Lemma 61.12.13.

2. The functor $S_{pro\text{-}\acute{e}tale}\to T_{pro\text{-}\acute{e}tale}$, $(U \to S) \mapsto (U \times _ S T \to T)$ is continuous and induces a morphism of topoi

$f_{small} : \mathop{\mathit{Sh}}\nolimits (T_{pro\text{-}\acute{e}tale}) \longrightarrow \mathop{\mathit{Sh}}\nolimits (S_{pro\text{-}\acute{e}tale}).$

We have $f_{small, *}(\mathcal{F})(U/S) = \mathcal{F}(U \times _ S T/T)$.

3. We have a commutative diagram of morphisms of sites

$\xymatrix{ T_{pro\text{-}\acute{e}tale}\ar[d]_{f_{small}} & (\mathit{Sch}/T)_{pro\text{-}\acute{e}tale}\ar[d]^{f_{big}} \ar[l]^{\pi _ T}\\ S_{pro\text{-}\acute{e}tale}& (\mathit{Sch}/S)_{pro\text{-}\acute{e}tale}\ar[l]_{\pi _ S} }$

so that $f_{small} \circ \pi _ T = \pi _ S \circ f_{big}$ as morphisms of topoi.

4. We have $f_{small} = \pi _ S \circ f_{big} \circ i_ T = \pi _ S \circ i_ f$.

Proof. The equality $i_ f = f_{big} \circ i_ T$ follows from the equality $i_ f^{-1} = i_ T^{-1} \circ f_{big}^{-1}$ which is clear from the descriptions of these functors above. Thus we see (1).

The functor $u : S_{pro\text{-}\acute{e}tale}\to T_{pro\text{-}\acute{e}tale}$, $u(U \to S) = (U \times _ S T \to T)$ transforms coverings into coverings and commutes with fibre products, see Lemmas 61.12.4 and 61.12.10. Moreover, both $S_{pro\text{-}\acute{e}tale}$, $T_{pro\text{-}\acute{e}tale}$ have final objects, namely $S/S$ and $T/T$ and $u(S/S) = T/T$. Hence by Sites, Proposition 7.14.7 the functor $u$ corresponds to a morphism of sites $T_{pro\text{-}\acute{e}tale}\to S_{pro\text{-}\acute{e}tale}$. This in turn gives rise to the morphism of topoi, see Sites, Lemma 7.15.2. The description of the pushforward is clear from these references.

Part (3) follows because $\pi _ S$ and $\pi _ T$ are given by the inclusion functors and $f_{small}$ and $f_{big}$ by the base change functors $U \mapsto U \times _ S T$.

Statement (4) follows from (3) by precomposing with $i_ T$. $\square$

There are also:

• 6 comment(s) on Section 61.12: The pro-étale site

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