Lemma 59.103.7. For a scheme X and a_ X : \mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/X)_ h) \to \mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale}) as above:
H^ q(X_{\acute{e}tale}, \mathcal{F}) = H^ q_ h(X, a_ X^{-1}\mathcal{F}) for a torsion abelian sheaf \mathcal{F} on X_{\acute{e}tale},
H^ q(X_{\acute{e}tale}, K) = H^ q_ h(X, a_ X^{-1}K) for K \in D^+(X_{\acute{e}tale}) with torsion cohomology sheaves.
Example: if A is a torsion abelian group, then H^ q_{\acute{e}tale}(X, \underline{A}) = H^ q_ h(X, \underline{A}).
Comments (0)