Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $(U,x_1,x_2,\ldots , x_n)$ be a chart for a orientable manifold $M$, why $(U,-x_1,x_2,\ldots , x_n)$ is a chart for the Manifold $-M$, the same manifold with reversed orientation?

share|improve this question

1 Answer 1

up vote 8 down vote accepted

Let's be a little careful about terminology. "Orient-able" means that it is possible to choose an orientation, whereas "orient-ed" means that you have gone ahead and specified an orientation.

So let's say we've specified an orientation. To answer your question, we need to know what that means. I'll go ahead and mention three (equivalent) definitions of an "orientation" on a smooth orientable manifold $M$ and leave making definitions precise and exploring the relationships up to you.

  1. A smooth (maximal) atlas for $M$ with the property that transition maps all have positive determinant.
  2. A choice of component of $\Lambda^nM - \{\mbox{zero section}\}$.
  3. A "consistent" choice of an equivalence class of ordered bases for the tangent space at each point of $M$.

In this case, it's easiest for us to work with #1. In the atlas for the orientable, unoriented manifold $M$, we can divide our charts up into exactly two equivalence classes, where $U\sim V$ when the transition map $\theta_{UV}$ has positive determinant. (Why doesn't it matter that $\theta_{UV}$ varies point-by-point?) To orient $M$, we pick one equivalence class to create a new smooth atlas, and then we forget about the other one. (It will take a little work to show that this is indeed a smooth atlas.)

Ah-hah! Now it's clear why if $U,(x_1,x_2,\ldots,x_n)$ is a chart for the oriented manifold $M$, $U',(-x_1,x_2,\ldots,x_n)$ is a chart for the oriented manifold $-M$. The transition map between $U$ and $U'$ has negative determinant, so $U$ and $U'$ are not in the same equivalence class. Since $U$ was in the atlas for $M$, $U'$ is in the atlas for $-M.$

(For a little more haranguing about orient-ed vs. orient-able, check out my answer to this question.)

share|improve this answer
1  
I like your haranguing and your triumphant Ah-hah: +1 –  Georges Elencwajg May 18 '12 at 6:58
    
Thanks, now I understand. –  Jr. May 18 '12 at 15:27
    
You're quite welcome. And @GeorgesElencwajg, I live to entertain :) –  Neal May 19 '12 at 19:10

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.