Smooth Maps and the Category of Smooth Manifolds (Pt. I)
Point of Post: In this post we define what it means for a map between two manifolds to be smooth.
We literally defined smooth manifolds to be the topological spaces where we will have a relatively sound meaning of what a “smooth map” is. Thus, it would seem that the first order of business is to fully define and explore this notion of smooth map. The basic idea though is precisely what we have said before. A map between smooth manifold will be smooth if it is smooth locally around each point and its image–when we think about the space locally as Euclidean space.
The interesting part is that once we define smooth map we will then be able to define the category of (finite dimensional) smooth manifolds. We will then be able to discuss the functor which takes a smooth manifold to it’s algebra of smooth functions (for us, function will mean a map into ). We will then be able to make sense of the following statement: the smooth structure of a manifold is largely encoded in its algebra of smooth functions.
Let and be smooth manifolds of dimensions and respectively. Suppose then that we have a map . We call smooth at if for every pair of charts and at and respectively, such that , one has that the map is a smooth map at in the usual Euclidean sense. We call the map the coordinate representation of with respect to and and denote it . It shall often be clear from context, or irrelevant which charts we are talking about, in which case we shall merely refer to the coordinate representation of and write .
We see that, of course, the statement that a map is smooth at is equivalent to the statement that every coordinate representation is smooth at . This very nicely highlights the fact this definition mirrors exactly the intuition we had for what a smooth map on a topological manifold should be–one which, when we pretend that it’s locally defined on Euclidean space (this is the coordinate representation), that it’s smooth. That said, we defined smooth manifolds exactly so that we really only have to care about one coordinate representation–not all of them. This is formalized by the following:
Theorem: Let and be smooth manifolds and a map. Then, is smooth at if and only if there exists a single coordinate representation of that is smooth at .
Proof: Suppose that and is the pair of charts for which ‘s coordinate representation is smooth. Now, let and be another pair of charts with . To prove that is smooth at , it suffices to show that it is smooth in some neighborhood of . That said, we know that on and we have that and are smooth. Noting then that
we see that is the composition of smooth maps and thus is smooth. But, since we may conclude that is smooth at as desired.
We call a map between smooth manifolds smooth if it is smooth at every point. A bijective smooth map which smooth inverse is called a diffemorphism, if there exists a diffeomorphism between smooth manifolds we say that they are diffeomorphic. It’s obvious that “is diffeomorphic to” is an equivalence relation on smooth manifolds.
Let’s now look at some examples of smooth maps between manifolds.
Let and have their standard smooth structures and define by . To see this is smooth, choose . If we know that and so we know a chart for is and . Thus, taking any neighborhood of not intersecting we see that is given by which is evidently smooth. If we know a chart of is where . Now, it’s easy then to see that if we take a neighborhood of not intersecting we can see clearly see that is given by which is evidently smooth. Since was arbitrary we see that is indeed smooth.
Now, let be open. It’s easy to see that a map is smooth in the calculus sense if and only if it’s smooth in the manifold sense.
We claim that for any one has that is diffeomorphic to . Indeed, define by . Evidently this map is smooth (since it is smooth in the usual calculus) sense, is bijective, and has smooth inverse.
It’s easy to see that any smooth chart on an -dimensional manifold is a smooth map , and is, in fact, a diffeomorphism .
As a last example, we come back to an example we’ve discussed before. In particular, we’ve discussed that the smooth structures induced by the atlases and (where ) are different. That said, the manifolds aren’t that different since the map defined by is a diffeomorphism (where the domain is the one with the non-standard structure). Indeed, it really suffices to note that and since this a coordinate representation of whose domain covers , we’re done.
 Lee, John M. Introduction to Smooth Manifolds. New York: Springer, 2003. Print.
 Lee, John M. Introduction to Topological Manifolds. New York: Springer, 2000. Print.
 Milnor, John Willard, and David W. . Weaver. Topology from the Differentiable Viewpoint. Charlottesville (Va.): University of Virginia, 1969. Print.
 Bredon, Glen E. Topology and Geometry. New York: Springer-Verlag, 1993. Print.