Normal bundle of Whitney embeddingIs the normal bundle of a torus trivial?Classifying connections on a vector bundleIs it possible to improve the Whitney embedding theorem?If the total Chern class of a vector bundle factors, does it have a sub-bundle?Top self-intersection of the tautological line bundleTautological and normal bundles over flag manifolds and jet bundlesCircle bundles over $CP^1$ and self-intersection number of $CP^1$ embeddingsStrong Whitney embedding theorem for non-compact manifoldsDeformation of vector bundle on projective space with same Hilbert polynomial as multiple of structure sheafnon-triviality of the underlying real vector bundle of the complexification of a real vector bundleConversion formula between “generalized” Stiefel-Whitney class of real vector bundles: O(n) and SO(n)

Normal bundle of Whitney embedding


Is the normal bundle of a torus trivial?Classifying connections on a vector bundleIs it possible to improve the Whitney embedding theorem?If the total Chern class of a vector bundle factors, does it have a sub-bundle?Top self-intersection of the tautological line bundleTautological and normal bundles over flag manifolds and jet bundlesCircle bundles over $CP^1$ and self-intersection number of $CP^1$ embeddingsStrong Whitney embedding theorem for non-compact manifoldsDeformation of vector bundle on projective space with same Hilbert polynomial as multiple of structure sheafnon-triviality of the underlying real vector bundle of the complexification of a real vector bundleConversion formula between “generalized” Stiefel-Whitney class of real vector bundles: O(n) and SO(n)













7












$begingroup$


Let $X$ be a real $n$ dimensional manifold. One knows that it can be embedded into $mathbbR^2n$ by the Whitney embedding theorem. The normal bundle for such an embedding will be a rank $n$ real vector bundle. I would be interested in understanding the connection between this embedding, its normal bundle and the rank $n$ bundles on $X$.



  1. How does the normal bundle change under the isotopy of this embedding?


  2. Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?


  3. If the answer for 2. is negative, is it still possible to find an embedding of $X$ into $mathbbR^2n$ for each vector bundle of rank $n$, such that the corresponding normal bundle is isomorphic to it?


I was thinking that the answer should have something to do with the self-intersection of $X$ in the vector bundles and its self-intersection in $mathbbR^2n$, but don't really see how to use that.



Edit: I have realized that it shouldn't be possible to obtain a vector bundle with a non-zero self intersection of the zero section like this. However, I would still like to know if it works for all the other cases.



Edit 2: Based on Mike's comment, I have realized I have missed something very obvious. I am just thinking whether one still gets all the rank $n$ vector bundles which complete the tangent bundle to a trivial $2n$ bundle.










share|cite|improve this question











$endgroup$









  • 9




    $begingroup$
    (1) It is unchanged up to isomorphism. (2) No. All normal bundles obtained by an embedding into $Bbb R^N$ for any $N$ have the property that $TM oplus nu$ is trivial. That is, $nu$ is a "stable additive inverse" of $TM$. This completely determines its Stiefel-Whitney classes from those of $TM$ and thus is hugely constrained.
    $endgroup$
    – Mike Miller
    Jul 27 at 19:53






  • 3




    $begingroup$
    Your remaining question is interesting. This can be done for immersions by the Smale-Hirsch theorem (and embeddings one dimension up). Using the assumption that $e(nu) = 0$ (essentially your condition on self-intersection), can one cancel the double points a la the Whitney trick? I don't know.
    $endgroup$
    – Mike Miller
    Jul 27 at 22:25






  • 1




    $begingroup$
    May be this post 9and its related-connected post) would be related to the question: mathoverflow.net/questions/237384/…
    $endgroup$
    – Ali Taghavi
    Jul 28 at 10:54







  • 1




    $begingroup$
    To follow up on what Mike wrote: the Smale-Hirsch h-principle shows that any open parallelizable $m$-manifold immerses into $mathbb R^m$, and the corrsponding statement for embeddings is not true (I think). One just has to find a counterexample that is the total space of a $mathbb R^n$ vector bundle over a smooth $n$-manifold.
    $endgroup$
    – Igor Belegradek
    Jul 28 at 14:18
















7












$begingroup$


Let $X$ be a real $n$ dimensional manifold. One knows that it can be embedded into $mathbbR^2n$ by the Whitney embedding theorem. The normal bundle for such an embedding will be a rank $n$ real vector bundle. I would be interested in understanding the connection between this embedding, its normal bundle and the rank $n$ bundles on $X$.



  1. How does the normal bundle change under the isotopy of this embedding?


  2. Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?


  3. If the answer for 2. is negative, is it still possible to find an embedding of $X$ into $mathbbR^2n$ for each vector bundle of rank $n$, such that the corresponding normal bundle is isomorphic to it?


I was thinking that the answer should have something to do with the self-intersection of $X$ in the vector bundles and its self-intersection in $mathbbR^2n$, but don't really see how to use that.



Edit: I have realized that it shouldn't be possible to obtain a vector bundle with a non-zero self intersection of the zero section like this. However, I would still like to know if it works for all the other cases.



Edit 2: Based on Mike's comment, I have realized I have missed something very obvious. I am just thinking whether one still gets all the rank $n$ vector bundles which complete the tangent bundle to a trivial $2n$ bundle.










share|cite|improve this question











$endgroup$









  • 9




    $begingroup$
    (1) It is unchanged up to isomorphism. (2) No. All normal bundles obtained by an embedding into $Bbb R^N$ for any $N$ have the property that $TM oplus nu$ is trivial. That is, $nu$ is a "stable additive inverse" of $TM$. This completely determines its Stiefel-Whitney classes from those of $TM$ and thus is hugely constrained.
    $endgroup$
    – Mike Miller
    Jul 27 at 19:53






  • 3




    $begingroup$
    Your remaining question is interesting. This can be done for immersions by the Smale-Hirsch theorem (and embeddings one dimension up). Using the assumption that $e(nu) = 0$ (essentially your condition on self-intersection), can one cancel the double points a la the Whitney trick? I don't know.
    $endgroup$
    – Mike Miller
    Jul 27 at 22:25






  • 1




    $begingroup$
    May be this post 9and its related-connected post) would be related to the question: mathoverflow.net/questions/237384/…
    $endgroup$
    – Ali Taghavi
    Jul 28 at 10:54







  • 1




    $begingroup$
    To follow up on what Mike wrote: the Smale-Hirsch h-principle shows that any open parallelizable $m$-manifold immerses into $mathbb R^m$, and the corrsponding statement for embeddings is not true (I think). One just has to find a counterexample that is the total space of a $mathbb R^n$ vector bundle over a smooth $n$-manifold.
    $endgroup$
    – Igor Belegradek
    Jul 28 at 14:18














7












7








7


1



$begingroup$


Let $X$ be a real $n$ dimensional manifold. One knows that it can be embedded into $mathbbR^2n$ by the Whitney embedding theorem. The normal bundle for such an embedding will be a rank $n$ real vector bundle. I would be interested in understanding the connection between this embedding, its normal bundle and the rank $n$ bundles on $X$.



  1. How does the normal bundle change under the isotopy of this embedding?


  2. Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?


  3. If the answer for 2. is negative, is it still possible to find an embedding of $X$ into $mathbbR^2n$ for each vector bundle of rank $n$, such that the corresponding normal bundle is isomorphic to it?


I was thinking that the answer should have something to do with the self-intersection of $X$ in the vector bundles and its self-intersection in $mathbbR^2n$, but don't really see how to use that.



Edit: I have realized that it shouldn't be possible to obtain a vector bundle with a non-zero self intersection of the zero section like this. However, I would still like to know if it works for all the other cases.



Edit 2: Based on Mike's comment, I have realized I have missed something very obvious. I am just thinking whether one still gets all the rank $n$ vector bundles which complete the tangent bundle to a trivial $2n$ bundle.










share|cite|improve this question











$endgroup$




Let $X$ be a real $n$ dimensional manifold. One knows that it can be embedded into $mathbbR^2n$ by the Whitney embedding theorem. The normal bundle for such an embedding will be a rank $n$ real vector bundle. I would be interested in understanding the connection between this embedding, its normal bundle and the rank $n$ bundles on $X$.



  1. How does the normal bundle change under the isotopy of this embedding?


  2. Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?


  3. If the answer for 2. is negative, is it still possible to find an embedding of $X$ into $mathbbR^2n$ for each vector bundle of rank $n$, such that the corresponding normal bundle is isomorphic to it?


I was thinking that the answer should have something to do with the self-intersection of $X$ in the vector bundles and its self-intersection in $mathbbR^2n$, but don't really see how to use that.



Edit: I have realized that it shouldn't be possible to obtain a vector bundle with a non-zero self intersection of the zero section like this. However, I would still like to know if it works for all the other cases.



Edit 2: Based on Mike's comment, I have realized I have missed something very obvious. I am just thinking whether one still gets all the rank $n$ vector bundles which complete the tangent bundle to a trivial $2n$ bundle.







dg.differential-geometry gn.general-topology vector-bundles embeddings






share|cite|improve this question















share|cite|improve this question













share|cite|improve this question




share|cite|improve this question








edited Jul 27 at 21:22







Arkadij Bojko

















asked Jul 27 at 19:07









Arkadij BojkoArkadij Bojko

556 bronze badges




556 bronze badges










  • 9




    $begingroup$
    (1) It is unchanged up to isomorphism. (2) No. All normal bundles obtained by an embedding into $Bbb R^N$ for any $N$ have the property that $TM oplus nu$ is trivial. That is, $nu$ is a "stable additive inverse" of $TM$. This completely determines its Stiefel-Whitney classes from those of $TM$ and thus is hugely constrained.
    $endgroup$
    – Mike Miller
    Jul 27 at 19:53






  • 3




    $begingroup$
    Your remaining question is interesting. This can be done for immersions by the Smale-Hirsch theorem (and embeddings one dimension up). Using the assumption that $e(nu) = 0$ (essentially your condition on self-intersection), can one cancel the double points a la the Whitney trick? I don't know.
    $endgroup$
    – Mike Miller
    Jul 27 at 22:25






  • 1




    $begingroup$
    May be this post 9and its related-connected post) would be related to the question: mathoverflow.net/questions/237384/…
    $endgroup$
    – Ali Taghavi
    Jul 28 at 10:54







  • 1




    $begingroup$
    To follow up on what Mike wrote: the Smale-Hirsch h-principle shows that any open parallelizable $m$-manifold immerses into $mathbb R^m$, and the corrsponding statement for embeddings is not true (I think). One just has to find a counterexample that is the total space of a $mathbb R^n$ vector bundle over a smooth $n$-manifold.
    $endgroup$
    – Igor Belegradek
    Jul 28 at 14:18













  • 9




    $begingroup$
    (1) It is unchanged up to isomorphism. (2) No. All normal bundles obtained by an embedding into $Bbb R^N$ for any $N$ have the property that $TM oplus nu$ is trivial. That is, $nu$ is a "stable additive inverse" of $TM$. This completely determines its Stiefel-Whitney classes from those of $TM$ and thus is hugely constrained.
    $endgroup$
    – Mike Miller
    Jul 27 at 19:53






  • 3




    $begingroup$
    Your remaining question is interesting. This can be done for immersions by the Smale-Hirsch theorem (and embeddings one dimension up). Using the assumption that $e(nu) = 0$ (essentially your condition on self-intersection), can one cancel the double points a la the Whitney trick? I don't know.
    $endgroup$
    – Mike Miller
    Jul 27 at 22:25






  • 1




    $begingroup$
    May be this post 9and its related-connected post) would be related to the question: mathoverflow.net/questions/237384/…
    $endgroup$
    – Ali Taghavi
    Jul 28 at 10:54







  • 1




    $begingroup$
    To follow up on what Mike wrote: the Smale-Hirsch h-principle shows that any open parallelizable $m$-manifold immerses into $mathbb R^m$, and the corrsponding statement for embeddings is not true (I think). One just has to find a counterexample that is the total space of a $mathbb R^n$ vector bundle over a smooth $n$-manifold.
    $endgroup$
    – Igor Belegradek
    Jul 28 at 14:18








9




9




$begingroup$
(1) It is unchanged up to isomorphism. (2) No. All normal bundles obtained by an embedding into $Bbb R^N$ for any $N$ have the property that $TM oplus nu$ is trivial. That is, $nu$ is a "stable additive inverse" of $TM$. This completely determines its Stiefel-Whitney classes from those of $TM$ and thus is hugely constrained.
$endgroup$
– Mike Miller
Jul 27 at 19:53




$begingroup$
(1) It is unchanged up to isomorphism. (2) No. All normal bundles obtained by an embedding into $Bbb R^N$ for any $N$ have the property that $TM oplus nu$ is trivial. That is, $nu$ is a "stable additive inverse" of $TM$. This completely determines its Stiefel-Whitney classes from those of $TM$ and thus is hugely constrained.
$endgroup$
– Mike Miller
Jul 27 at 19:53




3




3




$begingroup$
Your remaining question is interesting. This can be done for immersions by the Smale-Hirsch theorem (and embeddings one dimension up). Using the assumption that $e(nu) = 0$ (essentially your condition on self-intersection), can one cancel the double points a la the Whitney trick? I don't know.
$endgroup$
– Mike Miller
Jul 27 at 22:25




$begingroup$
Your remaining question is interesting. This can be done for immersions by the Smale-Hirsch theorem (and embeddings one dimension up). Using the assumption that $e(nu) = 0$ (essentially your condition on self-intersection), can one cancel the double points a la the Whitney trick? I don't know.
$endgroup$
– Mike Miller
Jul 27 at 22:25




1




1




$begingroup$
May be this post 9and its related-connected post) would be related to the question: mathoverflow.net/questions/237384/…
$endgroup$
– Ali Taghavi
Jul 28 at 10:54





$begingroup$
May be this post 9and its related-connected post) would be related to the question: mathoverflow.net/questions/237384/…
$endgroup$
– Ali Taghavi
Jul 28 at 10:54





1




1




$begingroup$
To follow up on what Mike wrote: the Smale-Hirsch h-principle shows that any open parallelizable $m$-manifold immerses into $mathbb R^m$, and the corrsponding statement for embeddings is not true (I think). One just has to find a counterexample that is the total space of a $mathbb R^n$ vector bundle over a smooth $n$-manifold.
$endgroup$
– Igor Belegradek
Jul 28 at 14:18





$begingroup$
To follow up on what Mike wrote: the Smale-Hirsch h-principle shows that any open parallelizable $m$-manifold immerses into $mathbb R^m$, and the corrsponding statement for embeddings is not true (I think). One just has to find a counterexample that is the total space of a $mathbb R^n$ vector bundle over a smooth $n$-manifold.
$endgroup$
– Igor Belegradek
Jul 28 at 14:18











1 Answer
1






active

oldest

votes


















4












$begingroup$

This is to shed some light on Part 3 which asks for a classification of normal vector bundles of a smooth $n$-dimensional submanifold $X$ of $mathbb R^2n$.



The normal bundle $nu$ to $X$ is stably isomorphic to the negative of $TX$, and in particular the Pontryagin and Stiefel-Whitney classes of $nu$ are completely determined by those of $X$. Also if $X$ is orientable, then the Euler class of $nu$ vanishes (contactibility of $mathbb R^2n$ allows to push the embedding off itself). On the other hand, if $X$ is non-orientable, the twisted
Euler class (i.e., the first obstruction to the existence of a nowhere zero section) of $nu$ can be nonzero and is an important invariant (see below).



For simplicity let us assume that $X$ is closed. Let us also ignore the cases $nle 3$ where if $X$ is orientable one can use the classification of oriented bundles Dold-Whitney in [Classification of Oriented Sphere Bundles Over A 4-Complex], and presumably with some work one deal with the nonorientable case.



Instead of classifying normal bundles to $X$ let us describe isotopy classes of embeddings of $X$ into $mathbb R^2n$. Of course, isotopic embeddings have isomorphic normal bundles. One quick statement is a theorem of Haefliger-Hirsch [On the existence and classification of differentiable embeddings.
Topology 2 1963 129–135] that



If $X$ is simply-connected and $nge 4$, then there is only one isotopy class of embeddings from $X$ into $mathbb R^2n$, and hence, only one normal bundle.



More generally,
if $X$ is orientable and $nge 4$, then the set of isotopy classes of smooth embeddings of $X$ into $mathbb R^2n$ is bijective to $H_1(X)$ if $n$ is odd, and to $H_1(X;mathbb Z_2)$ if $n$ is even.



If $X$ is non-orientable and $n$ is even and $ge 4$, there is a more complicated classification by Kitada in
[Classification of embeddings of a non-orientable manifold.
J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18 (1971/72), 435–442]. The conclusion is that the set of isotopy classes is bijective to $mathbb Zoplus H^n-1(X)/K$ where $H$ is a certain subgroup of $H^n-1(X)$. The $mathbb Z$-factor corresponds to the twisted Euler class of $nu$, and in particular, if $H^n-1(X)=0$, then $nu$ is completely determined by the twisted Euler class.



I don't know what happens if $X$ is non-orientable and $n$ is odd.






share|cite|improve this answer











$endgroup$














  • $begingroup$
    Just a comment: if $n$ is odd, then $X$ embeds in $mathbbR^2n-1$. But presumably there can be embeddings in $mathbbR^2n$ for which the normal bundle is not stabilized. mathscinet.ams.org/mathscinet-getitem?mr=149494
    $endgroup$
    – Ian Agol
    Jul 30 at 16:38













Your Answer








StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "504"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);













draft saved

draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f337100%2fnormal-bundle-of-whitney-embedding%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown

























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes









4












$begingroup$

This is to shed some light on Part 3 which asks for a classification of normal vector bundles of a smooth $n$-dimensional submanifold $X$ of $mathbb R^2n$.



The normal bundle $nu$ to $X$ is stably isomorphic to the negative of $TX$, and in particular the Pontryagin and Stiefel-Whitney classes of $nu$ are completely determined by those of $X$. Also if $X$ is orientable, then the Euler class of $nu$ vanishes (contactibility of $mathbb R^2n$ allows to push the embedding off itself). On the other hand, if $X$ is non-orientable, the twisted
Euler class (i.e., the first obstruction to the existence of a nowhere zero section) of $nu$ can be nonzero and is an important invariant (see below).



For simplicity let us assume that $X$ is closed. Let us also ignore the cases $nle 3$ where if $X$ is orientable one can use the classification of oriented bundles Dold-Whitney in [Classification of Oriented Sphere Bundles Over A 4-Complex], and presumably with some work one deal with the nonorientable case.



Instead of classifying normal bundles to $X$ let us describe isotopy classes of embeddings of $X$ into $mathbb R^2n$. Of course, isotopic embeddings have isomorphic normal bundles. One quick statement is a theorem of Haefliger-Hirsch [On the existence and classification of differentiable embeddings.
Topology 2 1963 129–135] that



If $X$ is simply-connected and $nge 4$, then there is only one isotopy class of embeddings from $X$ into $mathbb R^2n$, and hence, only one normal bundle.



More generally,
if $X$ is orientable and $nge 4$, then the set of isotopy classes of smooth embeddings of $X$ into $mathbb R^2n$ is bijective to $H_1(X)$ if $n$ is odd, and to $H_1(X;mathbb Z_2)$ if $n$ is even.



If $X$ is non-orientable and $n$ is even and $ge 4$, there is a more complicated classification by Kitada in
[Classification of embeddings of a non-orientable manifold.
J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18 (1971/72), 435–442]. The conclusion is that the set of isotopy classes is bijective to $mathbb Zoplus H^n-1(X)/K$ where $H$ is a certain subgroup of $H^n-1(X)$. The $mathbb Z$-factor corresponds to the twisted Euler class of $nu$, and in particular, if $H^n-1(X)=0$, then $nu$ is completely determined by the twisted Euler class.



I don't know what happens if $X$ is non-orientable and $n$ is odd.






share|cite|improve this answer











$endgroup$














  • $begingroup$
    Just a comment: if $n$ is odd, then $X$ embeds in $mathbbR^2n-1$. But presumably there can be embeddings in $mathbbR^2n$ for which the normal bundle is not stabilized. mathscinet.ams.org/mathscinet-getitem?mr=149494
    $endgroup$
    – Ian Agol
    Jul 30 at 16:38















4












$begingroup$

This is to shed some light on Part 3 which asks for a classification of normal vector bundles of a smooth $n$-dimensional submanifold $X$ of $mathbb R^2n$.



The normal bundle $nu$ to $X$ is stably isomorphic to the negative of $TX$, and in particular the Pontryagin and Stiefel-Whitney classes of $nu$ are completely determined by those of $X$. Also if $X$ is orientable, then the Euler class of $nu$ vanishes (contactibility of $mathbb R^2n$ allows to push the embedding off itself). On the other hand, if $X$ is non-orientable, the twisted
Euler class (i.e., the first obstruction to the existence of a nowhere zero section) of $nu$ can be nonzero and is an important invariant (see below).



For simplicity let us assume that $X$ is closed. Let us also ignore the cases $nle 3$ where if $X$ is orientable one can use the classification of oriented bundles Dold-Whitney in [Classification of Oriented Sphere Bundles Over A 4-Complex], and presumably with some work one deal with the nonorientable case.



Instead of classifying normal bundles to $X$ let us describe isotopy classes of embeddings of $X$ into $mathbb R^2n$. Of course, isotopic embeddings have isomorphic normal bundles. One quick statement is a theorem of Haefliger-Hirsch [On the existence and classification of differentiable embeddings.
Topology 2 1963 129–135] that



If $X$ is simply-connected and $nge 4$, then there is only one isotopy class of embeddings from $X$ into $mathbb R^2n$, and hence, only one normal bundle.



More generally,
if $X$ is orientable and $nge 4$, then the set of isotopy classes of smooth embeddings of $X$ into $mathbb R^2n$ is bijective to $H_1(X)$ if $n$ is odd, and to $H_1(X;mathbb Z_2)$ if $n$ is even.



If $X$ is non-orientable and $n$ is even and $ge 4$, there is a more complicated classification by Kitada in
[Classification of embeddings of a non-orientable manifold.
J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18 (1971/72), 435–442]. The conclusion is that the set of isotopy classes is bijective to $mathbb Zoplus H^n-1(X)/K$ where $H$ is a certain subgroup of $H^n-1(X)$. The $mathbb Z$-factor corresponds to the twisted Euler class of $nu$, and in particular, if $H^n-1(X)=0$, then $nu$ is completely determined by the twisted Euler class.



I don't know what happens if $X$ is non-orientable and $n$ is odd.






share|cite|improve this answer











$endgroup$














  • $begingroup$
    Just a comment: if $n$ is odd, then $X$ embeds in $mathbbR^2n-1$. But presumably there can be embeddings in $mathbbR^2n$ for which the normal bundle is not stabilized. mathscinet.ams.org/mathscinet-getitem?mr=149494
    $endgroup$
    – Ian Agol
    Jul 30 at 16:38













4












4








4





$begingroup$

This is to shed some light on Part 3 which asks for a classification of normal vector bundles of a smooth $n$-dimensional submanifold $X$ of $mathbb R^2n$.



The normal bundle $nu$ to $X$ is stably isomorphic to the negative of $TX$, and in particular the Pontryagin and Stiefel-Whitney classes of $nu$ are completely determined by those of $X$. Also if $X$ is orientable, then the Euler class of $nu$ vanishes (contactibility of $mathbb R^2n$ allows to push the embedding off itself). On the other hand, if $X$ is non-orientable, the twisted
Euler class (i.e., the first obstruction to the existence of a nowhere zero section) of $nu$ can be nonzero and is an important invariant (see below).



For simplicity let us assume that $X$ is closed. Let us also ignore the cases $nle 3$ where if $X$ is orientable one can use the classification of oriented bundles Dold-Whitney in [Classification of Oriented Sphere Bundles Over A 4-Complex], and presumably with some work one deal with the nonorientable case.



Instead of classifying normal bundles to $X$ let us describe isotopy classes of embeddings of $X$ into $mathbb R^2n$. Of course, isotopic embeddings have isomorphic normal bundles. One quick statement is a theorem of Haefliger-Hirsch [On the existence and classification of differentiable embeddings.
Topology 2 1963 129–135] that



If $X$ is simply-connected and $nge 4$, then there is only one isotopy class of embeddings from $X$ into $mathbb R^2n$, and hence, only one normal bundle.



More generally,
if $X$ is orientable and $nge 4$, then the set of isotopy classes of smooth embeddings of $X$ into $mathbb R^2n$ is bijective to $H_1(X)$ if $n$ is odd, and to $H_1(X;mathbb Z_2)$ if $n$ is even.



If $X$ is non-orientable and $n$ is even and $ge 4$, there is a more complicated classification by Kitada in
[Classification of embeddings of a non-orientable manifold.
J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18 (1971/72), 435–442]. The conclusion is that the set of isotopy classes is bijective to $mathbb Zoplus H^n-1(X)/K$ where $H$ is a certain subgroup of $H^n-1(X)$. The $mathbb Z$-factor corresponds to the twisted Euler class of $nu$, and in particular, if $H^n-1(X)=0$, then $nu$ is completely determined by the twisted Euler class.



I don't know what happens if $X$ is non-orientable and $n$ is odd.






share|cite|improve this answer











$endgroup$



This is to shed some light on Part 3 which asks for a classification of normal vector bundles of a smooth $n$-dimensional submanifold $X$ of $mathbb R^2n$.



The normal bundle $nu$ to $X$ is stably isomorphic to the negative of $TX$, and in particular the Pontryagin and Stiefel-Whitney classes of $nu$ are completely determined by those of $X$. Also if $X$ is orientable, then the Euler class of $nu$ vanishes (contactibility of $mathbb R^2n$ allows to push the embedding off itself). On the other hand, if $X$ is non-orientable, the twisted
Euler class (i.e., the first obstruction to the existence of a nowhere zero section) of $nu$ can be nonzero and is an important invariant (see below).



For simplicity let us assume that $X$ is closed. Let us also ignore the cases $nle 3$ where if $X$ is orientable one can use the classification of oriented bundles Dold-Whitney in [Classification of Oriented Sphere Bundles Over A 4-Complex], and presumably with some work one deal with the nonorientable case.



Instead of classifying normal bundles to $X$ let us describe isotopy classes of embeddings of $X$ into $mathbb R^2n$. Of course, isotopic embeddings have isomorphic normal bundles. One quick statement is a theorem of Haefliger-Hirsch [On the existence and classification of differentiable embeddings.
Topology 2 1963 129–135] that



If $X$ is simply-connected and $nge 4$, then there is only one isotopy class of embeddings from $X$ into $mathbb R^2n$, and hence, only one normal bundle.



More generally,
if $X$ is orientable and $nge 4$, then the set of isotopy classes of smooth embeddings of $X$ into $mathbb R^2n$ is bijective to $H_1(X)$ if $n$ is odd, and to $H_1(X;mathbb Z_2)$ if $n$ is even.



If $X$ is non-orientable and $n$ is even and $ge 4$, there is a more complicated classification by Kitada in
[Classification of embeddings of a non-orientable manifold.
J. Fac. Sci. Univ. Tokyo Sect. IA Math. 18 (1971/72), 435–442]. The conclusion is that the set of isotopy classes is bijective to $mathbb Zoplus H^n-1(X)/K$ where $H$ is a certain subgroup of $H^n-1(X)$. The $mathbb Z$-factor corresponds to the twisted Euler class of $nu$, and in particular, if $H^n-1(X)=0$, then $nu$ is completely determined by the twisted Euler class.



I don't know what happens if $X$ is non-orientable and $n$ is odd.







share|cite|improve this answer














share|cite|improve this answer



share|cite|improve this answer








edited Jul 30 at 1:13

























answered Jul 29 at 21:39









Igor BelegradekIgor Belegradek

20k1 gold badge45 silver badges129 bronze badges




20k1 gold badge45 silver badges129 bronze badges














  • $begingroup$
    Just a comment: if $n$ is odd, then $X$ embeds in $mathbbR^2n-1$. But presumably there can be embeddings in $mathbbR^2n$ for which the normal bundle is not stabilized. mathscinet.ams.org/mathscinet-getitem?mr=149494
    $endgroup$
    – Ian Agol
    Jul 30 at 16:38
















  • $begingroup$
    Just a comment: if $n$ is odd, then $X$ embeds in $mathbbR^2n-1$. But presumably there can be embeddings in $mathbbR^2n$ for which the normal bundle is not stabilized. mathscinet.ams.org/mathscinet-getitem?mr=149494
    $endgroup$
    – Ian Agol
    Jul 30 at 16:38















$begingroup$
Just a comment: if $n$ is odd, then $X$ embeds in $mathbbR^2n-1$. But presumably there can be embeddings in $mathbbR^2n$ for which the normal bundle is not stabilized. mathscinet.ams.org/mathscinet-getitem?mr=149494
$endgroup$
– Ian Agol
Jul 30 at 16:38




$begingroup$
Just a comment: if $n$ is odd, then $X$ embeds in $mathbbR^2n-1$. But presumably there can be embeddings in $mathbbR^2n$ for which the normal bundle is not stabilized. mathscinet.ams.org/mathscinet-getitem?mr=149494
$endgroup$
– Ian Agol
Jul 30 at 16:38

















draft saved

draft discarded
















































Thanks for contributing an answer to MathOverflow!


  • Please be sure to answer the question. Provide details and share your research!

But avoid


  • Asking for help, clarification, or responding to other answers.

  • Making statements based on opinion; back them up with references or personal experience.

Use MathJax to format equations. MathJax reference.


To learn more, see our tips on writing great answers.




draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmathoverflow.net%2fquestions%2f337100%2fnormal-bundle-of-whitney-embedding%23new-answer', 'question_page');

);

Post as a guest















Required, but never shown





















































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown

































Required, but never shown














Required, but never shown












Required, but never shown







Required, but never shown







Popular posts from this blog

Category:9 (number) SubcategoriesMedia in category "9 (number)"Navigation menuUpload mediaGND ID: 4485639-8Library of Congress authority ID: sh85091979ReasonatorScholiaStatistics

Circuit construction for execution of conditional statements using least significant bitHow are two different registers being used as “control”?How exactly is the stated composite state of the two registers being produced using the $R_zz$ controlled rotations?Efficiently performing controlled rotations in HHLWould this quantum algorithm implementation work?How to prepare a superposed states of odd integers from $1$ to $sqrtN$?Why is this implementation of the order finding algorithm not working?Circuit construction for Hamiltonian simulationHow can I invert the least significant bit of a certain term of a superposed state?Implementing an oracleImplementing a controlled sum operation

Magento 2 “No Payment Methods” in Admin New OrderHow to integrate Paypal Express Checkout with the Magento APIMagento 1.5 - Sales > Order > edit order and shipping methods disappearAuto Invoice Check/Money Order Payment methodAdd more simple payment methods?Shipping methods not showingWhat should I do to change payment methods if changing the configuration has no effects?1.9 - No Payment Methods showing upMy Payment Methods not Showing for downloadable/virtual product when checkout?Magento2 API to access internal payment methodHow to call an existing payment methods in the registration form?