# Examples of non-compact 3-dim submanifolds with non-trivial normal bundle

Let $$\Sigma^3 \subset \mathbb{R}^7$$ be a non-compact, orientable, smooth $$3$$-dimensional submanifold. Its normal bundle $$N\Sigma \to \Sigma$$ has rank $$4$$, and therefore (I think) has a non-vanishing section.

I would be happy to learn that $$N\Sigma$$ must, in fact, be trivial, but I'm guessing that's not true. So, are there simple examples -- the simpler the better, really -- of non-compact, orientable, smooth $$\Sigma^3 \subset \mathbb{R}^7$$ with non-trivial normal bundle?

(I'm guessing there are easy examples, but frankly, even if I were to start listing simple embeddings $$\Sigma^3 \hookrightarrow \mathbb{R}^7$$, I wouldn't know how to quickly compute the relevant characteristic classes (in fact, what would those even be here?).)

Every orientable 3-manifold is parallelizable, i.e. its tangent bundle is trivial. This implies that any normal bundle is stably trivial. So $$N\Sigma$$ is a stably trivial bundle of rank 4 over a 3-dimensional manifold.
Milnor proved that if a vector bundle has rank higher than the dimension of your CW complex, then the vector bundle is trivial, if and only if, the vector bundle is stably trivial. So we conclude that the normal bundle of any embedding of a 3-manifold into $$\mathbb{R}^7$$ (or any greater dimension), is trivial.
• Thank you very much for this answer; it's extremely helpful. If you have a moment, I'm wondering about two generalizations: (i) Is this still true for immersed submanifolds (or only embedded ones), and (ii) Is this still true if we replace $\mathbb{R}^7$ by any $7$-manifold? (i.e.: Is $N\Sigma$ still stably trivial?) Jan 26, 2021 at 8:35
• @JesseMadnick Yes, with the same dimension restriction the result holds for immersions. The other is false, in fact any vector bundle is realized as a normal bundle because the normal bundle of the inclusion of $\Sigma$ as a zero section is the vector bundle itself. Jan 26, 2021 at 13:07