Is a tube always orientable?

  • Thread starter lavinia
  • Start date
  • #1
lavinia
Science Advisor
Gold Member
3,238
625
- A tube around a manifold embedded in Euclidean space is a manifold with boundary. Is the tube always orientable?

- Does the topology of the boundary determine the topology of the tube?
 

Answers and Replies

  • #2
1,768
126
What do you mean by tube? Boundary of what? For this type of question, I think we need more precision.
 
  • #3
quasar987
Science Advisor
Homework Helper
Gold Member
4,783
18
homeo: a tube T is a tubular nbhd of the manifold M, so you can think of it as a (closed) nbhd of the zero sectioin of the normal bundle N that intersects each fiber in a closed disk.

lavinia, how about this: Pick a fiber metric on TN. Use this to define a splitting of TN into a vertical bundle V (isomorphic to N) and a horizontal bundle H (isomorphic to TM). This induces a similar splitting of T(T). Now, an orientation of T as a manifold would induce an orientation of N (as a vector bundle), but we know that the normal bundle is not always orientable, so the tube cannot always be orientable. In fact, it is so iff M and its normal bundle are thus.
 
Last edited:
  • #4
lavinia
Science Advisor
Gold Member
3,238
625
What do you mean by tube? Boundary of what? For this type of question, I think we need more precision.
ok.

The Tubular Neighborhood Theorem shows that around any compact manifold without boundary embedded in another smooth manifold, there is an open neighborhood of it that is diffeomorphic to the total space of the normal bundle to the embedding. The tube is obtained first locally from the exponential mapping in the normal direction to the embedded manifold and then pieced together as the union of these local tubes. Since the embedded manifold is compact the union of finite many of these neighborhoods gives is the tube. The boundary of this tube is diffeomorphic to the unit sphere bundle in the normal bundle.

My question is whether a tube in Euclidean space is always orientable. I would think so since the boundary is a hypersurface. For example a tube around the Klein bottle in R^4 is orientable and its boundary is the the total space of a circle bundle over the Klein bottle.

The geometry of tubes was studies by Weyl and there is a cool book that derives characteristic classes from tube geometry rather than intrinsic geometry.
 
Last edited:
  • #5
489
0
Maybe I'm a bit confused by the question. How could it not be orientable? Take your definition of orientability to be the existence of a top-dimensional form which doesn't vanish.
 
  • #6
lavinia
Science Advisor
Gold Member
3,238
625
Maybe I'm a bit confused by the question. How could it not be orientable? Take your definition of orientability to be the existence of a top-dimensional form which doesn't vanish.
I am confused.

You mean just the restriction of the Euclidean volume form to the tube?

My thought was that the boundary as a hypersurface must be orientable but how do I extend this to an orientation of the whole tube? But what you are saying is the the volume form on Euclidean space just does this. OK.
 
  • #7
quasar987
Science Advisor
Homework Helper
Gold Member
4,783
18
Can anyone tell me what is wrong with my argument then? Thx.
 
  • #8
lavinia
Science Advisor
Gold Member
3,238
625
Can anyone tell me what is wrong with my argument then? Thx.
I think that the Whitney sum of two non-orientable bundles can be orientable. They just need to be non-orientable for the same reason - their first Stiefel-Whitney classes must be equal.

In Eudlidean space the normal and tangent bundles sum to the trivial bundle which is orientable.
 
  • #9
431
0
I don't understand- surely this tubular neighbourhood can just be given the orientation induced by the ambient Euclidean space. Or does this orientation have to have some well-behaved property near the boundary?
 
  • #10
431
0
Oh- are you talking about the boundary of the tubular neighbourhood being orientable? (actually, just looked up orientation for a manifold with boundary, we say a manifold with boundary is orientable if the manifold obtained by glueing together two lots of the manifold with boundary across their boundaries is orientable, wasn't aware of this definition).
 
Last edited:

Related Threads on Is a tube always orientable?

Replies
7
Views
3K
Replies
2
Views
4K
  • Last Post
Replies
2
Views
1K
Replies
1
Views
4K
  • Last Post
Replies
6
Views
13K
Replies
1
Views
2K
Replies
25
Views
13K
  • Last Post
Replies
12
Views
4K
Replies
14
Views
2K
Top