Orientation of a Submanifold, given an Orientation of Ambient Manifold

  • Context: Graduate 
  • Thread starter Thread starter WWGD
  • Start date Start date
  • Tags Tags
    Manifold Orientation
Click For Summary
SUMMARY

The discussion focuses on the conditions necessary for orienting a submanifold S within an oriented ambient manifold M, which is embedded in R^k. It is established that S can be oriented by contracting the orientation form w_m of M using a suitable vector field X, provided that the normal bundle to S is orientable. If S is non-orientable, its first Stiefel-Whitney class is non-zero, indicating that the normal bundle cannot be orientable. The key takeaway is that the orientability of S is contingent upon the properties of its normal bundle and the ambient manifold M.

PREREQUISITES
  • Understanding of submanifolds and ambient manifolds in differential geometry.
  • Familiarity with orientation forms and vector fields.
  • Knowledge of normal bundles and their properties.
  • Basic concepts of algebraic topology, particularly Stiefel-Whitney classes.
NEXT STEPS
  • Study the properties of normal bundles in differential geometry.
  • Learn about the implications of Stiefel-Whitney classes in algebraic topology.
  • Explore the concept of orientability in various types of manifolds.
  • Investigate the relationship between tangent and normal bundles in the context of manifold theory.
USEFUL FOR

Mathematicians, particularly those specializing in differential geometry and algebraic topology, as well as graduate students seeking to deepen their understanding of manifold theory and orientability concepts.

WWGD
Science Advisor
Homework Helper
Messages
7,778
Reaction score
13,019
Hi, All:

Say S is a submanifold of an ambient, oriented manifold M; M is embedded in some R^k;
let ## w_m ## be an orientation form for M.

I'm trying to see under what conditions I can orient S , by contracting ## w_m ## , i.e., by
using the interior product with the "right" vector field X. Clearly this is not always possible, since
not every submanifold is orientable, e.g., even-dimensional projective spaces embedded in
odd-dimensional projective spaces. Just curious as to what vector field we can use, and how
to determine when this can or cannot be done, i.e., how this process could fail when S is not
orientable.

Thanks.
 
Physics news on Phys.org
I think the condition you are looking for is that the normal bundle to the submanifold,S,is orientable(not necessarily trivial). Then S will be orientable if M is.

At each point of S choose a positively orientated basis for the normal bundle. Extend this basis with vectors tangent to S to a positively oriented basis of M. These tangent vector will give you a positively oriented basis for the tangent space of S.

If the normal bundle to S is trivial, then one gets a set of linearly independent normal vector fields along S. Choose some ordering of these vector fields and contract the orientation form of M with them. This will give you an orientation form for S.

One sees from this that if S is not orientable then its normal bundle can not be orientable.

Form an Algebraic Topology point of view, if S is non-orientable then its first Stiefel-Whitney class is not zero. But since M is orientable the Whitney sum of the tangent and normal bundles to S must have zero first Stiefel Whitney class. This can only happen of the first Stiefel Whitey class of the normal bundle equals the first Stiefel Whitney class of S ( by the Whitney sum formula.)
 

Similar threads

  • · Replies 15 ·
Replies
15
Views
2K
  • · Replies 2 ·
Replies
2
Views
689
  • · Replies 6 ·
Replies
6
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
1K
  • · Replies 9 ·
Replies
9
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 8 ·
Replies
8
Views
1K
  • · Replies 7 ·
Replies
7
Views
3K