Understanding Euler Classes in Smooth Manifolds

  • Context: Graduate 
  • Thread starter Thread starter lavinia
  • Start date Start date
  • Tags Tags
    Class Normal
Click For Summary

Discussion Overview

The discussion revolves around the properties of Euler classes in the context of smooth manifolds, specifically focusing on the implications of a compact oriented manifold being homologous to zero in a higher-dimensional ambient manifold. Participants explore the relationship between the Euler class of normal bundles and the topology of the manifolds involved.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant asserts that if a compact oriented n-manifold is homologous to zero in a higher-dimensional manifold, then the Euler class of its normal bundle is zero, citing Poincaré duality and integration of closed forms.
  • Another participant mentions that the Euler class of the odd-dimensional sphere ## S^{2n+1} ## is 2, questioning whether this assumes the sphere is embedded in ## \mathbb{R}^{2n+2} ##.
  • A later reply challenges the previous claim about the Euler class of odd-dimensional spheres, stating it is zero and asking for clarification on the dimensionality referenced.
  • One participant expresses uncertainty about their understanding of the topic and acknowledges a need for further study.

Areas of Agreement / Disagreement

Participants express differing views on the Euler class of spheres, particularly regarding odd versus even dimensions, indicating a lack of consensus on this aspect of the discussion.

Contextual Notes

There are unresolved assumptions regarding the embeddings of manifolds and the definitions of Euler classes in different dimensions, which may affect the claims made.

lavinia
Science Advisor
Messages
3,385
Reaction score
760
I want to make sure of this question: If a compact oriented n manifold is smoothly embedded in another oriented manifold and is homologous to zero as a cycle in this higher dimensional manifold then the Euler class of its normal bundle is zero.

why do i think this?

since M is null homologous as an n cycle, then every closed n form on N, the ambient manifold, integrates to zero on M. by Poincare duality the Thom class of the normal bundle is zero.

so the euler class of the normal bundle of any embedding of a smooth manifold in euclidean space is zero.

yes/no?
 
Physics news on Phys.org
Hi lavinia, sorry for the necropost; I was doing a search, and I came into this:

I don't know enough to give a definitive answer, but, AFAIK, the Euler class of ## S^{2n+1} ## is 2 :

http://en.wikipedia.org/wiki/Euler_class

Although I don't know if it is assumed there that the spheres are embedded in ## \mathbb R^{2n+2} ## ( or higher);
still, if one is talking about normal bundles of a manifold M , there must some ambient space for this to make sense, and I think this article assumes ## S^{2n+1}## is embedded in ## \mathbb R^{2n+2}## ; there is even reference of nowhere-zero sections, which I imagine live in Euclidean (2n+2)-space.
 
WWGD said:
Hi lavinia, sorry for the necropost; I was doing a search, and I came into this:

I don't know enough to give a definitive answer, but, AFAIK, the Euler class of ## S^{2n+1} ## is 2 :

http://en.wikipedia.org/wiki/Euler_class

Although I don't know if it is assumed there that the spheres are embedded in ## \mathbb R^{2n+2} ## ( or higher);
still, if one is talking about normal bundles of a manifold M , there must some ambient space for this to make sense, and I think this article assumes ## S^{2n+1}## is embedded in ## \mathbb R^{2n+2}## ; there'll is even reference of nowhere-zero sections, which I imagine live in Euclidean (2n+2)-space.

Hi WWGD

Thanks for writing. I am not sure what you are saying about the sphere. Can you restate your point? BTW: The Euler class of an odd dimensional sphere is zero. Did you mean even dimensional?

I think I now understand the answer to this post.
I
 
Actually, sorry, I should learn a bit more about this before commenting; I am still at a rudimentary level, I have not done any serious reading yet.
 
lavinia said:
Hi WWGD

Thanks for writing. I am not sure what you are saying about the sphere. Can you restate your point? BTW: The Euler class of an odd dimensional sphere is zero. Did you mean even dimensional?

I think I now understand the answer to this post.
I
Where have you got to in your study of characteristic classes? How is your algebraic topology?
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
7K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 20 ·
Replies
20
Views
6K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
4K
  • · Replies 13 ·
Replies
13
Views
4K
  • · Replies 19 ·
Replies
19
Views
6K
  • · Replies 10 ·
Replies
10
Views
4K
  • · Replies 8 ·
Replies
8
Views
3K