The Unapologetic Mathematician

Mathematics for the interested outsider

Orientable Atlases

If we orient a manifold M by picking an everywhere-nonzero top form \omega, then it induces an orientation on each coordinate patch (U,x). Since each one also comes with its own orientation form, we can ask whether they’re compatible or not.

And it’s easy to answer; just calculate

\displaystyle\omega\left(\frac{\partial}{\partial x^1},\dots,\frac{\partial}{\partial x^n}\right)

and if the answer is positive then the two are compatible, while if it’s negative then they’re incompatible. But no matter; just swap two of the coordinates and we have a new coordinate map on U whose own orientation is compatible with \omega.

This shows that we can find an atlas on M all of whose patches have compatible orientations. Given any atlas at all for M, either use a coordinate patch as is or swap two of its coordinates depending on whether its native orientation agrees with \omega or not. In fact, if we’re already using a differentiable structure — containing all possible coordinate patches which are (smoothly) compatible with each other — then we just have to throw out all the patches which are (orientably) incompatible with \omega.

The converse, as it happens, is also true: if we can find an atlas for M such that for any two patches (U,x) and (V,y) the Jacobian of the transition function is everywhere positive on the intersection U\cap V, then we can find an everywhere-nonzero top form to orient the whole manifold.

Basically, what we want is to patch together enough of the patches’ native orientations to cover the whole manifold. And as usual for this sort of thing, we pick a partition of unity subordinate to our atlas. That is, we have a countable, locally finite collection of functions \{\phi_i\} so that \phi_i is supported within the patch (U_i,x_i). Then we define the n-form \omega_i on U_i by

\displaystyle\omega_i(p)=\phi_i(p)dx_i^1\wedge\dots\wedge dx_i^n

and by 0 outside of U_i. Adding up all the \omega_i gives us our top form; the sum makes sense because it’s locally finite, and at each point we don’t have to worry about things canceling off because each orientation form \omega_i is a positive multiple of each other one wherever they’re both nonzero.

About these ads

August 31, 2011 - Posted by | Differential Topology, Topology

1 Comment »

  1. Do you have an interest in maps and digital maps? Well if so you must visit http://www.promap.co.uk, the have a huge range of different types of online maps with digital overlays and GIS data.

    Comment by Maggie May | March 20, 2012 | Reply


Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

Join 393 other followers

%d bloggers like this: