# Presheaves of Functions

Let $$X$$ be a topological space, $$\mathcal{F}$$ a sheaf on $$X$$ and $$K=\coprod_{x\in X}\mathcal{F}_x$$.

Then let $$\mathcal{G}$$ be the sheaf of functions from $$X$$ to $$K$$. We can define a map of sheaves $$i:\mathcal{F}\to\mathcal{G}\hspace{0.1cm}$$ by letting $$i_U:\mathcal{F}(U)\to\mathcal{G}(U)$$ be given by $$i_U:a\mapsto(f:x\mapsto a_x)$$, where $$a_x\in\mathcal{F}_x$$ is the germ of $$a$$ at $$x$$ (this is compatible with restrictions since restriction doesn't change the germs).

Furthermore, it is injective: if $$i_U(a)=i_U(b)$$ then $$a_x=b_x$$ for all $$x\in U$$. Then $$a$$ and $$b$$ agree on a neighbourhood around every point of $$U$$, and so by the uniqueness part of the gluing axiom for sheaves we have $$a=b$$ in $$\mathcal{F}(U)$$.

This shows that we can regard any sheaf as a subsheaf of a sheaf of functions. Now let $$\mathcal{F}$$ be a presheaf, not necessarily a sheaf.

I believe that $$i$$ is still a map of presheaves. However, showing injectivity relied on the uniqueness part of the gluing axiom for sheaves. Then it doesn't seem like we can view $$\mathcal{F}$$ as a subpresheaf of $$\mathcal{G}$$ via $$i$$.

My question then is, can we view any presheaf as a subpresheaf of a presheaf of functions?

My first thought was to map $$\mathcal{F}$$ into its sheafification $$\mathcal{F}^+$$, and then include this into the associated sheaf of functions. But the answers to this question show that the inclusion to the sheafification is not necessarily injective.

Any help would be much appreciated.

• In the given example, $K$ should be the product of the $\mathcal{F}_x$ instead of the coproduct. – withoutfeather Jul 30 '19 at 2:57
• Maybe my notation isn't clear but I'm just taking $K$ to be the disjoint union of the stalks as sets so that I can map the germs to them, so I don't think we need to use the (Cartesian) product since we're never mapping to more than one stalk at a time? – Dave Jul 30 '19 at 3:04
• Ah yes, you are right. – withoutfeather Jul 30 '19 at 3:59

Indeed, every presheaf of functions you said earlier, i.e. a presheaf $$\mathcal{G}$$ such that $$\mathcal{G}(U)$$ is the set of functions $$U\to K$$, have to be a sheaf. But a presheaf map injectively to a sheaf implies that the presheaf maps injectively to its sheafification. Not every presheaf have this property (but this is true if your presheaf is separated).
To be clear, let $$\mathcal{F}$$ be a presheaf, $$\mathcal{G}$$ be a sheaf, and $$\varphi:\mathcal{F}\to \mathcal{G}$$ be an injective morphism of sheaves. Let $$h:\mathcal{F}\to \mathcal{F}^{\#}$$ be the canonical morphism from $$\mathcal{F}$$ to its sheafification, then $$\varphi=\varphi^{\#}\circ h$$. Since $$\varphi$$ is injective, it follows that $$h$$ must be injective.