Prove the product of orientable manifolds is again orientable

  • Thread starter hatsoff
  • Start date
  • #1
20
1

Homework Statement



Let M and N be orientable m- and n-manifolds, respectively. Prove that their product is an orientable (m+n)-manifold.

Homework Equations



An m-manifold M is orientable iff it has a nowhere vanishing m-form.

The Attempt at a Solution



I assume I would take nowhere vanishing m- and n-forms f and g on M and N, respectively, and use them to construct an (m+n)-form h on MxN. However I don't know how this construction would proceed. Any help would be much appreciated.
 
Last edited:

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
4,542
582
I'm assuming that the word orientable in the problem statement is just missing. Given an m-form and an n-form there's only one real way to ever construct an m+n form. It might help to remember/prove that the cotangent bundle of MxN is TM*xTN*
 
  • #3
20
1
I'm assuming that the word orientable in the problem statement is just missing. Given an m-form and an n-form there's only one real way to ever construct an m+n form. It might help to remember/prove that the cotangent bundle of MxN is TM*xTN*

Thanks for the response. My first thought is to let

[tex]\varphi(m,n)(x_1,\cdots,x_{m+n})=f(m,n)(x_1,\cdots,x_m)+g(m,n)(x_{m+1},\cdots,x_{m+n})[/tex]

so that each φ(m,n) is (m+n)-multilinear, and then apply the alternation mapping A to get the antisymmetric multilinear map h(m,n)=A(φ(m,n)), that is,

[tex](h)(m,n)(x_1,\cdots,x_{m+n})=\frac{1}{(m+n)!}\sum_{ \sigma\in S_{m+n}}(\text{sgn }\sigma)\varphi(m,n)(x_{ \sigma(1)},\cdots,x_{ \sigma (m+n)})[/tex]

But there is so much about that map which I wouldn't know how to prove. For instance, is h a diffeomorphism with its image? I know that it maps into the set of (m+n)-multilinear maps from R^{(m+n)(m+n)} into R, but is it really surjective like I need? And is it nowhere vanishing? If I knew in advance that the answers to these questions were all "yes," then I wouldn't mind spending a lot of time trying to prove it. But I don't know any of that, and it's very frustrating.

As to the cotangent bundle, I'm not sure how that would help. In fact I had to look it up on wikipedia, since I've never encountered it before.
 

Related Threads on Prove the product of orientable manifolds is again orientable

Replies
1
Views
3K
  • Last Post
Replies
1
Views
872
  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
4
Views
2K
Replies
1
Views
1K
Replies
5
Views
2K
Replies
3
Views
3K
Replies
3
Views
2K
  • Last Post
Replies
2
Views
1K
Top