Atlases and Structures
I just noticed a problem: this was supposed to have gone up Monday…
Now that we know what it means for coordinate patches to be compatible — for various definitions of “compatible” — we can define atlases on a manifold. An atlas is a collection of coordinate patches that cover a manifold.
More specifically, we have various classes of atlases. A piecewise-linear atlas is one whose transition functions are all piecewise-linear; differentiable atlases have transition functions; “smooth” atlases have
transition functions; analytic atlases have
transition functions.
In our example of a manifold, we covered the two-dimensional sphere with coordinate patches, and so we have an atlas. Let’s look at it a little more closely and see what kind of atlas we have. Really, all we need to consider is the overlap of two of our patches, since they all look very similar.
So let’s consider the set where
and the set
where
. The transition from the first to the second will take a point in
— the open half-disk of points
with
and
— and lift it up to the sphere using the formula
Then the transition function projects this point down by dropping the -coordinate. That is, the transition function can be written down:
Now, since , both of these component functions are analytic, and so we have an analytic atlas. Of course, since analyticity implies smoothness, we also have a smooth atlas, and a differentiable atlas. We don’t, however, have a piecewise-linear atlas.
A general atlas can be a little constraining, though. In our example, we only have six coordinate patches to work with, and these coordinates may not always be the most efficient ones for our purposes. For one example, our usual latitude and longitude coordinates are perfectly valid, and yet we can’t use them if all we have are the six axial projections!
Luckily, the usual latitude and longitude coordinates are compatible (where they overlap) with each of the existing six patches, and so there’s no problem in throwing them into our atlas. And then we have, say, all the European Petroleum Survey Group maps that people working with GIS systems are familiar with; these are compatible too, and so we can throw them in as well. Any coordinate patch that’s compatible with all the ones we’ve seen before can be thrown in, growing our atlas and making it more and more useful.
But wait! maybe the order matters. Let’s say we have an atlas and two patches —
and
— that we want to add. I say that if
and
are both compatible with
, then they are compatible with each other.
Indeed, first we restrict them both down to and
. Now, any patch
that intersects
intersects both
and
. And on the intersection, we know that the transition functions
and
are in our required class — differentiable, smooth, et cetera — and so their composition is as well. But this composition is
which is the transition function from to
. So we don’t even need to worry about the order in which we add new patches into our atlas, so long as we start with an atlas that already covers the whole manifold.
What happens when we throw all the possible patches in? An atlas which already contains every coordinate patch that is compatible with it is what we’re really after here. In the case, we call this a “differentiable structure”; in the
case we call it a “smooth structure”; and so on. Actually, some authors say “differentiable structure” and mean
transition functions, but the meaning is usually clear from context.
A topological manifold equipped with such a structure — a maximal atlas of some class — is our real object of study. In the smooth case, which we are most concerned with, we call it a “differentiable manifold” or sometimes a “smooth manifold”, when we want to distinguish the and
cases.
[…] Differentiable Structures It’s high time we introduced the “standard” smooth structures on real vector spaces, which are (of course) our models for all other smooth […]
Pingback by Standard Differentiable Structures « The Unapologetic Mathematician | March 2, 2011 |
Paragraph 5:
the open half-disk of points (x,y) with x^2+y^2=0 instead be x>0?
Paragraph last-1: “…contains all every coordinate…”
Hmmm… should say should it be x=0 instead?
Thanks for catching those. Yes, it should have been
as I’d said earlier in that graf.
[…] if and are – and -dimensional smooth manifolds, respectively, then we can come up with an atlas that makes the product space into an -dimensional smooth manifold, and that it satisfies the […]
Pingback by Product Manifolds « The Unapologetic Mathematician | March 7, 2011 |
[…] so that is supported in . In particular, we can let be the collection of coordinate patches in a smooth atlas, so each of the functions “lives in” a single local coordinate […]
Pingback by Partitions of Unity Subordinate to a Cover « The Unapologetic Mathematician | March 8, 2011 |
[…] our extension of the implicit function theorem in hand, we have another way of getting at the sphere, this time as a […]
Pingback by Spheres as Submanifolds « The Unapologetic Mathematician | April 25, 2011 |
[…] shows that we can find an atlas on all of whose patches have compatible orientations. Given any atlas at all for , either use a […]
Pingback by Orientable Atlases « The Unapologetic Mathematician | August 31, 2011 |