Embeddings in Euclidean space: an introduction to their classification

This page has been accepted for publication in the Bulletin of the Manifold Atlas.

1 Introduction and restrictions

According to Zeeman, the classical problems of topology are the following.

• $The Homeomorphism Problem:$$== Introduction and restrictions == <wikitex>; According to Zeeman, the classical problems of topology are the following. * $The Homeomorphism Problem:$ When are two given spaces homeomorphic? * $The Embedding Problem:$ When does a given space embed into $\Rr^m$? * $The Knotting Problem:$ When are two given embeddings isotopic? This article concerns the Knotting Problem. We recall all known $complete$ $readily$ $calculable$ [[isotopy]] classification results for [[embeddings]] of $closed$ $connected$ manifolds into Euclidean spaces. (Thus for 1- and 2- dimensional manifolds we only indicate that such results are not available.) We present constructions of embeddings and invariants. See more in [[Wikipedia:Knot_theory|knot theory]] <!--%\linebreak ${\underline{complete\ classification\ of\ links\ by\ M.Skopenkov}}$ and open problems below. Later we hope to add information for manifolds with boundary. For more information see --> and [Sk08]. == Notation and conventions == For a manifold $N$ let $E^m_D(N)$ or $E^m_{PL}(N)$ denote the set of [[smooth]] or [[piecesise-linear]] (PL) embeddings $N\to\Rr^m$ up to smooth or PL isotopy. If a category is omitted, then the result holds (or a definition or a construction is given) in both categories. All manifolds in this note are tacitly assumed to be compact. Let $B^n$ be a closed $n$-ball in a closed connected $n$-manifold $N$. Denote $N_0:=Cl(N-B^n)$. Let $\Zz_{(k)}$ be $\Zz$ for $k$ even and $\Zz_2$ for $k$ odd. We omit $\Zz$-coefficients from the notation of (co)homology groups. For an embedding $f:N\to\Rr^{2n}$ denote by * $C_f$ the closure of the complement in $S^m\supset\Rr^m$ to a tubular neighborhood of $f(N)$ and *$\nu_f:\partial C_f\to N$ the restriction of the normal bundle of $f$. == Links to specific results == [[Atlas:hudson_torus|Hudson torus]] </wikitex> == References == {{#RefList:}} <!-- Please modify these headings or choose other headings according to your needs. --> [[Category:Manifolds]] {{Stub}}The Homeomorphism Problem:$ When are two given spaces homeomorphic?
• $The Embedding Problem:$$The Embedding Problem:$ When does a given space embed into $\Rr^m$$\Rr^m$?
• $The Knotting Problem:$$The Knotting Problem:$ When are two given embeddings isotopic?

This article concerns the Knotting Problem. We recall all known $complete$$complete$ $readily$$readily$ $calculable$$calculable$ isotopy classification results for embeddings of $closed$$closed$ $connected$$connected$ manifolds into Euclidean spaces. (Thus for 1- and 2- dimensional manifolds we only indicate that such results are not available.) We present constructions of embeddings and invariants.

See more in knot theory and [Sk08].

1 Notation and conventions

For a manifold $N$$N$ let $E^m_D(N)$$E^m_D(N)$ or $E^m_{PL}(N)$$E^m_{PL}(N)$ denote the set of smooth or piecesise-linear (PL) embeddings $N\to\Rr^m$$N\to\Rr^m$ up to smooth or PL isotopy.

If a category is omitted, then the result holds (or a definition or a 

construction is given) in both categories.

All manifolds in this note are tacitly assumed to be compact.

Let $B^n$$B^n$ be a closed $n$$n$-ball in a closed connected $n$$n$-manifold $N$$N$. Denote $N_0:=Cl(N-B^n)$$N_0:=Cl(N-B^n)$.

Let $\Zz_{(k)}$$\Zz_{(k)}$ be $\Zz$$\Zz$ for $k$$k$ even and $\Zz_2$$\Zz_2$ for $k$$k$ odd.

We omit $\Zz$$\Zz$-coefficients from the notation of (co)homology groups.

For an embedding $f:N\to\Rr^{2n}$$f:N\to\Rr^{2n}$ denote by

• $C_f$$C_f$ the closure of the complement in $S^m\supset\Rr^m$$S^m\supset\Rr^m$ to a tubular neighborhood of $f(N)$$f(N)$ and
• $\nu_f:\partial C_f\to N$$\nu_f:\partial C_f\to N$ the restriction of the normal bundle of $f$$f$.

2 Links to specific results

Hudson torus

2 References

This page has not been refereed. The information given here might be incomplete or provisional.