The Stacks project

Proof. Proof of (1)(a) and (2)(a): $i_ f^{-1}$ is a right adjoint of an exact functor $i_{f, !}$. Namely, recall that $i_ f$ corresponds to a cocontinuous functor $u : T_{pro\text{-}\acute{e}tale}\to (\mathit{Sch}/S)_{pro\text{-}\acute{e}tale}$ which is continuous and commutes with fibre products and equalizers, see Lemma 61.12.12 and its proof. Hence we obtain $i_{f, !}$ by Modules on Sites, Lemma 18.16.2. It is shown in Modules on Sites, Lemma 18.16.3 that it is exact. Then we conclude (1)(a) and (2)(a) hold by Homology, Lemma 12.29.1 and Derived Categories, Lemma 13.31.9.

Parts (1)(b) and (2)(b) are special cases of (1)(a) and (2)(a) as $i_ S = i_{\text{id}_ S}$. $\square$

Proof. The first equality follows from Lemma 61.17.1 and (61.12.16.1) on choosing a K-injective complex of abelian sheaves representing $K$. The second equality follows from Lemma 61.17.1 and Lemma 61.12.18 on choosing a K-injective complex of abelian sheaves representing $K$. The third equality follows similarly from Cohomology on Sites, Lemmas 21.7.1 and 21.20.1 and Lemma 61.12.18 on choosing a K-injective complex of abelian sheaves representing $K$. $\square$

Proof. To prove the last equality represent $M$ by a K-injective complex of abelian sheaves and apply Lemma 61.17.1 and work out the definitions. The second equality follows from this as $i_ f^{-1} \circ \pi _ S^{-1} = f_{small}^{-1}$. The first equality is a special case of the second one. $\square$

Proof. This is true because both $\pi _ S^{-1}$ and $\pi _{S, *} = i_ S^{-1}$ are exact functors and the composition $\pi _{S, *} \circ \pi _ S^{-1}$ is the identity functor. $\square$