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)
$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$.
How does the normal bundle change under the isotopy of this embedding?
Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?
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
$endgroup$
add a comment |
$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$.
How does the normal bundle change under the isotopy of this embedding?
Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?
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
$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
add a comment |
$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$.
How does the normal bundle change under the isotopy of this embedding?
Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?
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
$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$.
How does the normal bundle change under the isotopy of this embedding?
Is it possible to obtain all the isomorphism classes of rank $n$ vector bundles by such isotopies?
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
dg.differential-geometry gn.general-topology vector-bundles embeddings
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
add a comment |
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
add a comment |
1 Answer
1
active
oldest
votes
$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.
$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
add a comment |
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
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
$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.
$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
add a comment |
$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.
$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
add a comment |
$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.
$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.
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
add a comment |
$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
add a comment |
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.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
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
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
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
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