Lemma 21.10.8. Let $\mathcal{C}$ be a site. Let
be a short exact sequence of abelian sheaves on $\mathcal{C}$. Let $U$ be an object of $\mathcal{C}$. If there exists a cofinal system of coverings $\mathcal{U}$ of $U$ such that $\check{H}^1(\mathcal{U}, \mathcal{F}) = 0$, then the map $\mathcal{G}(U) \to \mathcal{H}(U)$ is surjective.
Proof. Take an element $s \in \mathcal{H}(U)$. Choose a covering $\mathcal{U} = \{ U_ i \to U\} _{i \in I}$ such that (a) $\check{H}^1(\mathcal{U}, \mathcal{F}) = 0$ and (b) $s|_{U_ i}$ is the image of a section $s_ i \in \mathcal{G}(U_ i)$. Since we can certainly find a covering such that (b) holds it follows from the assumptions of the lemma that we can find a covering such that (a) and (b) both hold. Consider the sections
Since $s_ i$ lifts $s$ we see that $s_{i_0i_1} \in \mathcal{F}(U_{i_0} \times _ U U_{i_1})$. By the vanishing of $\check{H}^1(\mathcal{U}, \mathcal{F})$ we can find sections $t_ i \in \mathcal{F}(U_ i)$ such that
Then clearly the sections $s_ i - t_ i$ satisfy the sheaf condition and glue to a section of $\mathcal{G}$ over $U$ which maps to $s$. Hence we win. $\square$
Comments (0)