Knots, i.e. embeddings of spheres

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

1 Introduction

See general introduction on embeddings, notation and conventions in [Skopenkov2016c, $\S$${{Stub}} == Introduction == <wikitex>; See [[High_codimension_embeddings#Introduction|general introduction on embeddings]], [[High_codimension_embeddings#Notation and conventions|notation and conventions]] in \cite[$\S\S$1, $\S$$\S$2].

2 Examples

Analogously to the Haefliger trefoil knot for $k>1$$k>1$ one constructs a smooth embedding $t:S^{2k-1}\to\Rr^{3k}$$t:S^{2k-1}\to\Rr^{3k}$. For $k$$k$ even this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz$$E_D^{3k}(S^{2k-1})\cong\Zz$; it is not smoothly isotopic to the standard embedding, but is piecewise smoothly isotopic to it [Haefliger1962]. It would be interesting to know if for $k$$k$ odd this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz_2$$E_D^{3k}(S^{2k-1})\cong\Zz_2$. The last phrase of [Haefliger1962t] suggests that this is true for $k=3$$k=3$.

3 Classification

For $m\ge n+3$$m\ge n+3$ the group $E^m(S^n)$$E^m(S^n)$ has been described in terms of exact sequences involving the homotopy groups of spheres and the homotopy groups of the pairs $(SG_n,SO_n)$$(SG_n,SO_n)$ for $n = n_i+1$$n = n_i+1$ and $n_i$$n_i$ [Haefliger1966a], cf. [Levine1965], [Habegger1986]. Here $SG_n$$SG_n$ is the space of maps $f \colon S^{n-1} \to S^{n-1}$$f \colon S^{n-1} \to S^{n-1}$ of degree $1$$1$. Restricting an element of $SO_n$$SO_n$ to $S^{n-1} \subset \Rr^n$$S^{n-1} \subset \Rr^n$ identifies $SO_n$$SO_n$ as a subspace of $G_n$$G_n$.

For some readily calculable results see [Skopenkov2006, $\S$$\S$3.3].

(I would suggest including the classification of simple knots a la Kearton et. al. in this section.---John Klein)

4 References

• [Habegger1986] N. Habegger, Knots and links in codimension greater than 2, Topology, 25:3 (1986) 253--260.
• [Haefliger1962] A. Haefliger, Knotted $(4k-1)$$(4k-1)$-spheres in $6k$$6k$-space, Ann. of Math. (2) 75 (1962), 452–466. MR0145539 (26 #3070) Zbl 0105.17407
• [Haefliger1962t] A. Haefliger, Differentiable links, Topology, 1 (1962) 241--244

• [Haefliger1966a] A. Haefliger, Enlacements de sphères en co-dimension supérieure à 2, Comment. Math. Helv.41 (1966), 51-72. MR0212818 (35 #3683) Zbl 0149.20801
• [Levine1965] J. Levine, A classification of differentiable knots, Ann. of Math. (2) 82 (1965), 15–50. MR0180981 (31 #5211) Zbl 0136.21102
• [Skopenkov2006] A. Skopenkov, Embedding and knotting of manifolds in Euclidean spaces, in: Surveys in Contemporary Mathematics, Ed. N. Young and Y. Choi, London Math. Soc. Lect. Notes, 347 (2008) 248-342. Available at the arXiv:0604045.
• [Skopenkov2016c] A. Skopenkov, Embeddings in Euclidean space: an introduction to their classification, to appear to Bull. Man. Atl.

, $\S]{Skopenkov2016c}. == Examples == ; Analogously to [[3-manifolds_in_6-space#Examples|the Haefliger trefoil knot]] for $k>1$ one constructs a smooth embedding $t:S^{2k-1}\to\Rr^{3k}$. For $k$ even this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz$; it is not ''smoothly'' isotopic to the standard embedding, but is ''piecewise smoothly'' isotopic to it \cite{Haefliger1962}. It would be interesting to know if for $k$ odd this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz_2$. The last phrase of \cite{Haefliger1962t} suggests that this is true for $k=3$. == Classification == ; For $m\ge n+3$ the group $E^m(S^n)$ has been described in terms of exact sequences involving the homotopy groups of spheres and the homotopy groups of the pairs $(SG_n,SO_n)$ for $n = n_i+1$ and $n_i$ \cite{Haefliger1966a}, cf. \cite{Levine1965}, \cite{Habegger1986}. Here $SG_n$ is the space of maps $f \colon S^{n-1} \to S^{n-1}$ of degree \S1, $\S$$\S$2].

2 Examples

Analogously to the Haefliger trefoil knot for $k>1$$k>1$ one constructs a smooth embedding $t:S^{2k-1}\to\Rr^{3k}$$t:S^{2k-1}\to\Rr^{3k}$. For $k$$k$ even this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz$$E_D^{3k}(S^{2k-1})\cong\Zz$; it is not smoothly isotopic to the standard embedding, but is piecewise smoothly isotopic to it [Haefliger1962]. It would be interesting to know if for $k$$k$ odd this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz_2$$E_D^{3k}(S^{2k-1})\cong\Zz_2$. The last phrase of [Haefliger1962t] suggests that this is true for $k=3$$k=3$.

3 Classification

For $m\ge n+3$$m\ge n+3$ the group $E^m(S^n)$$E^m(S^n)$ has been described in terms of exact sequences involving the homotopy groups of spheres and the homotopy groups of the pairs $(SG_n,SO_n)$$(SG_n,SO_n)$ for $n = n_i+1$$n = n_i+1$ and $n_i$$n_i$ [Haefliger1966a], cf. [Levine1965], [Habegger1986]. Here $SG_n$$SG_n$ is the space of maps $f \colon S^{n-1} \to S^{n-1}$$f \colon S^{n-1} \to S^{n-1}$ of degree $1$$1$. Restricting an element of $SO_n$$SO_n$ to $S^{n-1} \subset \Rr^n$$S^{n-1} \subset \Rr^n$ identifies $SO_n$$SO_n$ as a subspace of $G_n$$G_n$.

For some readily calculable results see [Skopenkov2006, $\S$$\S$3.3].

(I would suggest including the classification of simple knots a la Kearton et. al. in this section.---John Klein)

4 References

• [Habegger1986] N. Habegger, Knots and links in codimension greater than 2, Topology, 25:3 (1986) 253--260.
• [Haefliger1962] A. Haefliger, Knotted $(4k-1)$$(4k-1)$-spheres in $6k$$6k$-space, Ann. of Math. (2) 75 (1962), 452–466. MR0145539 (26 #3070) Zbl 0105.17407
• [Haefliger1962t] A. Haefliger, Differentiable links, Topology, 1 (1962) 241--244

• [Haefliger1966a] A. Haefliger, Enlacements de sphères en co-dimension supérieure à 2, Comment. Math. Helv.41 (1966), 51-72. MR0212818 (35 #3683) Zbl 0149.20801
• [Levine1965] J. Levine, A classification of differentiable knots, Ann. of Math. (2) 82 (1965), 15–50. MR0180981 (31 #5211) Zbl 0136.21102
• [Skopenkov2006] A. Skopenkov, Embedding and knotting of manifolds in Euclidean spaces, in: Surveys in Contemporary Mathematics, Ed. N. Young and Y. Choi, London Math. Soc. Lect. Notes, 347 (2008) 248-342. Available at the arXiv:0604045.
• [Skopenkov2016c] A. Skopenkov, Embeddings in Euclidean space: an introduction to their classification, to appear to Bull. Man. Atl.

$. Restricting an element of $SO_n$ to $S^{n-1} \subset \Rr^n$ identifies $SO_n$ as a subspace of $G_n$. For some readily calculable results see \cite[$\S.3]{Skopenkov2006}. (I would suggest including the classification of simple knots a la Kearton et. al. in this section.---John Klein) == References == {{#RefList:}} [[Category:Manifolds]] [[Category:Embeddings of manifolds]]\S1, $\S$$\S$2].

2 Examples

Analogously to the Haefliger trefoil knot for $k>1$$k>1$ one constructs a smooth embedding $t:S^{2k-1}\to\Rr^{3k}$$t:S^{2k-1}\to\Rr^{3k}$. For $k$$k$ even this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz$$E_D^{3k}(S^{2k-1})\cong\Zz$; it is not smoothly isotopic to the standard embedding, but is piecewise smoothly isotopic to it [Haefliger1962]. It would be interesting to know if for $k$$k$ odd this embedding is a generator of $E_D^{3k}(S^{2k-1})\cong\Zz_2$$E_D^{3k}(S^{2k-1})\cong\Zz_2$. The last phrase of [Haefliger1962t] suggests that this is true for $k=3$$k=3$.

3 Classification

For $m\ge n+3$$m\ge n+3$ the group $E^m(S^n)$$E^m(S^n)$ has been described in terms of exact sequences involving the homotopy groups of spheres and the homotopy groups of the pairs $(SG_n,SO_n)$$(SG_n,SO_n)$ for $n = n_i+1$$n = n_i+1$ and $n_i$$n_i$ [Haefliger1966a], cf. [Levine1965], [Habegger1986]. Here $SG_n$$SG_n$ is the space of maps $f \colon S^{n-1} \to S^{n-1}$$f \colon S^{n-1} \to S^{n-1}$ of degree $1$$1$. Restricting an element of $SO_n$$SO_n$ to $S^{n-1} \subset \Rr^n$$S^{n-1} \subset \Rr^n$ identifies $SO_n$$SO_n$ as a subspace of $G_n$$G_n$.

For some readily calculable results see [Skopenkov2006, $\S$$\S$3.3].

(I would suggest including the classification of simple knots a la Kearton et. al. in this section.---John Klein)

4 References

• [Habegger1986] N. Habegger, Knots and links in codimension greater than 2, Topology, 25:3 (1986) 253--260.
• [Haefliger1962] A. Haefliger, Knotted $(4k-1)$$(4k-1)$-spheres in $6k$$6k$-space, Ann. of Math. (2) 75 (1962), 452–466. MR0145539 (26 #3070) Zbl 0105.17407
• [Haefliger1962t] A. Haefliger, Differentiable links, Topology, 1 (1962) 241--244

• [Haefliger1966a] A. Haefliger, Enlacements de sphères en co-dimension supérieure à 2, Comment. Math. Helv.41 (1966), 51-72. MR0212818 (35 #3683) Zbl 0149.20801
• [Levine1965] J. Levine, A classification of differentiable knots, Ann. of Math. (2) 82 (1965), 15–50. MR0180981 (31 #5211) Zbl 0136.21102
• [Skopenkov2006] A. Skopenkov, Embedding and knotting of manifolds in Euclidean spaces, in: Surveys in Contemporary Mathematics, Ed. N. Young and Y. Choi, London Math. Soc. Lect. Notes, 347 (2008) 248-342. Available at the arXiv:0604045.
• [Skopenkov2016c] A. Skopenkov, Embeddings in Euclidean space: an introduction to their classification, to appear to Bull. Man. Atl.