Lemma 34.4.7. Let $\mathit{Sch}_{\acute{e}tale}$ be a big étale site as in Definition 34.4.6. Let $T \in \mathop{\mathrm{Ob}}\nolimits (\mathit{Sch}_{\acute{e}tale})$. Let $\{ T_ i \to T\} _{i \in I}$ be an arbitrary étale covering of $T$.

1. There exists a covering $\{ U_ j \to T\} _{j \in J}$ of $T$ in the site $\mathit{Sch}_{\acute{e}tale}$ which refines $\{ T_ i \to T\} _{i \in I}$.

2. If $\{ T_ i \to T\} _{i \in I}$ is a standard étale covering, then it is tautologically equivalent to a covering in $\mathit{Sch}_{\acute{e}tale}$.

3. If $\{ T_ i \to T\} _{i \in I}$ is a Zariski covering, then it is tautologically equivalent to a covering in $\mathit{Sch}_{\acute{e}tale}$.

Proof. For each $i$ choose an affine open covering $T_ i = \bigcup _{j \in J_ i} T_{ij}$ such that each $T_{ij}$ maps into an affine open subscheme of $T$. By Lemma 34.4.3 the refinement $\{ T_{ij} \to T\} _{i \in I, j \in J_ i}$ is an étale covering of $T$ as well. Hence we may assume each $T_ i$ is affine, and maps into an affine open $W_ i$ of $T$. Applying Sets, Lemma 3.9.9 we see that $W_ i$ is isomorphic to an object of $\mathit{Sch}_{\acute{e}tale}$. But then $T_ i$ as a finite type scheme over $W_ i$ is isomorphic to an object $V_ i$ of $\mathit{Sch}_{\acute{e}tale}$ by a second application of Sets, Lemma 3.9.9. The covering $\{ V_ i \to T\} _{i \in I}$ refines $\{ T_ i \to T\} _{i \in I}$ (because they are isomorphic). Moreover, $\{ V_ i \to T\} _{i \in I}$ is combinatorially equivalent to a covering $\{ U_ j \to T\} _{j \in J}$ of $T$ in the site $\mathit{Sch}_{\acute{e}tale}$ by Sets, Lemma 3.9.9. The covering $\{ U_ j \to T\} _{j \in J}$ is a refinement as in (1). In the situation of (2), (3) each of the schemes $T_ i$ is isomorphic to an object of $\mathit{Sch}_{\acute{e}tale}$ by Sets, Lemma 3.9.9, and another application of Sets, Lemma 3.11.1 gives what we want. $\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).