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.

August 31, 2011 Posted by | Differential Topology, Topology | 1 Comment