The Stacks project

Proof. Suppose that $V = \coprod _{j \in J} V_ j$ is an object of $(\mathit{Sch}/S)_{pro\text{-}\acute{e}tale}$ which is the disjoint union of weakly contractible objects $V_ j$. Since a disjoint union decomposition is a pro-étale covering we see that $\mathcal{F}(V) = \prod _{j \in J} \mathcal{F}(V_ j)$ for any pro-étale sheaf $\mathcal{F}$. Let $\mathcal{F} \to \mathcal{G}$ be a surjective map of sheaves of sets. Since $V_ j$ is weakly contractible, the map $\mathcal{F}(V_ j) \to \mathcal{G}(V_ j)$ is surjective, see Sites, Definition 7.40.2. Thus $\mathcal{F}(V) \to \mathcal{G}(V)$ is surjective as a product of surjective maps of sets and we conclude that $V$ is weakly contractible.

Choose a covering $\{ U_ i \to U\} _{i \in I}$ with $U_ i$ affine and weakly contractible as in Lemma 61.13.3. Take $V = \coprod _{i \in I} U_ i$ (there is a set theoretic issue here which we will address below). Then $\{ V \to U\} $ is the desired pro-étale covering by a weakly contractible object (to check it is a covering use Lemma 61.12.2). If $U$ is quasi-compact, then it follows immediately from Lemma 61.12.2 that we can choose a finite subset $I' \subset I$ such that $\{ U_ i \to U\} _{i \in I'}$ is still a covering and then $\{ \coprod _{i \in I'} U_ i \to U\} $ is the desired covering by an affine and weakly contractible object.

In this paragraph, which we urge the reader to skip, we address set theoretic problems. In order to know that the disjoint union lies in our partial universe, we need to bound the cardinality of the index set $I$. It is seen immediately from the construction of the covering $\{ U_ i \to U\} _{i \in I}$ in the proof of Lemma 61.13.3 that $|I| \leq \text{size}(U)$ where the size of a scheme is as defined in Sets, Section 3.9. Moreover, for each $i$ we have $\text{size}(U_ i) \leq Bound(\text{size}(U))$; this follows for the bound of the cardinality of $\Gamma (U_ i, \mathcal{O}_{U_ i})$ in the proof of Lemma 61.13.3 and Sets, Lemma 3.9.4. Thus $\text{size}(\coprod _{i \in I} U_ i)) \leq Bound(\text{size}(U))$ by Sets, Lemma 3.9.5. Hence by construction of the big pro-étale site through Sets, Lemma 3.9.2 we see that $\coprod _{i \in I} U_ i$ is isomorphic to an object of our site and the proof is complete. $\square$