Lemma 20.22.3. Let $X$ be a profinite topological space. Then $H^ q(X, \mathcal{F}) = 0$ for all $q > 0$ and all abelian sheaves $\mathcal{F}$.
Proof. Any open covering of $X$ can be refined by a finite disjoint union decomposition with open parts, see Topology, Lemma 5.22.4. Hence if $\mathcal{F} \to \mathcal{G}$ is a surjection of abelian sheaves on $X$, then $\mathcal{F}(X) \to \mathcal{G}(X)$ is surjective. In other words, the global sections functor is an exact functor. Therefore its higher derived functors are zero, see Derived Categories, Lemma 13.16.9. $\square$
Comments (0)