Theorem 59.19.2 (03OW)—The Stacks project

Theorem 59.19.2. Let $\mathcal{C}$ be a site. For any covering $\mathcal{U} = \{ U_ i \to U\} _{i \in I}$ of $U \in \mathop{\mathrm{Ob}}\nolimits (\mathcal{C})$ and any abelian sheaf $\mathcal{F}$ on $\mathcal{C}$ there is a spectral sequence

$E_2^{p, q} = \check H^ p(\mathcal{U}, \underline{H}^ q(\mathcal{F})) \Rightarrow H^{p+q}(U, \mathcal{F}),$

where $\underline{H}^ q(\mathcal{F})$ is the abelian presheaf $V \mapsto H^ q(V, \mathcal{F})$ .

Proof. Choose an injective resolution $\mathcal{F}\to \mathcal{I}^\bullet$ in $\textit{Ab}(\mathcal{C})$ , and consider the double complex $\check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{I}^\bullet )$ and the maps

$\xymatrix{ \Gamma (U, I^\bullet ) \ar[r] & \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{I}^\bullet ) \\ & \check{\mathcal{C}}^\bullet (\mathcal{U}, \mathcal{F}) \ar[u] }$

Here the horizontal map is the natural map $\Gamma (U, I^\bullet ) \to \check{\mathcal{C}}^0(\mathcal{U}, \mathcal{I}^\bullet )$ to the left column, and the vertical map is induced by $\mathcal{F}\to \mathcal{I}^0$ and lands in the bottom row. By assumption, $\mathcal{I}^\bullet$ is a complex of injectives in $\textit{Ab}(\mathcal{C})$ , hence by Lemma 59.19.1, it is a complex of injectives in $\textit{PAb}(\mathcal{C})$ . Thus, the rows of the double complex are exact in positive degrees (Lemma 59.18.7), and the kernel of $\check{\mathcal{C}}^0(\mathcal{U}, \mathcal{I}^\bullet ) \to \check{\mathcal{C}}^1(\mathcal{U}, \mathcal{I}^\bullet )$ is equal to $\Gamma (U, \mathcal{I}^\bullet )$ , since $\mathcal{I}^\bullet$ is a complex of sheaves. In particular, the cohomology of the total complex is the standard cohomology of the global sections functor $H^0(U, \mathcal{F})$ .

For the vertical direction, the $q$ th cohomology group of the $p$ th column is

$\prod _{i_0, \ldots , i_ p} H^ q(U_{i_0} \times _ U \ldots \times _ U U_{i_ p}, \mathcal{F}) = \prod _{i_0, \ldots , i_ p} \underline{H}^ q(\mathcal{F})(U_{i_0} \times _ U \ldots \times _ U U_{i_ p})$

in the entry $E_1^{p, q}$ . So this is a standard double complex spectral sequence, and the $E_2$ -page is as prescribed. For more details see Cohomology on Sites, Lemma 21.10.6. $\square$

Comments (2)

Comment #1704 by Yogesh More on November 26, 2015 at 16:01

Nitpicky remark: the second instance of "horizontal map" refers to a different map than the first instance. I would change the second instance to read "the kernel of the map $\check{C}^0(\mathcal{U}, \mathcal{I}^\bullet) \to \check{C}^1(\mathcal{U}, \mathcal{I}^\bullet)$ is $\Gamma(U, \mathcal{I}^\bullet)$ since $I^\bullet$ is a complex of sheaves."

Comment #1749 by Johan on December 15, 2015 at 19:00

Thanks, fixed here.

Comments (2)

Post a comment