Obstruction Theory and Embeddings

[WWGD]

Does the use of Chern classes and other characteristic classes extend to the existence of embeddings? For example, it is known that $S^n$ , the n-sphere does not embed in $\mathbb R^n$ or $\mathbb R^m$ for $m<n$ (I think this is a corollary of Borsuk Ulam). Can this be determined by Chern classes (or some other general theory, e.g., (co)homology, homotopy theory, etc.)? I think there are some results using the normal bundle of the embedded object, which must be trivial, so that the bundle sum of the embedded figure and its normal complement must be trivial in the ambient space. Are there anything other results?

 

[lavinia]

My knowledge is that obstructions to embeddings and more strongly to immersions depend upon Stiefel- Whitney classes .
However, a manifold may be immersible without being embeddable. The simplest examples are the Klein bottle and the Projective Plane both of which can be immersed in
$R^3$ but not embedded.

As with an embedding, an immersion has a well defined normal bundle. If the immersion is into Euclidean space then the sum of its normal bundle and the tangent bundle
is trivial so by the Whitney product formula their total Stiefel-Whitney classes are inverse to each other. This is the key fact.

Here is a classic example: (See Milnor, Characteristic Classes)

The total Stiefel-Whitney class of the real projective space, $P^n$ is $( 1+x)^{n+1}$ where $x$ is the generator of the first $Z_{2}$ cohomology.
Suppose n is a power of 2. Then the total Whitney class is $1 + x + x^n$ and the total Whitney class of its inverse is $1 + x + ... + x^{n-1}$.

So if $P^n$ is immersible in $R^ {n+m}$, $m$ must be greater than or equal to $n-1$

Another Example:

Suppose a manifold is immersible in a Euclidean space and has a trivial normal bundle.
Then all of its Stiefel-Whitney classes are zero. In particular it must have even Euler characteristic.

All orientable surfaces are all embeddable in 3 space which means that their Euler characteristics are all even because their normal bundle is a trivial line bundle.

 

[WWGD]

Thanks, lavinia, one of these days I will follow up on my pledge to seriously learn characteristic classes; they seem to be helpful in a lot of areas.

 

[lavinia]

Thanks, lavinia, one of these days I will follow up on my pledge to seriously learn characteristic classes; they seem to be helpful in a lot of areas.

I find them fascinating. In some sense, they all come from a theorem of Gauss and Bonnet proved in the 19'h century. It says that the sum of the intrior angles of a geodesic triangle minus π on a surface is equal to the integral of the Gauss curvature over the interior of the triangle. This theorem can be used to show that the integral of the Gauss curvature over the whole surface is its Euler characteristic.

In modern terms the Gauss Bonnet theorem says that the Gauss curvature times the volume element is the Euler class of the tangent bundle. Today we know that any oriented sphere bundle has an Euler class. For Riemannian manifolds there is an n- form built from the curvature forms that integrates to the Euler characteristic of the manifold. This again is the Euler class of the tangent bundle. So the Gauss Bonnet theorem generalizes to higher dimensions.

More generally one has such a differential form in the curvature for any oriented Riemannian vector bundle.

All Chern classes and Pontryagin classes Euler classes of some bundle.

There are also "secondary characteristic classes" built from the Chern and Pontryagin forms and the Euler form that are not integer cohomology classes but take values in R/Z. These classes were discovered by Chern and Simons and some are obstructions to conformal immersions of Riemannian manifolds in Euclidean space.

Finally, the top Stiefel-Whitney class may be thought of as a kind of Euler class. It is the orientation class for a vector bundle using $Z_{2}$ coefficients. It always exists because any vector bundle can be oriented over $Z_{2}$.

 

[blue_raver22]

The use of Chern classes and other characteristic classes can indeed extend to the existence of embeddings. Chern classes are a powerful tool in differential geometry and topology that help us understand the geometry of vector bundles. They can be used to determine the existence of embeddings in certain cases.

For example, the fact that the n-sphere does not embed in $\mathbb R^n$ or $\mathbb R^m$ for $m<n$ is indeed a corollary of Borsuk-Ulam theorem. This theorem states that any continuous map from the n-sphere to $\mathbb{R}^n$ must have a pair of antipodal points that map to the same point in $\mathbb{R}^n$. This means that there cannot be an embedding of the n-sphere in $\mathbb{R}^n$.

This result can also be determined using Chern classes. One can show that the tangent bundle of the n-sphere is non-trivial, which means that it cannot be embedded in the trivial tangent bundle of $\mathbb{R}^n$. This is because the Chern classes of the n-sphere are non-zero, while the Chern classes of the trivial bundle are all zero.

In general, Chern classes can be used to determine the existence of embeddings by looking at the characteristic classes of the embedded object and the ambient space. If the characteristic classes of the embedded object do not match those of the ambient space, then there cannot be an embedding.

There are also other results that use the normal bundle of the embedded object. As you mentioned, the normal bundle must be trivial for an embedding to exist. This means that the bundle sum of the embedded figure and its normal complement must be trivial in the ambient space. This condition can be checked using characteristic classes.

In summary, Chern classes and other characteristic classes can indeed extend to the existence of embeddings. They provide a powerful tool for understanding the geometry of vector bundles and can be used to determine the existence of embeddings in certain cases. Other techniques, such as the study of the normal bundle, can also be used in conjunction with characteristic classes to determine the existence of embeddings.