# The Unapologetic Mathematician

## 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.

### Like this:

Posted by John Armstrong | Differential Topology, Topology

## 2 Comments	»

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 | 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 | March 29, 2011 | Reply

« Previous | Next »

## About this weblog

This is mainly an expository blath, with occasional high-level excursions, humorous observations, rants, and musings. The main-line exposition should be accessible to the “Generally Interested Lay Audience”, as long as you trace the links back towards the basics. Check the sidebar for specific topics (under “Categories”).

I’m in the process of tweaking some aspects of the site to make it easier to refer back to older topics, so try to make the best of it for now.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 38, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9147095680236816, "perplexity_flag": "head"}