Knots, i.e. embeddings of spheres

Revision as of 12:36, 12 November 2023 (view source) Askopenkov (Talk | contribs) (→Examples) ← Older edit		Revision as of 12:37, 12 November 2023 (view source) Askopenkov (Talk | contribs) (→Examples) Newer edit →
Line 14:		Line 14:
	{{beginthm|Example}}\label{e:gen} For any $k=1,3,7$ let $\eta\in\pi_{4k-1}(S^{2k})$ be the homotopy class of the Hopf map.		{{beginthm|Example}}\label{e:gen} For any $k=1,3,7$ let $\eta\in\pi_{4k-1}(S^{2k})$ be the homotopy class of the Hopf map.
−	Denote by $\zeta:\pi_{4k-1}(S^{2k})\to E_D^{6k}(S^{4k-1}\sqcup S^{4k-1})$ [the Zeeman map|High_codimension_links#Examples].	+	Denote by $\zeta:\pi_{4k-1}(S^{2k})\to E_D^{6k}(S^{4k-1}\sqcup S^{4k-1})$ [[the Zeeman map|High_codimension_links#Examples]].
	The embedded connected sum $\#\zeta\eta$ of the components of $\zeta\eta$ is a generator of $E^{6k}(S^{4k-1})\cong\Z$.		The embedded connected sum $\#\zeta\eta$ of the components of $\zeta\eta$ is a generator of $E^{6k}(S^{4k-1})\cong\Z$.
Line 21:		Line 21:
	This embedding represents a generator of $E^{6k}_D(S^{4k-1})\cong\Zz$ \cite[Corollary 2.13]{Skopenkov2015a}.		This embedding represents a generator of $E^{6k}_D(S^{4k-1})\cong\Zz$ \cite[Corollary 2.13]{Skopenkov2015a}.
	{{endthm}}		{{endthm}}
−
−
	</wikitex>		</wikitex>

---

Revision as of 12:37, 12 November 2023

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

Contents 1 Introduction 2 Examples 3 Classification 4 Some remarks on codimension 2 knots 5 References

1 Introduction

For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, ${{Stub}} == Introduction == <wikitex>; For a [[Embeddings_in_Euclidean_space:_an_introduction_to_their_classification#Introduction|general introduction to embeddings]] as well as the [[Embeddings_in_Euclidean_space:_an_introduction_to_their_classification#Notation and conventions|notation and conventions]] used on this page, we refer to \cite[$\S\S$1, $\S$3].

2 Examples

Analogously to the Haefliger trefoil knot for $k>1$ one constructs a smooth embedding $t:S^{2k-1}\to\Rr^{3k}$, see [Skopenkov2016h, $\S$5]. 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 [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 [Haefliger1962t] suggests that this is true for $k=3$.

3 Classification

Proof for the first four columns, and for the fifth column when $k$ is odd, are presented in [Haefliger1966, 8.15] (or are deduced from that paper using simple calculations, cf. [Skopenkov2005, $\S$3]; (there is a typo in [Haefliger1966, 8.15]: $C^{3k}_{4k−2}=0$ should be $C^{4k}_{8k−2}=0$). The remaining results follow from [Haefliger1966, 8.15] and [Milgram1972, Theorem F]. Alternative proofs for the cases $(m,n)=(7,4),(6,3)$ are given in [Skopenkov2005], [Crowley&Skopenkov2008], [Skopenkov2008].

For a description of 2-components of $E^m_D(S^n)$ see [Milgram1972, Theorem F].

Observe that no reliable reference (containing complete proofs) of results announced in [Milgram1972] appeared. Thus, strictly speaking, the corresponding results are conjectures.

The lowest-dimensional unknown groups $E^m_D(S^n)$ are $E^8_D(S^5)$ and $E^{11}_D(S^7)$. Hopefully application of Kreck surgery could be useful to find these groups, cf. [Skopenkov2005], [Crowley&Skopenkov2008], [Skopenkov2008].

For $m\ge n+3$ the group $E^m_D(S^n)$ has been described as follows, in terms of exact sequences [Haefliger1966], cf. [Levine1965], [Haefliger1966a], [Milgram1972], [Habegger1986].

4 Some remarks on codimension 2 knots

For the best known specific case, i.e. for codimension 2 embeddings of spheres (in particular, for the classical theory of knots in $\Rr^3$), a complete readily calculable classification (in the sense of Remark 1.2 of [Skopenkov2016c]) is neither known nor expected at the time of writing. However, there is a vast literature on codimension 2 knots. See e.g. the interesting papers [Farber1981], [Farber1983], [Kearton1983], [Farber1984].

On the other hand, if one studies embeddings up to the weaker relation of concordance, then much is known. See e.g. [Levine1969a] and [Ranicki1998].

5 References

• [Crowley&Skopenkov2008] D. Crowley and A. Skopenkov, A classification of smooth embeddings of 4-manifolds in 7-space, II, Intern. J. Math., 22:6 (2011) 731-757. Available at the arXiv:0808.1795.
• [Farber1981] M. Sh. Farber, Classification of stable fibered knots, Mat. Sb. (N.S.), 115(157):2(6) (1981) 223–262.
• [Farber1983] M. Sh. Farber, The classification of simple knots, Russian Math. Surveys, 38:5 (1983).

• [Farber1984] M. Sh. Farber, An algebraic classification of some even-dimensional spherical knots I, II, Trans. Amer. Math. Soc. 281 (1984), 507-528; 529-570.
• [Habegger1986] N. Habegger, Knots and links in codimension greater than 2, Topology, 25:3 (1986) 253--260.
• [Haefliger1962] A. Haefliger, Knotted $(4k-1)$-spheres in $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

• [Haefliger1966] A. Haefliger, Differential embeddings of $S^n$ in $S^{n+q}$ for $q>2$, Ann. of Math. (2) 83 (1966), 402–436. MR0202151 (34 #2024) Zbl 0151.32502
• [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
• [Kearton1983] C. Kearton, An algebraic classification of certain simple even-dimensional knots, Trans. Amer. Math. Soc. 176 (1983), 1–53.
• [Levine1965] J. Levine, A classification of differentiable knots, Ann. of Math. (2) 82 (1965), 15–50. MR0180981 (31 #5211) Zbl 0136.21102
• [Levine1969a] J. Levine, Knot cobordism groups in codimension two, Comment. Math. Helv. 44 (1969), 229–244. MR0246314 (39 #7618) Zbl 0176.22101
• [Milgram1972] R. J. Milgram, On the Haefliger knot groups, Bull. of the Amer. Math. Soc., 78:5 (1972) 861--865.
• [Ranicki1998] A. Ranicki, High-dimensional knot theory, Springer-Verlag, 1998. MR1713074 (2000i:57044) Zbl 1059.19003
• [Skopenkov2005] A. Skopenkov, A classification of smooth embeddings of 4-manifolds in 7-space, Topol. Appl., 157 (2010) 2094-2110. Available at the arXiv:0512594.
• [Skopenkov2008] A. Skopenkov, A classification of smooth embeddings of 3-manifolds in 6-space, Math. Z. 260 (2008), no.3, 647–672. Available at the arXiv:0603429MR2434474 (2010e:57028) Zbl 1167.57013

• [Skopenkov2015a] A. Skopenkov, A classification of knotted tori, Proc. A of the Royal Society of Edinburgh, 150:2 (2020), 549-567. Full version: http://arxiv.org/abs/1502.04470

• [Skopenkov2016c] A. Skopenkov, Embeddings in Euclidean space: an introduction to their classification, to appear to Bull. Man. Atl.
• [Skopenkov2016f] A. Skopenkov, 4-manifolds in 7-space, to appear in Bull. Man. Atl.
• [Skopenkov2016h] A. Skopenkov, High codimension links, to appear in 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}$, see \cite[$\S]{Skopenkov2016h}. 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$. {{beginthm|Example}}\label{e:gen} For any $k=1,3,7$ let $\eta\in\pi_{4k-1}(S^{2k})$ be the homotopy class of the Hopf map. Denote by $\zeta:\pi_{4k-1}(S^{2k})\to E_D^{6k}(S^{4k-1}\sqcup S^{4k-1})$ [the Zeeman map|High_codimension_links#Examples]. The embedded connected sum $\#\zeta\eta$ of the components of $\zeta\eta$ is a generator of $E^{6k}(S^{4k-1})\cong\Z$. This smooth embedding $S^3\to\Rr^6$ which is not smoothly isotopic to the standard embedding, but is PS isotopic to the standard embedding (by the Zeeman [[Embeddings_in_Euclidean_space:_an_introduction_to_their_classification#Unknotting_theorems|Unknotting Spheres Theorem 2.3]] of \cite{Skopenkov2016c} and \cite[Remark 1.1]{Skopenkov2016f}). This embedding represents a generator of $E^{6k}_D(S^{4k-1})\cong\Zz$ \cite[Corollary 2.13]{Skopenkov2015a}. {{endthm}} == Classification == ; {{beginthm|Theorem|\cite[Corollary in p. 44]{Levine1965}, \cite{Haefliger1966}}}\label{t:leha} For $m-n\ge3$ the group $E^m_D(S^n)$ is finite unless $n=4k-1$ and $m\le6k$, when $E^m_D(S^n)$ is the sum of $\Z$ and a finite group. {{endthm}} {{beginthm|Theorem|(Haefliger-Milgram)}}\label{t:hami} We have the following table for the group $E^m_D(S^n)$; in the whole table $k\ge1$; in the fifth column $k\ne2$; in the last two columns $k\ge2$: $$\begin{array}{c|c|c|c|c|c|c|c} (m,n) &2m\ge3n+4 &(6k,4k-1) &(6k+3,4k+1) &(7,4) &(6k+4,4k+2) &(12k+7,8k+4) & (12k+1,8k)\ \hline E^m_D(S^n)&0 &\Z &\Z_2 &\Z_{12} &0 &\Z_4 &\Z_2\oplus\Z_2 \end{array}$$ {{endthm}} Proof for the first four columns, and for the fifth column when $k$ is odd, are presented in \cite[8.15]{Haefliger1966} (or are deduced from that paper using simple calculations, cf. \cite[$\S]{Skopenkov2005}; (there is a typo in \cite[8.15]{Haefliger1966}: $C^{3k}_{4k−2}=0$ should be $C^{4k}_{8k−2}=0$). The remaining results follow from \cite[8.15]{Haefliger1966} and \cite[Theorem F]{Milgram1972}. Alternative proofs for the cases $(m,n)=(7,4),(6,3)$ are given in \cite{Skopenkov2005}, \cite{Crowley&Skopenkov2008}, \cite{Skopenkov2008}. {{beginthm|Theorem|\cite[Corollary G]{Milgram1972}}}\label{t:mi} We have $E^m_D(S^n)=0$ if and only if either m\ge3n+4$, or $(m,n)=(6k+4,4k+2)$, or $(m,n)=(3k,2k)$ and $k\equiv3,11\mod12$, or $(m,n)=(3k+2,2k+2)$ and $k\equiv14,22\mod24$. {{endthm}} For a description of 2-components of $E^m_D(S^n)$ see \cite[Theorem F]{Milgram1972}. Observe that no reliable reference (containing complete proofs) of results announced in \cite{Milgram1972} appeared. Thus, strictly speaking, the corresponding results are conjectures. The lowest-dimensional unknown groups $E^m_D(S^n)$ are $E^8_D(S^5)$ and $E^{11}_D(S^7)$. Hopefully application of Kreck surgery could be useful to find these groups, cf. \cite{Skopenkov2005}, \cite{Crowley&Skopenkov2008}, \cite{Skopenkov2008}. For $m\ge n+3$ the group $E^m_D(S^n)$ has been described as follows, in terms of exact sequences \cite{Haefliger1966}, cf. \cite{Levine1965}, \cite{Haefliger1966a}, \cite{Milgram1972}, \cite{Habegger1986}. {{beginthm|Theorem|\cite{Haefliger1966}}}\label{t:knots} For $m-n\ge3$ there is the following exact sequence of abelian groups: $$ \ldots \to \pi_{n+1}(SG,SO) \xrightarrow{~u~} E^m_D(S^n) \xrightarrow{~a~} \pi_n(SG_n,SO_n) \xrightarrow{~s~} \pi_n(SG,SO) \xrightarrow{~u~} E^{m-1}_D(S^{n-1})\to \ldots~.$$ Here $SG_n$ be the space of maps $S^{n-1} \to S^{n-1}$ of degree \S1, $\S$3].

2 Examples

Analogously to the Haefliger trefoil knot for $k>1$ one constructs a smooth embedding $t:S^{2k-1}\to\Rr^{3k}$, see [Skopenkov2016h, $\S$5]. 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 [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 [Haefliger1962t] suggests that this is true for $k=3$.

Example 2.1. For any $k=1,3,7$ let $\eta\in\pi_{4k-1}(S^{2k})$ be the homotopy class of the Hopf map. Denote by $\zeta:\pi_{4k-1}(S^{2k})\to E_D^{6k}(S^{4k-1}\sqcup S^{4k-1})$ High_codimension_links#Examples. The embedded connected sum $\#\zeta\eta$ of the components of $\zeta\eta$ is a generator of $E^{6k}(S^{4k-1})\cong\Z$.

This smooth embedding $S^3\to\Rr^6$ which is not smoothly isotopic to the standard embedding, but is PS isotopic to the standard embedding (by the Zeeman Unknotting Spheres Theorem 2.3 of [Skopenkov2016c] and [Skopenkov2016f, Remark 1.1]).

This embedding represents a generator of $E^{6k}_D(S^{4k-1})\cong\Zz$ [Skopenkov2015a, Corollary 2.13].

3 Classification

Theorem 3.1 [Levine1965, Corollary in p. 44], [Haefliger1966]. For $m-n\ge3$ the group $E^m_D(S^n)$ is finite unless $n=4k-1$ and $m\le6k$, when $E^m_D(S^n)$ is the sum of $\Z$ and a finite group.

Theorem 3.2 (Haefliger-Milgram). We have the following table for the group $E^m_D(S^n)$; in the whole table $k\ge1$; in the fifth column $k\ne2$; in the last two columns $k\ge2$:

$$\displaystyle \begin{array}{c|c|c|c|c|c|c|c} (m,n) &2m\ge3n+4 &(6k,4k-1) &(6k+3,4k+1) &(7,4) &(6k+4,4k+2) &(12k+7,8k+4) & (12k+1,8k)\\ \hline E^m_D(S^n)&0 &\Z &\Z_2 &\Z_{12} &0 &\Z_4 &\Z_2\oplus\Z_2 \end{array}$$

Proof for the first four columns, and for the fifth column when $k$ is odd, are presented in [Haefliger1966, 8.15] (or are deduced from that paper using simple calculations, cf. [Skopenkov2005, $\S$3]; (there is a typo in [Haefliger1966, 8.15]: $C^{3k}_{4k−2}=0$ should be $C^{4k}_{8k−2}=0$). The remaining results follow from [Haefliger1966, 8.15] and [Milgram1972, Theorem F]. Alternative proofs for the cases $(m,n)=(7,4),(6,3)$ are given in [Skopenkov2005], [Crowley&Skopenkov2008], [Skopenkov2008].

Theorem 3.3 [Milgram1972, Corollary G]. We have $E^m_D(S^n)=0$ if and only if either $2m\ge3n+4$, or $(m,n)=(6k+4,4k+2)$, or $(m,n)=(3k,2k)$ and $k\equiv3,11\mod12$, or $(m,n)=(3k+2,2k+2)$ and $k\equiv14,22\mod24$.

For a description of 2-components of $E^m_D(S^n)$ see [Milgram1972, Theorem F].

Observe that no reliable reference (containing complete proofs) of results announced in [Milgram1972] appeared. Thus, strictly speaking, the corresponding results are conjectures.

The lowest-dimensional unknown groups $E^m_D(S^n)$ are $E^8_D(S^5)$ and $E^{11}_D(S^7)$. Hopefully application of Kreck surgery could be useful to find these groups, cf. [Skopenkov2005], [Crowley&Skopenkov2008], [Skopenkov2008].

For $m\ge n+3$ the group $E^m_D(S^n)$ has been described as follows, in terms of exact sequences [Haefliger1966], cf. [Levine1965], [Haefliger1966a], [Milgram1972], [Habegger1986].

Theorem 3.4 [Haefliger1966]. For $m-n\ge3$ there is the following exact sequence of abelian groups:

$$\displaystyle \ldots \to \pi_{n+1}(SG,SO) \xrightarrow{~u~} E^m_D(S^n) \xrightarrow{~a~} \pi_n(SG_n,SO_n) \xrightarrow{~s~} \pi_n(SG,SO) \xrightarrow{~u~} E^{m-1}_D(S^{n-1})\to \ldots~.$$

Here $SG_n$ be the space of maps $S^{n-1} \to S^{n-1}$ of degree $1$. Restricting an element of $SO_n$ to $S^{n-1} \subset \Rr^n$ identifies $SO_n$ as a subspace of $SG_n$. Let $SG:=SG_1\cup\ldots\cup SG_n\cup\ldots$. Analogously define $SO$. Let $s$ be the stabilization homomorphism. The attaching invariant $a$ and the map $u$ are defined in [Haefliger1966], see also [Skopenkov2005, $\S$3].

4 Some remarks on codimension 2 knots

For the best known specific case, i.e. for codimension 2 embeddings of spheres (in particular, for the classical theory of knots in $\Rr^3$), a complete readily calculable classification (in the sense of Remark 1.2 of [Skopenkov2016c]) is neither known nor expected at the time of writing. However, there is a vast literature on codimension 2 knots. See e.g. the interesting papers [Farber1981], [Farber1983], [Kearton1983], [Farber1984].

On the other hand, if one studies embeddings up to the weaker relation of concordance, then much is known. See e.g. [Levine1969a] and [Ranicki1998].

5 References

• [Crowley&Skopenkov2008] D. Crowley and A. Skopenkov, A classification of smooth embeddings of 4-manifolds in 7-space, II, Intern. J. Math., 22:6 (2011) 731-757. Available at the arXiv:0808.1795.
• [Farber1981] M. Sh. Farber, Classification of stable fibered knots, Mat. Sb. (N.S.), 115(157):2(6) (1981) 223–262.
• [Farber1983] M. Sh. Farber, The classification of simple knots, Russian Math. Surveys, 38:5 (1983).

• [Farber1984] M. Sh. Farber, An algebraic classification of some even-dimensional spherical knots I, II, Trans. Amer. Math. Soc. 281 (1984), 507-528; 529-570.
• [Habegger1986] N. Habegger, Knots and links in codimension greater than 2, Topology, 25:3 (1986) 253--260.
• [Haefliger1962] A. Haefliger, Knotted $(4k-1)$-spheres in $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

• [Haefliger1966] A. Haefliger, Differential embeddings of $S^n$ in $S^{n+q}$ for $q>2$, Ann. of Math. (2) 83 (1966), 402–436. MR0202151 (34 #2024) Zbl 0151.32502
• [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
• [Kearton1983] C. Kearton, An algebraic classification of certain simple even-dimensional knots, Trans. Amer. Math. Soc. 176 (1983), 1–53.
• [Levine1965] J. Levine, A classification of differentiable knots, Ann. of Math. (2) 82 (1965), 15–50. MR0180981 (31 #5211) Zbl 0136.21102
• [Levine1969a] J. Levine, Knot cobordism groups in codimension two, Comment. Math. Helv. 44 (1969), 229–244. MR0246314 (39 #7618) Zbl 0176.22101
• [Milgram1972] R. J. Milgram, On the Haefliger knot groups, Bull. of the Amer. Math. Soc., 78:5 (1972) 861--865.
• [Ranicki1998] A. Ranicki, High-dimensional knot theory, Springer-Verlag, 1998. MR1713074 (2000i:57044) Zbl 1059.19003
• [Skopenkov2005] A. Skopenkov, A classification of smooth embeddings of 4-manifolds in 7-space, Topol. Appl., 157 (2010) 2094-2110. Available at the arXiv:0512594.
• [Skopenkov2008] A. Skopenkov, A classification of smooth embeddings of 3-manifolds in 6-space, Math. Z. 260 (2008), no.3, 647–672. Available at the arXiv:0603429MR2434474 (2010e:57028) Zbl 1167.57013

• [Skopenkov2015a] A. Skopenkov, A classification of knotted tori, Proc. A of the Royal Society of Edinburgh, 150:2 (2020), 549-567. Full version: http://arxiv.org/abs/1502.04470

• [Skopenkov2016c] A. Skopenkov, Embeddings in Euclidean space: an introduction to their classification, to appear to Bull. Man. Atl.
• [Skopenkov2016f] A. Skopenkov, 4-manifolds in 7-space, to appear in Bull. Man. Atl.
• [Skopenkov2016h] A. Skopenkov, High codimension links, to appear in Bull. Man. Atl.

$. Restricting an element of $SO_n$ to $S^{n-1} \subset \Rr^n$ identifies $SO_n$ as a subspace of $SG_n$. Let $SG:=SG_1\cup\ldots\cup SG_n\cup\ldots$. Analogously define $SO$. Let $s$ be the stabilization homomorphism. The attaching invariant $a$ and the map $u$ are defined in \cite{Haefliger1966}, see also \cite[$\S]{Skopenkov2005}. {{endthm}} == Some remarks on codimension 2 knots == ; For the best known specific case, i.e. for codimension 2 embeddings of spheres (in particular, for the classical theory of knots in $\Rr^3$), a complete readily calculable classification (in the sense of [[Embeddings_in_Euclidean_space:_an_introduction_to_their_classification#Introduction|Remark 1.2]] of \cite{Skopenkov2016c}) is neither known nor expected at the time of writing. However, there is a vast literature on codimension 2 knots. See e.g. the interesting papers \cite{Farber1981}, \cite{Farber1983}, \cite{Kearton1983}, \cite{Farber1984}. On the other hand, if one studies embeddings up to the weaker relation of [[Isotopy|''concordance'']], then much is known. See e.g. \cite{Levine1969a} and \cite{Ranicki1998}. == References == {{#RefList:}} [[Category:Manifolds]] [[Category:Embeddings of manifolds]]\S1, $\S$3].

2 Examples

Analogously to the Haefliger trefoil knot for $k>1$ one constructs a smooth embedding $t:S^{2k-1}\to\Rr^{3k}$, see [Skopenkov2016h, $\S$5]. 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 [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 [Haefliger1962t] suggests that this is true for $k=3$.

3 Classification

Proof for the first four columns, and for the fifth column when $k$ is odd, are presented in [Haefliger1966, 8.15] (or are deduced from that paper using simple calculations, cf. [Skopenkov2005, $\S$3]; (there is a typo in [Haefliger1966, 8.15]: $C^{3k}_{4k−2}=0$ should be $C^{4k}_{8k−2}=0$). The remaining results follow from [Haefliger1966, 8.15] and [Milgram1972, Theorem F]. Alternative proofs for the cases $(m,n)=(7,4),(6,3)$ are given in [Skopenkov2005], [Crowley&Skopenkov2008], [Skopenkov2008].

For a description of 2-components of $E^m_D(S^n)$ see [Milgram1972, Theorem F].

Observe that no reliable reference (containing complete proofs) of results announced in [Milgram1972] appeared. Thus, strictly speaking, the corresponding results are conjectures.

The lowest-dimensional unknown groups $E^m_D(S^n)$ are $E^8_D(S^5)$ and $E^{11}_D(S^7)$. Hopefully application of Kreck surgery could be useful to find these groups, cf. [Skopenkov2005], [Crowley&Skopenkov2008], [Skopenkov2008].

For $m\ge n+3$ the group $E^m_D(S^n)$ has been described as follows, in terms of exact sequences [Haefliger1966], cf. [Levine1965], [Haefliger1966a], [Milgram1972], [Habegger1986].

4 Some remarks on codimension 2 knots

For the best known specific case, i.e. for codimension 2 embeddings of spheres (in particular, for the classical theory of knots in $\Rr^3$), a complete readily calculable classification (in the sense of Remark 1.2 of [Skopenkov2016c]) is neither known nor expected at the time of writing. However, there is a vast literature on codimension 2 knots. See e.g. the interesting papers [Farber1981], [Farber1983], [Kearton1983], [Farber1984].

On the other hand, if one studies embeddings up to the weaker relation of concordance, then much is known. See e.g. [Levine1969a] and [Ranicki1998].

5 References

• [Crowley&Skopenkov2008] D. Crowley and A. Skopenkov, A classification of smooth embeddings of 4-manifolds in 7-space, II, Intern. J. Math., 22:6 (2011) 731-757. Available at the arXiv:0808.1795.
• [Farber1981] M. Sh. Farber, Classification of stable fibered knots, Mat. Sb. (N.S.), 115(157):2(6) (1981) 223–262.
• [Farber1983] M. Sh. Farber, The classification of simple knots, Russian Math. Surveys, 38:5 (1983).

• [Farber1984] M. Sh. Farber, An algebraic classification of some even-dimensional spherical knots I, II, Trans. Amer. Math. Soc. 281 (1984), 507-528; 529-570.
• [Habegger1986] N. Habegger, Knots and links in codimension greater than 2, Topology, 25:3 (1986) 253--260.
• [Haefliger1962] A. Haefliger, Knotted $(4k-1)$-spheres in $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

• [Haefliger1966] A. Haefliger, Differential embeddings of $S^n$ in $S^{n+q}$ for $q>2$, Ann. of Math. (2) 83 (1966), 402–436. MR0202151 (34 #2024) Zbl 0151.32502
• [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
• [Kearton1983] C. Kearton, An algebraic classification of certain simple even-dimensional knots, Trans. Amer. Math. Soc. 176 (1983), 1–53.
• [Levine1965] J. Levine, A classification of differentiable knots, Ann. of Math. (2) 82 (1965), 15–50. MR0180981 (31 #5211) Zbl 0136.21102
• [Levine1969a] J. Levine, Knot cobordism groups in codimension two, Comment. Math. Helv. 44 (1969), 229–244. MR0246314 (39 #7618) Zbl 0176.22101
• [Milgram1972] R. J. Milgram, On the Haefliger knot groups, Bull. of the Amer. Math. Soc., 78:5 (1972) 861--865.
• [Ranicki1998] A. Ranicki, High-dimensional knot theory, Springer-Verlag, 1998. MR1713074 (2000i:57044) Zbl 1059.19003
• [Skopenkov2005] A. Skopenkov, A classification of smooth embeddings of 4-manifolds in 7-space, Topol. Appl., 157 (2010) 2094-2110. Available at the arXiv:0512594.
• [Skopenkov2008] A. Skopenkov, A classification of smooth embeddings of 3-manifolds in 6-space, Math. Z. 260 (2008), no.3, 647–672. Available at the arXiv:0603429MR2434474 (2010e:57028) Zbl 1167.57013

• [Skopenkov2015a] A. Skopenkov, A classification of knotted tori, Proc. A of the Royal Society of Edinburgh, 150:2 (2020), 549-567. Full version: http://arxiv.org/abs/1502.04470

• [Skopenkov2016c] A. Skopenkov, Embeddings in Euclidean space: an introduction to their classification, to appear to Bull. Man. Atl.
• [Skopenkov2016f] A. Skopenkov, 4-manifolds in 7-space, to appear in Bull. Man. Atl.
• [Skopenkov2016h] A. Skopenkov, High codimension links, to appear in Bull. Man. Atl.