Definition 111.41.2. (Definition of delta.) Suppose that
is a short exact sequence of abelian sheaves on any topological space $X$. The boundary map $\delta : H^0(X, {\mathcal F}_3) \to {\check H}^1(X, {\mathcal F}_1)$ is defined as follows. Take an element $\tau \in H^0(X, {\mathcal F}_3)$. Choose an open covering ${\mathcal U} : X = \bigcup _{i\in I} U_ i$ such that for each $i$ there exists a section $\tilde\tau _ i \in {\mathcal F}_2$ lifting the restriction of $\tau $ to $U_ i$. Then consider the assignment
This is clearly a 1-coboundary in the Čech complex ${\check C}^\ast ({\mathcal U}, {\mathcal F}_2)$. But we observe that (thinking of ${\mathcal F}_1$ as a subsheaf of ${\mathcal F}_2$) the RHS always is a section of ${\mathcal F}_1$ over $U_{i_0i_1}$. Hence we see that the assignment defines a 1-cochain in the complex ${\check C}^\ast ({\mathcal U}, {\mathcal F}_2)$. The cohomology class of this 1-cochain is by definition $\delta (\tau )$.
Comments (0)