Lemma 20.11.3. Let $X$ be a topological space. Let $\mathcal{H}$ be an abelian sheaf on $X$. Let $\mathcal{U} : X = \bigcup _{i \in I} U_ i$ be an open covering. The map

\[ \check{H}^1(\mathcal{U}, \mathcal{H}) \longrightarrow H^1(X, \mathcal{H}) \]

is injective and identifies $\check{H}^1(\mathcal{U}, \mathcal{H})$ via the bijection of Lemma 20.4.3 with the set of isomorphism classes of $\mathcal{H}$-torsors which restrict to trivial torsors over each $U_ i$.

**Proof.**
To see this we construct an inverse map. Namely, let $\mathcal{F}$ be a $\mathcal{H}$-torsor whose restriction to $U_ i$ is trivial. By Lemma 20.4.2 this means there exists a section $s_ i \in \mathcal{F}(U_ i)$. On $U_{i_0} \cap U_{i_1}$ there is a unique section $s_{i_0i_1}$ of $\mathcal{H}$ such that $s_{i_0i_1} \cdot s_{i_0}|_{U_{i_0} \cap U_{i_1}} = s_{i_1}|_{U_{i_0} \cap U_{i_1}}$. A computation shows that $s_{i_0i_1}$ is a Čech cocycle and that its class is well defined (i.e., does not depend on the choice of the sections $s_ i$). The inverse maps the isomorphism class of $\mathcal{F}$ to the cohomology class of the cocycle $(s_{i_0i_1})$. We omit the verification that this map is indeed an inverse.
$\square$

## Comments (0)