I want to prove Theorem 8.9 from Algebraic Geometry I ( U.Görtz, T.Wedhorn), which reads as follows:
Let $S$ be a scheme $F: Sch/S°\rightarrow Set $ a functor such that:
- F is a sheaf for the Zariski topology
- F has a cover by open subfunctors $\alpha_i:F_i\rightarrow F$, such that every $F_i$ is representable by a scheme $X_i$
Then F is representable.
A cover by open subfunctors means, that for every scheme $T$ and for every morphism $h_T\rightarrow F$, the pullback $F_i\times_F h_T$ is representable, say by $Y_i$ and the morphism of schemes $Y_i\rightarrow T$ corresponding to the projection $F_i\times_F h_T\rightarrow h_T$ is an open immersion. In addition the images of $Y_i\rightarrow T$ form an open covering of $T$
Let me explain what I have done so far and where I am stuck:
The $X_i$ can be glued to a scheme $X$.
The morphisms $h_{X_i}\cong F_i\rightarrow F$ correspond via the yoneda lemma to elements $f_i\in F(X_i)$. Using the sheaf property of F, the $f_i$ glue together to an element $f\in F(X)$ which gives us a natural transformation $\alpha: h_X\rightarrow F$. For a scheme $T$ and a morphism $g\in\mathrm{Hom}(T,X)$ this is given by $\alpha(T)(g)=F(g)(f)$. The last step is to show that this assignment is bijective. I managed to show the surjectivity, but can't find a proof for the injectivity. It would suffice to show that the following diagram is a pullback
$\require{AMScd}$
\begin{CD}
h_{X_i} @>>> h_X\\@VidVV @VV\alpha V\\ h_{X_i} @>>> F
\end{CD}
where the morphism $h_{X_i}\rightarrow h_X$ is induced from the open immersion $X_i\rightarrow X$. I tried to prove this with ideas similiar to the answer of
Representable open immersion of functors is a monomorphism.
I also looked at the proof in EGA I (Springer edition 1971), where this is Proposition 4.5.4 in chapter 0. From what I understand, it is also used, that this square is a pullback, but not commented on why this is indeed a pullback.
I am thankful for any idea on how to proove the injectivity or the fact, that this square is a pullback.
Best Answer
I found another way to prove this Theorem, which then also shows that this map is injective. Consider two Zariski sheaves $F,G:\mathrm{Sch}^{\circ}\rightarrow\mathrm{Set}$ and for each sheaf a cover by open subfunctors $\alpha_i:F_i\rightarrow F$ and $\beta_i:G_i\rightarrow G$. Suppose we have isomorphisms $\varphi_i: F_i\rightarrow G_i$, such that the diagram $\require{AMScd}$ \begin{CD} F_i\times_FF_j @>>> F_i @>\varphi_i>> G_i\\@VVV @. @VV\beta_iV \\ F_j @>\varphi_j>> G_j @>\beta_j>>G \end{CD} commutes and the induced morphism $F_i\times_F F_j\rightarrow F_i\times_G F_j$ is an isomorphism. Then $F\cong G$. The proof of this statement is similiar to the situation, where $F$ and $G$ are sheaves on a topological space and $\varphi_i:F_{|U_i}\rightarrow G_{|U_i}$ are isomorphisms of sheaves agreeing on overlaps. We can apply this to the functor $h_X$ with open cover $h_{U_i}\rightarrow h_X$ and the functor $F$ with open cover $\alpha_i:F_i\rightarrow F$. One can check that the isomorphisms $h_{U_i}\cong F_i$ satisfy the conditions above. In this way we obtain an isomorphism $h_X\rightarrow F$. The yoneda lemma implies, that this morphsim is actually the same as the morphism defined in my question.