Sheafification of a presheaf through the etale space
I have some problems to show that the following contruction defines a sheafification:
Let $\mathcal F$ be a presheaf on $X$, and let $Et(\mathcal F)$ be the etale space associated to $\mathcal F$, with $\pi:Et(\mathcal F)\rightarrow X$ that is the canonical map which sends a germ $s_x$ un $x$. If with $U$ we indicate a generic open set of $X$, then the set of sections of $\pi$ on $U$ is $$\mathcal F^+(U)=\{\widetilde s:U\rightarrow Et(\mathcal F)\;\;with\;\; \widetilde s(x)=s_x\;\forall s\in \mathcal F(U)\}$$ Whe give a certain topology on $Et(\mathcal F)$ and make $\pi$ and $\widetilde s$ continuous functions. In this way whe define the sheaf $\mathcal F^+$ of continuous sections of $\pi$, and the morphism (for all $U$) \begin{eqnarray} \phi(U):\mathcal F(U)&\rightarrow& \mathcal F^+(U)\\ s&\mapsto& \widetilde s \end{eqnarray} Now if $\mathcal F^+$ satisfies the "universal property", it is the sheafification of $\mathcal F$. Suppose that $\psi$ is a morphism from $\mathcal F$ in a generic sheaf $\mathcal G$; how can I prove that exists a unique morphism $\theta:\mathcal F^+\rightarrow\mathcal G$ such that $\theta\circ\phi=\psi?$
Definition 1 Let $\mathcal F$ be a presheaf of sets(or abelian groups or rings, etc.) on a toplogical space $X$. Let $Et(\mathcal F)$ be the disjoint union $\cup_{x \in X} \mathcal F_x$. Let $U$ be an open subset of X. Let $s \in \mathcal F(U)$. We denote by $[U, s]$ the subset {$s_x; x \in U$} of $Et(\mathcal F)$. Let Open$(X)$ be the set of open subsets of $X$. We define a topology on $Et(\mathcal F)$ as the one generated by the subset {$[U, s]; U \in$ Open($X), s \in \mathcal F(U)$} of the power set of $Et(\mathcal F)$. Let $\pi:Et(\mathcal F)\rightarrow X$ be the canonical map which sends a germ $s_x$ to $x$. Let $\mathcal F^+(U)$ be the set {$f:U \rightarrow Et(\mathcal F)$; $f$ is a continuous map and $\pi f = id_U$}. Clearly $\mathcal F^+(U)$ defines a sheaf $\mathcal F^+$ on $X$.
Lemma 2 Let $\mathcal F^+(U)$ be as above. Then $\mathcal F^+(U)$ = {$f:U \rightarrow Et(\mathcal F)$; $f$ is a map such that for each $x \in U$ there exists an open neighborhood $U_x$ of $x$ contained in $U$ and $s \in \mathcal F(U_x)$ such that $f(y) = s_y$ for each $y \in U_x$}.
Proof:Clear.
Definition 3 Let $\mathcal F$ be a presheaf on a toplogical space $X$. Let $U$ be an open subest of $X$. Let $s \in \mathcal F(U)$ We define a map $\tilde{s}: U \rightarrow Et(F)$ by $\tilde{s}(x)$ = $s_x$ for each $x \in U$. Clearly $\tilde{s} \in \mathcal{F^+(U)}$.
Definition 4 Let $\mathcal F$ be a presheaf on a toplogical space $X$. Let $U$ be an open subest of $X$. We define a map $\iota_U: \mathcal F(U) \rightarrow \mathcal F^+(U)$ by $\iota_U(s) = \tilde{s}$, where $\tilde{s}$ is defined in Definition 3. Clearly $\iota_U$'s define a morphism $\iota:\mathcal F \rightarrow \mathcal F^+$. We call $\iota$ the canonical morphism.
The folowing lemma is fundametal.
Lemma 5 Let $\mathcal F$ be a sheaf on a toplogical space $X$. Then the canonical morphism $\iota:\mathcal F \rightarrow \mathcal F^+$ is an isomorphism.
Proof: Let $U$ be an open subest of $X$. It suffices to prove that $\iota_U: \mathcal F(U) \rightarrow \mathcal F^+(U)$ is an isomorphism. Let $s$ and $t$ be $\in \mathcal F(U)$. Suppose $\iota_U(s)$ = $\iota_U(t)$. This means that $s_x$ = $t_x$ for each $x \in U$. Hence there exists an open neghborhood $U_x$ of $x$ for exch $x \in U$ such that $s|U_x$ = $t|U_x$. Since $\mathcal F$ is a sheaf, $s$ = $t$. Hence $\iota$ is injective.
It remains to prove that $\iota$ is surjective. Let $\sigma \in \mathcal F^+(U)$. There exists an open cover $U_i$ of $U$ and $s_i \in \mathcal F(U_i)$ such that $\sigma(x) = s_i(x)$ for each $x \in U_i$. Since $s_i|U_i \cap U_j = s_j|U_i \cap U_j$ by the above claim, there exists $s \in \mathcal F(U)$ such that $s|U_i$ = $s_i$ for each $i$. Hence $\iota(s)$ = $\sigma$. Hence $\iota$ is surjective. QED
Lemma 6 Let $\mathcal F$ be a presheaf on a toplogical space $X$. Then $\mathcal F^+_x$ = $\mathcal F_x$ for each $x \in X$.
Proof:Clear.
Lemma 7 Let $\mathcal F$ and $\mathcal G$ be presheaves on a toplogical space $X$. Let $f:\mathcal F \rightarrow G$ be a morphism. Let $U$ be an open subset of $X$. Let $\sigma \in \mathcal F^+(U)$. Then the map $f^+_U(\sigma):U \rightarrow G^+(U)$ which sends $x \in U$ to $f_x(\sigma(x))$ for each $x \in U$ belongs to $\mathcal G^+(U)$.
Proof:Clear.
Lemma 8 Let $\mathcal F$ and $\mathcal G$ be presheaves on a toplogical space $X$. Let $f:\mathcal F \rightarrow G$ be a morphism. Let $\iota_{\mathcal F}:\mathcal F \rightarrow \mathcal F^+$ and $\iota_{\mathcal G}:\mathcal G \rightarrow \mathcal G^+$ be the canonical morphisms. Then there exists a unique morphism $f^+:\mathcal F^+ \rightarrow \mathcal G^+$ such that $f^+\iota_{\mathcal F} = \iota_{\mathcal G} f$.
Proof: There exists the canonical morphism $f_x:\mathcal F_x \rightarrow \mathcal G_x$ for each $x \in X$. Let $U$ be an open subset of $X$. We define a map $f^+_U:\mathcal F^+(U) \rightarrow \mathcal G^+(U)$ by sending $\sigma \in \mathcal F^+(U)$ to $f^+_U(\sigma) \in \mathcal G^+(U)$, where $f^+_U(\sigma)$ is defined in Lemma 7. Clearly this gives a morphism of presheaves $f^+:\mathcal F^+ \rightarrow \mathcal G^+$ and $f^+\iota_{\mathcal F} = \iota_{\mathcal G} f$.
It remains to prove the uniqueness of $f^+$. Let $\psi:\mathcal F^+ \rightarrow \mathcal G^+$ be a morphism such that $\psi\iota_{\mathcal F} = \iota_{\mathcal G} f$. Since $\mathcal F^+_x$ = $\mathcal F_x$ by Lemma 6, $\psi_x$ = $f^+_x$ for each $x \in X$. Since $\mathcal F^+$ and $\mathcal G^+$ are sheaves by Definition 1, $\psi$ = $f^+$. QED
Proposition Let $\mathcal F$ be a presheaf on a toplogical space $X$. Let $\mathcal G$ be a sheaf on a toplogical space $X$. Let $f:\mathcal F \rightarrow \mathcal G$ be a morphism. Then there exists a unique morphism $\theta:\mathcal F^+ \rightarrow \mathcal G$ such that $\theta\iota$ = $f$, where $\iota:\mathcal F \rightarrow \mathcal F^+$ is the canonical morphism.
Proof: This follows immediately from Lemma 5 and Lemma 8.