Lemma 84.33.4. Let $S$ be a scheme. Let $X$ be an algebraic space over $S$. Let $U$ be a simplicial algebraic space over $S$. Let $a : U \to X$ be an augmentation. If $a : U \to X$ is an fppf hypercovering of $X$, then

$R\Gamma (X_{\acute{e}tale}, K) = R\Gamma (U_{\acute{e}tale}, a^{-1}K)$

for $K \in D^+(X_{\acute{e}tale})$. Here $a : \mathop{\mathit{Sh}}\nolimits (U_{\acute{e}tale}) \to \mathop{\mathit{Sh}}\nolimits (X_{\acute{e}tale})$ is as in Section 84.32.

Proof. This follows from Lemma 84.33.3 because $R\Gamma (U_{\acute{e}tale}, -) = R\Gamma (X_{\acute{e}tale}, -) \circ Ra_*$ by Cohomology on Sites, Remark 21.14.4. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).