Presheaves that are not sheaves

This is a post about pre-sheaves that are not sheaves. The two properties that a sheaf satisfies that a presheaf does not, are the “Gluability” axiom and the identity axiom.

Gluability- Over the open set U, consider the set F(U), which is the set of all bounded continuous functions. Sections which have the same restriction to intersections of open sets sometimes cannot be glued together to give global sections; i.e. they cannot be glued together to give a section defined on the whole topological space that is bounded. For instance, consider the function f(x)=x. Consider the cover \{(k,k+2)\}_{k\in\Bbb{N}} of \Bbb{R}. The restriction of f(x)=x on each such bounded interval is bounded. Hence, f(x)|_{(k,k+2)}\in F((k,k+2)). However, on gluing together over the whole real line, we get an unbounded function.

Another example seems slightly trickier to me, and requires knowledge of complex analysis. Vakil’s book says that “holomorphic functions that admit a square root” form a presheaf and not a sheaf. Note that we just need to consider functions that admit a square root, and not the square roots themselves. Take the function f(z)=z. It admits a square root on both U=\Bbb{C}\setminus \Bbb{R^+} and V=\Bbb{C}\setminus \Bbb{R^-}. Both U and V are open sets. Moreover, the restrictions of the function f(z)=z on the overlap of the two sets agree at each point. However, when we glue the two parts together, we get f(z)=z defined on the whole complex plane, which is holomorphic, but does not admit a square root.

Published by ayushkhaitan3437

Hello! My name is Ayush Khaitan, and I'm a graduate student in Mathematics.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

%d bloggers like this: