Sheaf of infinitely differentiable functions

From Diffgeom
Jump to: navigation, search
This article describes a sheaf on a manifold (the manifold may possess some additional structure in terms of which the sheaf is defined)
View other sheaves on manifolds

Definition

Let M be a differential manifold. The sheaf of infinitely differentiable functions of M is defined as follows:

  • To every open set, we associate the ring of all infinitely differentiable functions (C^\infty-functions) from that open set to the real numbers (the ring structure arises from pointwise operations)
  • The restriction map is simply function restriction

In fact, a differential manifold is completely characterized by its sheaf of infinitely differentiable functions. In other words, given a topological manifold and the sheaf of differentiable functions arising from some choice of differential structure on it, the differential manifold structure can be recovered from the sheaf.

Related notions

Sheaf properties

Softness

The sheaf defined here is a soft sheaf: it has the property that any section on a closed subset that extends to a section on an open subset containing it, can in fact extend to a section on the whole space
View a complete list of soft sheaves

The sheaf of infinitely differentiable functions on any differential manifold is a soft sheaf; in other words, given a differentiable function in an open neighbourhood of a closed subset, there is a differentiable function on the whole manifold whose germ on the closed subset is the same as that of the function on the open neighbourhood.

Template:Non-Hausdorff etale

The etale space associated to the sheaf of infinitely differentiable function on a manifold is not a Hausdorff space. This is a consequence of the fact that for any point x \in M, there exists an infinitely differentiable function f on a neighbourhood U of x such that:

  • f does not have the same germ as the zero function, at the point x
  • For any open set V containing x, there exists a nonempty open set W contained in V such that f is identically zero on W

The Hausdorffization of the sheaf looks locally like the sheaf of real-analytic functions (though there may be no global interpretation of this if the manifold does not have a real-analytic structure).