Knotted tori

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

1 Introduction

Many interesting examples of embeddings are embeddings $S^p\times S^q\to\Rr^m$${{Stub}} == Introduction == <wikitex>; Many interesting examples of embeddings are embeddings $S^p\times S^q\to\Rr^m$, i.e. ''knotted tori''. See [[Embeddings just below the stable range: classification#Examples|Hudson tori]], \cite{Alexander1924}, \cite{Milgram&Rees1971}, \cite{Kosinski1961}, \cite{Hudson1963}, \cite{Wall1965}, \cite{Tindell1969}, \cite{Boechat&Haefliger1970}, \cite{Boechat1971}, \cite{Milgram&Rees1971}, \cite{Lucas&Saeki2002}, \cite{Skopenkov2002}. A classification of knotted tori is a natural next step (after the link theory \cite{Haefliger1966a} and the [[Embeddings just below the stable range: classification#A generalization to highly-connected manifolds|classification of embeddings of highly-connected manifolds]]) towards classification of embeddings of ''arbitrary'' manifolds. Since the general [[Embeddings_in_Euclidean_space:_an_introduction_to_their_classification#Introduction|Knotting Problem]] is very hard, it is very interesting to solve it for the important particular case of knotted tori. Recent classification results for knotted tori \cite{Skopenkov2006a}, \cite{Cencelj&Repovš&Skopenkov2007}, \cite{Cencelj&Repovš&Skopenkov2008}, \cite{Skopenkov2015}, \cite{Skopenkov2015a} give some insight or even precise information concerning arbitrary manifolds (cf. \cite{Skopenkov2007}, \cite{Skopenkov2010}, \cite{Skopenkov2014}) and reveals new interesting relations to algebraic topology. 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[$\SS^p\times S^q\to\Rr^m$, i.e. knotted tori. See Hudson tori, [Alexander1924], [Milgram&Rees1971], [Kosinski1961], [Hudson1963], [Wall1965], [Tindell1969], [Boechat&Haefliger1970], [Boechat1971], [Milgram&Rees1971], [Lucas&Saeki2002], [Skopenkov2002]. A classification of knotted tori is a natural next step (after the link theory [Haefliger1966a] and the classification of embeddings of highly-connected manifolds) towards classification of embeddings of arbitrary manifolds. Since the general Knotting Problem is very hard, it is very interesting to solve it for the important particular case of knotted tori. Recent classification results for knotted tori [Skopenkov2006a], [Cencelj&Repovš&Skopenkov2007], [Cencelj&Repovš&Skopenkov2008], [Skopenkov2015], [Skopenkov2015a] give some insight or even precise information concerning arbitrary manifolds (cf. [Skopenkov2007], [Skopenkov2010], [Skopenkov2014]) and reveals new interesting relations to algebraic topology.

For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, $\S$$\S$1, $\S$$\S$3]. Denote

$\displaystyle KT^m_{p,q,CAT}:=E^m_{CAT}(S^p\times S^q).$ $$\displaystyle KT^m_{p,q,CAT}:=E^m_{CAT}(S^p\times S^q).$$

2 Examples

One of the first examples were Hudson tori.

Let us construct a map

$\displaystyle \tau:\pi_q(V_{m-q,p+1})\to KT^m_{p,q}.$ $$\displaystyle \tau:\pi_q(V_{m-q,p+1})\to KT^m_{p,q}.$$

Recall that $\pi_q(V_{m-q,p+1})$$\pi_q(V_{m-q,p+1})$ is isomorphic to the group of smooth maps $S^q\to V_{m-q,p+1}$$S^q\to V_{m-q,p+1}$ up to smooth homotopy. The latter maps can be considered as smooth maps $\varphi:S^q\times S^p\to\partial D^{m-q}$$\varphi:S^q\times S^p\to\partial D^{m-q}$. Define the smooth embedding $\tau(\varphi)$$\tau(\varphi)$ as the composition

Tex syntax error

$$\displaystyle S^p\times S^q\overset{\varphi\times{\rm pr}_2}\to\partial D^{m-q}\times S^q\overset{\subset}\to D^{m-q}\times S^q\overset{{\rm i}_{m,q}}\to\Rr^m.$$

Here

Tex syntax error

${\rm pr}_2$ is the projection onto the second factor and $\subset$$\subset$ is the standard inclusion.

See construction of another map in [Skopenkov2015, $\S$$\S$3, definition of $\sigma^*$$\sigma^*$].

An $S^p$$S^p$-parametric connected sum group structure on $E^m(S^p\times S^q)$$E^m(S^p\times S^q)$ is constructed for $m\ge2p+q+3$$m\ge2p+q+3$ in [Skopenkov2006], [Skopenkov2015a].

3 Classification

From the Haefliger-Zeeman Isotopy Theorem it follows that $E^m(S^p\times S^q)=0$$E^m(S^p\times S^q)=0$ for $p\le q$$p\le q$ and $m\ge p+2q+2$$m\ge p+2q+2$, provided that $m\ge p+q+3$$m\ge p+q+3$ or $2m\ge3(p+q)+4$$2m\ge3(p+q)+4$ in the PL or smooth category, respectively. The dimension restriction in this result is sharp by the example of Hudson tori.

Theorem 3.1. There are 1-1 correspondences

$\displaystyle E^{p+2q+1}_{PL}(S^p\times S^q)\to\left\{\begin{array}{cc} \Zz_{\varepsilon(q)} & \quad 1\le p<q \\ \Zz_{\varepsilon(q)}\oplus\Zz_{\varepsilon(q)}&\quad 2\le p=q\end{array}\right. \qquad\text{and} \qquad E^{p+2q+1}_{DIFF}(S^p\times S^q)\to\Zz_{\varepsilon(q)}\quad\text{for}\quad 1\le p\le q-2.$ $$\displaystyle E^{p+2q+1}_{PL}(S^p\times S^q)\to\left\{\begin{array}{cc} \Zz_{\varepsilon(q)} & \quad 1\le p<q \\ \Zz_{\varepsilon(q)}\oplus\Zz_{\varepsilon(q)}&\quad 2\le p=q\end{array}\right. \qquad\text{and} \qquad E^{p+2q+1}_{DIFF}(S^p\times S^q)\to\Zz_{\varepsilon(q)}\quad\text{for}\quad 1\le p\le q-2.$$

This result can be generalized as follows.

Theorem 3.2. If $2m\ge3q+2p+4$$2m\ge3q+2p+4$ and $2m\ge3q+3p+4$$2m\ge3q+3p+4$, in the PL and DIFF categories respectively, then there is a 1-1 correspondence

$\displaystyle E^m(S^p\times S^q)=\pi_q(V_{m-q,p+1})\oplus\pi_p(V_{m-p,q+1}).$ $$\displaystyle E^m(S^p\times S^q)=\pi_q(V_{m-q,p+1})\oplus\pi_p(V_{m-p,q+1}).$$

This follows for $m\ge 2q+3$$m\ge 2q+3$ from the Becker-Glover Theorem 5.3. For the general case see [Skopenkov2002, Corollary 1.5.a]. For $m\ge2p+q+3$$m\ge2p+q+3$ there is an alternative direct proof [Skopenkov2006], [Skopenkov2015a], but for $m<2p+q+2$$m<2p+q+2$ no proof of Theorem 3.2 without referring to `the deleted product method' is known.

For $m\ge2p+q+2$$m\ge2p+q+2$ (which is automatic for $p\le q$$p\le q$ and $2m\ge3p+3q+4$$2m\ge3p+3q+4$) we have $\pi_p(V_{m-p,q+1})=0$$\pi_p(V_{m-p,q+1})=0$ and the 1-1 correspondence of Theorem 3.2 is $\tau$$\tau$.

4 References

• [Alexander1924] J. W. Alexander, On the subdivision of 3-space by polyhedron, Proc. Nat. Acad. Sci. USA, 10, (1924) 6–8. Zbl 50.0659.01
• [Boechat&Haefliger1970] J. Boéchat and A. Haefliger, Plongements différentiables des variétés orientées de dimension $4$$4$ dans $\Rr^7$$\Rr^7$, (French) Essays on Topology and Related Topics (Mémoires dédiés à Georges de Rham), Springer, New York (1970), 156–166. MR0270384 (42 #5273) Zbl 0199.27003
• [Boechat1971] J. Boéchat, Plongements de variétées différentiables orientées de dimension $4k$$4k$ dans $\Rr^{6k+1}$$\Rr^{6k+1}$, Comment. Math. Helv. 46 (1971), 141–161. MR0295373 (45 #4439) Zbl 0218.57016
• [Cencelj&Repovš&Skopenkov2007] M. Cencelj, D. Repovš and M. Skopenkov, Homotopy type of the complement of an immersion and classification of embeddings of tori., Russ. Math. Surv.62 (2007), no.5, 985-987. Zbl 1141.57009
• [Cencelj&Repovš&Skopenkov2008] M. Cencelj, D. Repovš and M. Skopenkov, Classification of knotted tori in the 2-metastable dimension, Mat. Sbornik, 203:11 (2012), 1654-1681. Available at the arXiv:0811.2745.
• [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
• [Hudson1963] J. F. P. Hudson, Knotted tori, Topology 2 (1963), 11–22. MR0146829 (26 #4349) Zbl 0151.32503
• [Kosinski1961] A. Kosinski, On Alexander's theorem and knotted tori, In: Topology of 3-Manifolds, Prentice-Hall, Englewood Cliffs, Ed. M.~K.~Fort, N.J., 1962, 55--57. Cf. Fort1962.
• [Lucas&Saeki2002] L. A. Lucas and O. Saeki, Embeddings of $S^p\times S^q\times S^r$$S^p\times S^q\times S^r$ in $S^{p+q+r+1}$$S^{p+q+r+1}$, Pacific J. Math. 207 (2002), no.2, 447–462. MR1972255 (2004c:57045) Zbl 1058.57022
• [Milgram&Rees1971] R. Milgram and E. Rees, On the normal bundle to an embedding., Topology 10 (1971), 299-308. MR0290391 (44 #7572) Zbl 0207.22302
• [Skopenkov2002] A. Skopenkov, On the Haefliger-Hirsch-Wu invariants for embeddings and immersions., Comment. Math. Helv. 77 (2002), no.1, 78-124. MRMR1898394 (2003c:57023) Zbl 1012.57035
• [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.
• [Skopenkov2006a] A. Skopenkov, Classification of embeddings below the metastable dimension. Available at the arXiv:0607422.
• [Skopenkov2007] A. Skopenkov, A new invariant and parametric connected sum of embeddings, Fund. Math. 197 (2007), 253–269. arXiv:math/0509621. MR2365891 (2008k:57044) Zbl 1145.57019
• [Skopenkov2010] A. Skopenkov, Embeddings of k-connected n-manifolds into $\Rr^{2n-k-1}$$\Rr^{2n-k-1}$, Proc. AMS, 138 (2010) 3377--3389. Available at the arXiv:0812.0263.
• [Skopenkov2014] A. Skopenkov, How do autodiffeomorphisms act on embeddings, Proc. A of the Royal Society of Edinburgh, 148:4 (2018) 835--848.
• [Skopenkov2015] M. Skopenkov, When is the set of embeddings finite up to isotopy? Intern. J. Math. 26:7 (2015), http://arxiv.org/abs/1106.1878
• [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.
• [Tindell1969] R. Tindell, Extending homeomorphisms of $S\sp p \times S\sp q$$S\sp p \times S\sp q$., Proc. Am. Math. Soc. 22 (1969), 230-232. MRMR0248852 (40 #2102) Zbl 0177.26802
• [Wall1965] C. T. C. Wall, Unknotting tori in codimension one and spheres in codimension two., Proc. Camb. Philos. Soc. 61 (1965), 659-664. MR0184249 (32 #1722) Zbl 0135.41602

, $\S]{Skopenkov2016c}. Denote $$KT^m_{p,q,CAT}:=E^m_{CAT}(S^p\times S^q).$$ == Examples == ; One of the first examples were [[Embeddings just below the stable range: classification#Hudson_tori|Hudson tori]]. Let us construct a map $$\tau:\pi_q(V_{m-q,p+1})\to KT^m_{p,q}.$$ Recall that $\pi_q(V_{m-q,p+1})$ is isomorphic to the group of smooth maps $S^q\to V_{m-q,p+1}$ up to smooth homotopy. The latter maps can be considered as smooth maps $\varphi:S^q\times S^p\to\partial D^{m-q}$. Define the smooth embedding $\tau(\varphi)$ as the composition $$S^p\times S^q\overset{\varphi\times{\rm pr}_2}\to\partial D^{m-q}\times S^q\overset{\subset}D^{m-q}\times S^q\overset{{\rm i}_{m,q}}\subset\Rr^m.$$ Here ${\rm pr}_2$ is the projection onto the second factor and $\subset$ is the standard inclusion. See construction of another map in \cite[$\S, definition of $\sigma^*$]{Skopenkov2015}. An [[Parametric_connected_sum#Applications|$S^p$-parametric connected sum]] group structure on $E^m(S^p\times S^q)$ is constructed for $m\ge2p+q+3$ in \cite{Skopenkov2006}, \cite{Skopenkov2015a}. == Classification == ; From [[Embeddings_in_Euclidean_space:_an_introduction_to_their_classification#Unknotting theorems|the Haefliger-Zeeman Isotopy Theorem]] it follows that $E^m(S^p\times S^q)=0$ for $p\le q$ and $m\ge p+2q+2$, provided that $m\ge p+q+3$ or m\ge3(p+q)+4$ in the PL or smooth category, respectively. The dimension restriction in this result is sharp by the example of [[Embeddings just below the stable range: classification#Examples|Hudson tori]]. {{beginthm|Theorem}}\label{kt1} There are 1-1 correspondences $$E^{p+2q+1}_{PL}(S^p\times S^q)\to\left\{\begin{array}{cc} \Zz_{\varepsilon(q)} & \quad 1\le p This result can be generalized as follows. {{beginthm|Theorem}}\label{kt} If m\ge3q+2p+4$ and m\ge3q+3p+4$, in the PL and DIFF categories respectively, then there is a 1-1 correspondence $$E^m(S^p\times S^q)=\pi_q(V_{m-q,p+1})\oplus\pi_p(V_{m-p,q+1}).$$ {{endthm}} This follows for $m\ge 2q+3$ from [[Embeddings_just_below_the_stable_range:_classification#Classification_further_below_the_stable_range|the Becker-Glover Theorem 5.3]]. For the general case see \cite[Corollary 1.5.a]{Skopenkov2002}. For $m\ge2p+q+3$ there is an alternative direct proof \cite{Skopenkov2006}, \cite{Skopenkov2015a}, but for $m<2p+q+2$ no proof of Theorem \ref{kt} without referring to `the deleted product method' is known. For $m\ge2p+q+2$ (which is automatic for $p\le q$ and m\ge3p+3q+4$) we have $\pi_p(V_{m-p,q+1})=0$ and the 1-1 correspondence of Theorem \ref{kt} is $\tau$. == References == {{#RefList:}} [[Category:Manifolds]] [[Category:Embeddings of manifolds]]S^p\times S^q\to\Rr^m, i.e. knotted tori. See Hudson tori, [Alexander1924], [Milgram&Rees1971], [Kosinski1961], [Hudson1963], [Wall1965], [Tindell1969], [Boechat&Haefliger1970], [Boechat1971], [Milgram&Rees1971], [Lucas&Saeki2002], [Skopenkov2002]. A classification of knotted tori is a natural next step (after the link theory [Haefliger1966a] and the classification of embeddings of highly-connected manifolds) towards classification of embeddings of arbitrary manifolds. Since the general Knotting Problem is very hard, it is very interesting to solve it for the important particular case of knotted tori. Recent classification results for knotted tori [Skopenkov2006a], [Cencelj&Repovš&Skopenkov2007], [Cencelj&Repovš&Skopenkov2008], [Skopenkov2015], [Skopenkov2015a] give some insight or even precise information concerning arbitrary manifolds (cf. [Skopenkov2007], [Skopenkov2010], [Skopenkov2014]) and reveals new interesting relations to algebraic topology.

For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, $\S$$\S$1, $\S$$\S$3]. Denote

$\displaystyle KT^m_{p,q,CAT}:=E^m_{CAT}(S^p\times S^q).$ $$\displaystyle KT^m_{p,q,CAT}:=E^m_{CAT}(S^p\times S^q).$$

2 Examples

One of the first examples were Hudson tori.

Let us construct a map

$\displaystyle \tau:\pi_q(V_{m-q,p+1})\to KT^m_{p,q}.$ $$\displaystyle \tau:\pi_q(V_{m-q,p+1})\to KT^m_{p,q}.$$

Recall that $\pi_q(V_{m-q,p+1})$$\pi_q(V_{m-q,p+1})$ is isomorphic to the group of smooth maps $S^q\to V_{m-q,p+1}$$S^q\to V_{m-q,p+1}$ up to smooth homotopy. The latter maps can be considered as smooth maps $\varphi:S^q\times S^p\to\partial D^{m-q}$$\varphi:S^q\times S^p\to\partial D^{m-q}$. Define the smooth embedding $\tau(\varphi)$$\tau(\varphi)$ as the composition

Tex syntax error

$$\displaystyle S^p\times S^q\overset{\varphi\times{\rm pr}_2}\to\partial D^{m-q}\times S^q\overset{\subset}\to D^{m-q}\times S^q\overset{{\rm i}_{m,q}}\to\Rr^m.$$

Here

Tex syntax error

${\rm pr}_2$ is the projection onto the second factor and $\subset$$\subset$ is the standard inclusion.

See construction of another map in [Skopenkov2015, $\S$$\S$3, definition of $\sigma^*$$\sigma^*$].

An $S^p$$S^p$-parametric connected sum group structure on $E^m(S^p\times S^q)$$E^m(S^p\times S^q)$ is constructed for $m\ge2p+q+3$$m\ge2p+q+3$ in [Skopenkov2006], [Skopenkov2015a].

3 Classification

From the Haefliger-Zeeman Isotopy Theorem it follows that $E^m(S^p\times S^q)=0$$E^m(S^p\times S^q)=0$ for $p\le q$$p\le q$ and $m\ge p+2q+2$$m\ge p+2q+2$, provided that $m\ge p+q+3$$m\ge p+q+3$ or $2m\ge3(p+q)+4$$2m\ge3(p+q)+4$ in the PL or smooth category, respectively. The dimension restriction in this result is sharp by the example of Hudson tori.

Theorem 3.1. There are 1-1 correspondences

$\displaystyle E^{p+2q+1}_{PL}(S^p\times S^q)\to\left\{\begin{array}{cc} \Zz_{\varepsilon(q)} & \quad 1\le p<q \\ \Zz_{\varepsilon(q)}\oplus\Zz_{\varepsilon(q)}&\quad 2\le p=q\end{array}\right. \qquad\text{and} \qquad E^{p+2q+1}_{DIFF}(S^p\times S^q)\to\Zz_{\varepsilon(q)}\quad\text{for}\quad 1\le p\le q-2.$ $$\displaystyle E^{p+2q+1}_{PL}(S^p\times S^q)\to\left\{\begin{array}{cc} \Zz_{\varepsilon(q)} & \quad 1\le p<q \\ \Zz_{\varepsilon(q)}\oplus\Zz_{\varepsilon(q)}&\quad 2\le p=q\end{array}\right. \qquad\text{and} \qquad E^{p+2q+1}_{DIFF}(S^p\times S^q)\to\Zz_{\varepsilon(q)}\quad\text{for}\quad 1\le p\le q-2.$$

This result can be generalized as follows.

Theorem 3.2. If $2m\ge3q+2p+4$$2m\ge3q+2p+4$ and $2m\ge3q+3p+4$$2m\ge3q+3p+4$, in the PL and DIFF categories respectively, then there is a 1-1 correspondence

$\displaystyle E^m(S^p\times S^q)=\pi_q(V_{m-q,p+1})\oplus\pi_p(V_{m-p,q+1}).$ $$\displaystyle E^m(S^p\times S^q)=\pi_q(V_{m-q,p+1})\oplus\pi_p(V_{m-p,q+1}).$$

This follows for $m\ge 2q+3$$m\ge 2q+3$ from the Becker-Glover Theorem 5.3. For the general case see [Skopenkov2002, Corollary 1.5.a]. For $m\ge2p+q+3$$m\ge2p+q+3$ there is an alternative direct proof [Skopenkov2006], [Skopenkov2015a], but for $m<2p+q+2$$m<2p+q+2$ no proof of Theorem 3.2 without referring to `the deleted product method' is known.

For $m\ge2p+q+2$$m\ge2p+q+2$ (which is automatic for $p\le q$$p\le q$ and $2m\ge3p+3q+4$$2m\ge3p+3q+4$) we have $\pi_p(V_{m-p,q+1})=0$$\pi_p(V_{m-p,q+1})=0$ and the 1-1 correspondence of Theorem 3.2 is $\tau$$\tau$.

4 References

• [Alexander1924] J. W. Alexander, On the subdivision of 3-space by polyhedron, Proc. Nat. Acad. Sci. USA, 10, (1924) 6–8. Zbl 50.0659.01
• [Boechat&Haefliger1970] J. Boéchat and A. Haefliger, Plongements différentiables des variétés orientées de dimension $4$$4$ dans $\Rr^7$$\Rr^7$, (French) Essays on Topology and Related Topics (Mémoires dédiés à Georges de Rham), Springer, New York (1970), 156–166. MR0270384 (42 #5273) Zbl 0199.27003
• [Boechat1971] J. Boéchat, Plongements de variétées différentiables orientées de dimension $4k$$4k$ dans $\Rr^{6k+1}$$\Rr^{6k+1}$, Comment. Math. Helv. 46 (1971), 141–161. MR0295373 (45 #4439) Zbl 0218.57016
• [Cencelj&Repovš&Skopenkov2007] M. Cencelj, D. Repovš and M. Skopenkov, Homotopy type of the complement of an immersion and classification of embeddings of tori., Russ. Math. Surv.62 (2007), no.5, 985-987. Zbl 1141.57009
• [Cencelj&Repovš&Skopenkov2008] M. Cencelj, D. Repovš and M. Skopenkov, Classification of knotted tori in the 2-metastable dimension, Mat. Sbornik, 203:11 (2012), 1654-1681. Available at the arXiv:0811.2745.
• [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
• [Hudson1963] J. F. P. Hudson, Knotted tori, Topology 2 (1963), 11–22. MR0146829 (26 #4349) Zbl 0151.32503
• [Kosinski1961] A. Kosinski, On Alexander's theorem and knotted tori, In: Topology of 3-Manifolds, Prentice-Hall, Englewood Cliffs, Ed. M.~K.~Fort, N.J., 1962, 55--57. Cf. Fort1962.
• [Lucas&Saeki2002] L. A. Lucas and O. Saeki, Embeddings of $S^p\times S^q\times S^r$$S^p\times S^q\times S^r$ in $S^{p+q+r+1}$$S^{p+q+r+1}$, Pacific J. Math. 207 (2002), no.2, 447–462. MR1972255 (2004c:57045) Zbl 1058.57022
• [Milgram&Rees1971] R. Milgram and E. Rees, On the normal bundle to an embedding., Topology 10 (1971), 299-308. MR0290391 (44 #7572) Zbl 0207.22302
• [Skopenkov2002] A. Skopenkov, On the Haefliger-Hirsch-Wu invariants for embeddings and immersions., Comment. Math. Helv. 77 (2002), no.1, 78-124. MRMR1898394 (2003c:57023) Zbl 1012.57035
• [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.
• [Skopenkov2006a] A. Skopenkov, Classification of embeddings below the metastable dimension. Available at the arXiv:0607422.
• [Skopenkov2007] A. Skopenkov, A new invariant and parametric connected sum of embeddings, Fund. Math. 197 (2007), 253–269. arXiv:math/0509621. MR2365891 (2008k:57044) Zbl 1145.57019
• [Skopenkov2010] A. Skopenkov, Embeddings of k-connected n-manifolds into $\Rr^{2n-k-1}$$\Rr^{2n-k-1}$, Proc. AMS, 138 (2010) 3377--3389. Available at the arXiv:0812.0263.
• [Skopenkov2014] A. Skopenkov, How do autodiffeomorphisms act on embeddings, Proc. A of the Royal Society of Edinburgh, 148:4 (2018) 835--848.
• [Skopenkov2015] M. Skopenkov, When is the set of embeddings finite up to isotopy? Intern. J. Math. 26:7 (2015), http://arxiv.org/abs/1106.1878
• [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.
• [Tindell1969] R. Tindell, Extending homeomorphisms of $S\sp p \times S\sp q$$S\sp p \times S\sp q$., Proc. Am. Math. Soc. 22 (1969), 230-232. MRMR0248852 (40 #2102) Zbl 0177.26802
• [Wall1965] C. T. C. Wall, Unknotting tori in codimension one and spheres in codimension two., Proc. Camb. Philos. Soc. 61 (1965), 659-664. MR0184249 (32 #1722) Zbl 0135.41602