Lemma 64.3.5. Let $S$ be a scheme contained in $\mathit{Sch}_{fppf}$. Let $F, G : (\mathit{Sch}/S)_{fppf}^{opp} \to \textit{Sets}$. Let $a : F \to G$ be a representable transformation of functors. If $G$ is a sheaf, then so is $F$.

Proof. Let $\{ \varphi _ i : T_ i \to T\}$ be a covering of the site $(\mathit{Sch}/S)_{fppf}$. Let $s_ i \in F(T_ i)$ which satisfy the sheaf condition. Then $\sigma _ i = a(s_ i) \in G(T_ i)$ satisfy the sheaf condition also. Hence there exists a unique $\sigma \in G(T)$ such that $\sigma _ i = \sigma |_{T_ i}$. By assumption $F' = h_ T \times _{\sigma , G, a} F$ is a representable presheaf and hence (see remarks in Section 64.2) a sheaf. Note that $(\varphi _ i, s_ i) \in F'(T_ i)$ satisfy the sheaf condition also, and hence come from some unique $(\text{id}_ T, s) \in F'(T)$. Clearly $s$ is the section of $F$ we are looking for. $\square$

There are also:

• 2 comment(s) on Section 64.3: Representable morphisms of presheaves

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