The Stacks project

Proof. Let $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits (X_{pro\text{-}\acute{e}tale})$ be the set of weakly contractible objects of $X_{pro\text{-}\acute{e}tale}$. Every object $T$ of $X_{pro\text{-}\acute{e}tale}$ has a covering $\{ T_ i \to T\} _{i \in I}$ with $I$ finite and $T_ i \in \mathcal{B}$ by Lemma 61.13.5. By Hypercoverings, Lemma 25.12.6 we get a hypercovering $K$ of $U$ such that $K_ n = \{ U_{n, i}\} _{i \in I_ n}$ with $I_ n$ finite and $U_{n, i}$ weakly contractible. Then we can replace $K$ by the hypercovering of $U$ given by $\{ U_ n\} $ in degree $n$ where $U_ n = \coprod _{i \in I_ n} U_{n, i}$ This is allowed by Hypercoverings, Remark 25.12.9.

Let $X_{qcqs, {pro\text{-}\acute{e}tale}} \subset X_{pro\text{-}\acute{e}tale}$ be the full subcategory consisting of quasi-compact and quasi-separated objects. A covering of $X_{qcqs, {pro\text{-}\acute{e}tale}}$ will be a finite pro-étale covering. Then $X_{qcqs, {pro\text{-}\acute{e}tale}}$ is a site, has fibre products, and the inclusion functor $X_{qcqs, {pro\text{-}\acute{e}tale}} \to X_{pro\text{-}\acute{e}tale}$ is continuous and commutes with fibre products. In particular, if $K$ is a hypercovering of an object $U$ in $X_{qcqs, {pro\text{-}\acute{e}tale}}$ then $K$ is a hypercovering of $U$ in $X_{pro\text{-}\acute{e}tale}$ by Hypercoverings, Lemma 25.12.5. Let $\mathcal{B} \subset \mathop{\mathrm{Ob}}\nolimits (X_{qcqs, {pro\text{-}\acute{e}tale}})$ be the set of affine and weakly contractible objects. By Lemma 61.13.3 and the fact that finite unions of affines are affine, for every object $U$ of $X_{qcqs, {pro\text{-}\acute{e}tale}}$ there exists a covering $\{ V \to U\} $ of $X_{qcqs, {pro\text{-}\acute{e}tale}}$ with $V \in \mathcal{B}$. By Hypercoverings, Lemma 25.12.6 we get a hypercovering $K$ of $U$ such that $K_ n = \{ U_{n, i}\} _{i \in I_ n}$ with $I_ n$ finite and $U_{n, i}$ affine and weakly contractible. Then we can replace $K$ by the hypercovering of $U$ given by $\{ U_ n\} $ in degree $n$ where $U_ n = \coprod _{i \in I_ n} U_{n, i}$. This is allowed by Hypercoverings, Remark 25.12.9. $\square$

Proof. If $\mathcal{E}$ is an abelian sheaf on $X_{pro\text{-}\acute{e}tale}$, then the spectral sequence of Hypercoverings, Lemma 25.5.3 implies that

because the higher cohomology groups of any sheaf over $U_ n$ vanish, see Cohomology on Sites, Lemma 21.51.1.

If $\mathcal{E}^\bullet $ is bounded below, then we can choose an injective resolution $\mathcal{E}^\bullet \to \mathcal{I}^\bullet $ and consider the map of complexes

For every $n$ the map $\mathcal{E}^\bullet (U_ n) \to \mathcal{I}^\bullet (U_ n)$ is a quasi-isomorphism because taking sections over $U_ n$ is exact. Hence the displayed map is a quasi-isomorphism by one of the spectral sequences of Homology, Lemma 12.25.3. Using the result of the first paragraph we see that for every $p$ the complex $s(\mathcal{I}^ p(K))$ is acyclic in degrees $n > 0$ and computes $\mathcal{I}^ p(U)$ in degree $0$. Thus the other spectral sequence of Homology, Lemma 12.25.3 shows $\text{Tot}(s(\mathcal{I}^\bullet (K)))$ computes $R\Gamma (U, E) = \mathcal{I}^\bullet (U)$. $\square$

Proof. The statement means the following: Suppose we have a family of objects $E_ i$ of $D^+(X_{pro\text{-}\acute{e}tale})$ such that $\bigoplus E_ i$ is an object of $D^+(X_{pro\text{-}\acute{e}tale})$. Then $R\Gamma (X, \bigoplus E_ i) = \bigoplus R\Gamma (X, E_ i)$. To see this choose a hypercovering $K$ of $X$ with $K_ n = \{ U_ n \to X\} $ where $U_ n$ is an affine and weakly contractible scheme, see Lemma 61.14.1. Let $N$ be an integer such that $H^ p(E_ i) = 0$ for $p < N$. Choose a complex of abelian sheaves $\mathcal{E}_ i^\bullet $ representing $E_ i$ with $\mathcal{E}_ i^ p = 0$ for $p < N$. The termwise direct sum $\bigoplus \mathcal{E}_ i^\bullet $ represents $\bigoplus E_ i$ in $D(X_{pro\text{-}\acute{e}tale})$, see Injectives, Lemma 19.13.4. By Lemma 61.14.2 we have

and

Since each $U_ n$ is quasi-compact we see that

by Modules on Sites, Lemma 18.30.3. The statement on homotopy colimits is a formal consequence of the fact that $R\Gamma $ is an exact functor of triangulated categories and the fact (just proved) that it commutes with direct sums. $\square$