Lemma 77.7.5. In Situation 77.7.1 suppose given an exact sequence
\[ \mathcal{F} \xrightarrow {u} \mathcal{G} \xrightarrow {v} \mathcal{H} \to 0 \]
Then we have $F_{v, iso} = F_{u, zero}$ with obvious notation.
Lemma 77.7.5. In Situation 77.7.1 suppose given an exact sequence
Then we have $F_{v, iso} = F_{u, zero}$ with obvious notation.
Proof. Since pullback is right exact we see that $\mathcal{F}_ T \to \mathcal{G}_ T \to \mathcal{H}_ T \to 0$ is exact for every scheme $T$ over $B$. Hence $u_ T$ is surjective if and only if $v_ T$ is an isomorphism. $\square$
Comments (0)