Skip to main content
MathOverflow

Return to Question

deleted 22 characters in body
Source Link
Galoisfan
Galoisfan
  • 11
  • 3

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 $π:Et(\mathcal F)\rightarrow X$ that is the canonical map which sends a germ $s_x$ in $x$. If with $U$ we indicate a generic open set of $X$, then the set of sections of $π$ 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)$}

We give a certain topology on $Et(\mathcal F)$ and make $π$ and $\widetilde s$ continuous functions. In this way whe define the sheaf $\mathcal F^+$ of continuous sections of $π$, and the morphism (for all $U$)

$\phi(U):\mathcal F(U)\rightarrow\mathcal F^+(U)$ such that $s\mapsto\widetilde s$

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 $\psi=\theta\circ\phi$?

The definition $\theta(\widetilde s)=\psi(s)$ doesn't work because $s_x=t_x$ in $\mathcal F^+(U) $ for all $x$ doesn't imply $s=t$ in $\mathcal F(U)$ since $\mathcal F$ is a presheaf.

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 $π:Et(\mathcal F)\rightarrow X$ that is the canonical map which sends a germ $s_x$ in $x$. If with $U$ we indicate a generic open set of $X$, then the set of sections of $π$ 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)$}

We give a certain topology on $Et(\mathcal F)$ and make $π$ and $\widetilde s$ continuous functions. In this way whe define the sheaf $\mathcal F^+$ of continuous sections of $π$, and the morphism (for all $U$)

$\phi(U):\mathcal F(U)\rightarrow\mathcal F^+(U)$ such that $s\mapsto\widetilde s$

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 $\psi=\theta\circ\phi$?

The definition $\theta(\widetilde s)=\psi(s)$ doesn't work because $s_x=t_x$ in $\mathcal F^+(U) $ for all $x$ doesn't imply $s=t$ in $\mathcal F(U)$ since $\mathcal F$ is a presheaf.

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 $π:Et(\mathcal F)\rightarrow X$ that is the canonical map which sends a germ $s_x$ in $x$. If with $U$ we indicate a generic open set of $X$, then the set of sections of $π$ 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)$}

We give a certain topology on $Et(\mathcal F)$ and make $π$ and $\widetilde s$ continuous functions. In this way whe define the sheaf $\mathcal F^+$ of continuous sections of $π$, and the morphism (for all $U$)

$\phi(U):\mathcal F(U)\rightarrow\mathcal F^+(U)$ such that $s\mapsto\widetilde s$

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 $\psi=\theta\circ\phi$?

The definition $\theta(\widetilde s)=\psi(s)$ doesn't work because $s_x=t_x$ for all $x$ doesn't imply $s=t$ in $\mathcal F(U)$ since $\mathcal F$ is a presheaf.

Source Link
Galoisfan
Galoisfan
  • 11
  • 3

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 $π:Et(\mathcal F)\rightarrow X$ that is the canonical map which sends a germ $s_x$ in $x$. If with $U$ we indicate a generic open set of $X$, then the set of sections of $π$ 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)$}

We give a certain topology on $Et(\mathcal F)$ and make $π$ and $\widetilde s$ continuous functions. In this way whe define the sheaf $\mathcal F^+$ of continuous sections of $π$, and the morphism (for all $U$)

$\phi(U):\mathcal F(U)\rightarrow\mathcal F^+(U)$ such that $s\mapsto\widetilde s$

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 $\psi=\theta\circ\phi$?

The definition $\theta(\widetilde s)=\psi(s)$ doesn't work because $s_x=t_x$ in $\mathcal F^+(U) $ for all $x$ doesn't imply $s=t$ in $\mathcal F(U)$ since $\mathcal F$ is a presheaf.