Lemma 34.3.6. Let $\mathit{Sch}_{Zar}$ be a big Zariski site as in Definition 34.3.5. Let $T \in \mathop{\mathrm{Ob}}\nolimits (\mathit{Sch}_{Zar})$. Let $\{ T_ i \to T\} _{i \in I}$ be an arbitrary Zariski covering of $T$. There exists a covering $\{ U_ j \to T\} _{j \in J}$ of $T$ in the site $\mathit{Sch}_{Zar}$ which is tautologically equivalent (see Sites, Definition 7.8.2) to $\{ T_ i \to T\} _{i \in I}$.

Proof. Since each $T_ i \to T$ is an open immersion, we see by Sets, Lemma 3.9.9 that each $T_ i$ is isomorphic to an object $V_ i$ of $\mathit{Sch}_{Zar}$. The covering $\{ V_ i \to T\} _{i \in I}$ is tautologically equivalent to $\{ T_ i \to T\} _{i \in I}$ (using the identity map on $I$ both ways). 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}_{Zar}$ by Sets, Lemma 3.11.1. $\square$

There are also:

• 2 comment(s) on Section 34.3: The Zariski topology

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).