Lemma 76.7.7. In Situation 76.7.1 suppose given an affine morphism $g : X \to X'$. Set $u' = f_*u : f_*\mathcal{F} \to f_*\mathcal{G}$. Then $F_{u, iso} = F_{u', iso}$, $F_{u, inj} = F_{u', inj}$, $F_{u, surj} = F_{u', surj}$, and $F_{u, zero} = F_{u', zero}$.

Proof. By Cohomology of Spaces, Lemma 68.11.1 we have $g_{T, *}u_ T = u'_ T$. Moreover, $g_{T, *} : \mathit{QCoh}(\mathcal{O}_{X_ T}) \to \mathit{QCoh}(\mathcal{O}_ X)$ is a faithful, exact functor reflecting isomorphisms, injective maps, and surjective maps. $\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).