## Smooth Manifolds (Pt. II)

**Point of Post: **This is a continuation of this post.

Now, given a smooth atlas we have a notion of what’s differentiable based on the charts in the atlas. That said, there exists, in general, other smooth atlases on our topological manifold, disjoint from the original atlas, which still give us the same set of differentiable functions. In other words, given a topological manifold it is entirely feasible that we can find two smooth atlases and for for a which a function, say, will be differentiable with respect to if and only if it is differentiable with respect to .Thus, for our purposes, it behooves us to consider and “the same”. They both admit the same differentiable theory.

It becomes annoying to have to think about some kind of equivalence relations on topological manifolds with smooth atlases. We would have to say something like “Let if and define the same smooth theory on .” It turns out though that this condition (that they define the same theory) will be true if and only if is also a smooth atlas (i.e. that all the charts in are smoothly compatible with all of the charts in )[Prove this!]. Thus, instead of considering both and it is easier to just consider their union. Of course, this fixes the problem with the specific smooth atlases and but still causes issue for any other, not considered, smoothly compatible atlases on .

It thus makes sense to, in essence, given a smooth atlas to instead of considering the smooth theory on as being determined by instead have it be determined by the “union” of all smooth atlases on which are smoothly compatible with . Now, how do we formalize this? Well, taking a hint from other areas of mathematics that this comes up we define the poset of all smooth atlases on with inclusion. This union then should be a maximal element of greater than or equal to –we call such an atlas *maximal on *, or a *smooth structure on .*. Thus, we define a *smooth manifold *to be a topological manifold equipped with a maximal smooth atlas . The *dimension *of a smooth manifold is the same as its dimension as a topological manifold.

It is a simple exercise in Zorn’s Lemma to show that every atlas in is contained in a (necessarily unique) maximal atlas. Explicitly, one can construct this maximal atlas by taking a given atlas and defining to be the set of all continuous charts on which are smoothly compatible with . It’s easy to see that is, in fact, smooth for if one takes two charts in which aren’t already in , the fact that both are smoothly compatible with a given chart in means that you can patch them through to get that they themselves are smoothly compatible. It’s clear that this atlas is maximal since any maximal atlas is contained within it (for all of the charts in the maximal atlas are contained in .

With this in mind, it is often convenient for us to only give a smooth atlas on a topological manifold and for us to understand that this to mean that we are considering the smooth manifold .

Consider the two smooth atlases and . Clearly since these atlases are smoothly compatible one can see that they induce the same smooth structure on –this is called the *standard smooth structure on *. It’s also clear that the smooth functions with the standard structure are precisely the smooth functions in the sense of multivariable calculus. A natural question is, “what exactly does this structure look like?” In other words, can we explicitly describe . Well, suppose that is open and suppose that is a diffeomorphism, then evidently is smoothly compatible with since and are both diffeomorphisms. Conversely, if is a chart smoothly compatible with the standard structure on then is open and is a diffeomorphism , or from . Thus, we see that

The smooth atlas given by stereographic projection on defines a smooth structure on which is called the *standard smooth structure on the sphere .*

The smooth atlas given for above is called the *standard smooth structure on .*

One may begin to wonder if there are actually different smooth structures on a given manifold–the answer is definitely yes. Indeed, note that if one takes any topological space and gives a one-chart continuous atlas for , then this atlas is vacuously smooth and thus defines a smooth structure on . For example, defined by is a homeomorphism and thus defines a smooth structure on . That said, this does not define the same smooth structure as the standard structure since as we have proven earlier this would necessarily make a diffeomorphism, which it definitely is not (since it’s inverse, is not differentiable at ). That said, in a sense which we shall make clear later, the smooth structures on are not actually that different (in the sense of isomorphism in the category of smooth manifolds).

**References:**

[1] Lee, John M. *Introduction to Smooth Manifolds*. New York: Springer, 2003. Print.

[2] Lee, John M. *Introduction to Topological Manifolds*. New York: Springer, 2000. Print.

[3] Milnor, John Willard, and David W. . Weaver. *Topology from the Differentiable Viewpoint*. Charlottesville (Va.): University of Virginia, 1969. Print.

[…] Smooth Manifolds (Pt. III) Point of Post: This is a continuation of this post. […]

Pingback by Smooth Manifolds (Pt. III) « Abstract Nonsense | August 30, 2012 |

[…] 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 […]

Pingback by Smooth Maps and the Category of Smooth Manifolds (Pt. I) « Abstract Nonsense | September 3, 2012 |

I guess you don’t actually need Zorn’s lemma to assert the existence of a maximal smooth structure for a manifold, right? Just take the union of all compatible smooth structures. Nothing nonconstructive about it.

Comment by Joe Hannon | September 24, 2012 |