The Unapologetic Mathematician

Mathematics for the interested outsider

Sheaves of Functions on Manifolds

Now that we’ve talked a bunch about presheaves and sheaves in general, let’s talk about some particular sheaves of use in differential topology. Given a smooth manifold — for whatever we choose smooth to mean — we can define sheaves of real algebras of real-valued functions for every less-stringent definition of smoothness.

In the first case of a bare topological manifold M, we have no real sense of differentiability at all, and so it only makes sense to talk about continuous real-valued functions f:U\to\mathbb{R}. Given an open set U\subseteq M we let \mathcal{O}^0_M(U) be the \mathbb{R}-algebra of real-valued functions that are defined and continuous on U.

Next, if M is a C^1 manifold, then it not only makes sense to talk about continuous real-valued functions — we can define \mathcal{O}^0_M just as above — but we can also talk about differentiable real-valued functions. Given an open set U\subseteq M, we let \mathcal{O}^1_M(U) be the \mathbb{R}-algebra of continuously-differentiable real valued functions f:U\to\mathbb{R}.

As we increase the smoothness of M, we can consider smoother and smoother functions. If M is a C^k manifold, we can define \mathcal{O}^j_M — the sheaf of j-times continuously-differentiable functions. Given an open set U, we let \mathcal{O}^j_M(U) be the \mathbb{R}-algebra of real-valued functions on U with j continuous derivatives.

Continuing up the latter, if M is a C^\infty manifold, then we can define all of the above sheaves, along with the sheaf \mathcal{O}^\infty_M of infinitely-differentiable functions. And if M is analytic, we can also define the sheaf of analytic functions.

In each case, I’m not going to bother going through the proof that we actually do get sheaves. The core idea is that continuity, differentiability, and analyticity are notions defined locally, point-by-point. Thus if we restrict the domain of such a function we get another function of the same kind, and pasting together functions that agree on their overlaps preserves smoothness. This doesn’t hold, however, for global notions like boundedness — it’s easy to define a collection of functions on an open cover of \mathbb{R}, each of which is bounded, which define an unbounded function when pasted together.

For each class of manifolds, the sheaf of the smoothest functions we can define has a special place. If M is in class C^k — where k can be 0, any finite whole number, \infty, or \omega — then the sheaf \mathcal{O}^k_M is often just written \mathcal{O}_M, and is called the “structure sheaf” of M. It turns out that most, if not all, of the geometrical properties of M are actually bound up within its structure sheaf, and so this is a very important object of study indeed.


March 23, 2011 - Posted by | Differential Topology, Topology


  1. […] of Functions Let’s take the structure sheaves we defined last time and consider the stalks at a point . It turns out that since we’re […]

    Pingback by Germs of Functions « The Unapologetic Mathematician | March 24, 2011 | Reply

  2. […] we take a manifold with structure sheaf . We pick some point and get the stalk of germs of functions at . This is a real algebra, and we […]

    Pingback by Tangent Vectors at a Point « The Unapologetic Mathematician | March 29, 2011 | Reply

Leave a Reply

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

You are commenting using your 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: