I have a question about the topic in the headline.
We have defined a oriented manifold as a manifold with a atlas, s.t. the determinant of the differential of chart changes is >0, i.e. det forall x,y charts.
I think it is true that if we have a non orientable manifold, then the der above has to be 0 for some charts.
To put it another way, if the manifold is not or., then it can't appear that der(...)<0.
My questions are:
1)Is my conjecture correct?
2)Do you know a argument, why there has to be a atlas, s.t. det(..)>0 if we have a atlas s.t. det(..)<0?
I try to put a "-" to each chart. putthen the "-" cancel out, since we have the composition of thwo charts.
February 2nd 2011, 05:57 PM
The requirement is that if your atlas is , then for every and every , you have . It sounds like you might be forgetting that the matrix (and hence its determinant) depends on which point in the chart intersection you look at it from.
Now, since determinant is continuous and we never have determinant zero (these are diffeomorphisms from ), the determinant is either all positive or all negative on each connected component of . But of course there might be several components--for example, the usual construction of the Mobius bundle over .
To answer #2 (if I understand it correctly), consider with the atlas given by stereographic projection. There are two charts, their intersection is which is connected for n>1, and the determinant can be +1 or -1 depending on how you define your projection.
February 3rd 2011, 11:45 AM
February 3rd 2011, 01:03 PM
Go the other way--assuming you have an oriented atlas for AxB, show you can "project" it to an oriented atlas of A. And yes, that's what the charts on the product manifold look like.
February 4th 2011, 05:51 AM
i think it is not so obvious to "project" the atlas. What what you mean? I try to solve a similar problem. I mean any coordinate map of AxB is in general of the form:
(f x g)(x,y):=(f(x,y) x g(x,y)). That is we habe functions which depends on both elements! How can i project this?
February 5th 2011, 06:31 AM
Can nobody help me?
Let M,N be manifolds of dimension m,n respectively.
We know that M is not orientable. And want to show that MxN is also not orientable.
If we assume that MxN is not orientable, we have to conclude that M has to be orientable,too.