Lemma 34.8.14. Let $S$ be a scheme. Let $\mathit{Sch}_{ph}$ be a big ph site containing $S$. The functor $(\textit{Aff}/S)_{ph} \to (\mathit{Sch}/S)_{ph}$ is cocontinuous and induces an equivalence of topoi from $\mathop{\mathit{Sh}}\nolimits ((\textit{Aff}/S)_{ph})$ to $\mathop{\mathit{Sh}}\nolimits ((\mathit{Sch}/S)_{ph})$.
Proof. The notion of a special cocontinuous functor is introduced in Sites, Definition 7.29.2. Thus we have to verify assumptions (1) – (5) of Sites, Lemma 7.29.1. Denote the inclusion functor $u : (\textit{Aff}/S)_{ph} \to (\mathit{Sch}/S)_{ph}$. Being cocontinuous follows because any ph covering of $T/S$, $T$ affine, can be refined by a standard ph covering of $T$ by definition. Hence (1) holds. We see $u$ is continuous simply because a finite ph covering of an affine by affines is a ph covering. Hence (2) holds. Parts (3) and (4) follow immediately from the fact that $u$ is fully faithful. And finally condition (5) follows from the fact that every scheme has an affine open covering (which is a ph covering). $\square$
Comments (0)
There are also: