4
$\begingroup$

I want to proof 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:

  1. F is a sheaf for the Zariski topology
  2. 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.

$\endgroup$
0
$\begingroup$

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.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.