High codimension links
This page has been accepted for publication in the Bulletin of the Manifold Atlas. |
The user responsible for this page is Askopenkov. No other user may edit this page at present. |
1 Introduction
Most of this page is intended not only for specialists in embeddings, but also for mathematician from other areas who want to apply or to learn the theory of embeddings.
On this page we describe readily calculable classifications of embeddings for closed disconnected manifolds into . Known cases are embeddings for , embeddings for for every , and embeddings of some disconnected 3-manifolds in . For a related classification of knotted tori see [Skopenkov2016k].
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069
For a general introduction to embeddings as well as the notation and conventions used on this page, we refer to [Skopenkov2016c, 1, 3].
The following table was obtained by Zeeman around 1960 (see the Haefliger-Zeeman Theorem 4.1 below):
For an -tuple denote . Although is not a manifold when are not all equal, embeddings and isotopy between such embeddings are defined analogously to the case of manifolds. Denote by the set of embeddings up to isotopy.
A component-wise version of embedded connected sum [Skopenkov2016c, 5] defines a commutative group structure on the set for [Haefliger1966], [Haefliger1966a], [Skopenkov2015, Group Structure Lemma 2.2 and Remark 2.3.a], see Figure 1.
The standard embedding is defined by . Fix pairwise disjoint -discs . The standard embedding is defined by taking the union of the compositions of the standard embeddings with the fixed inclusions .
2 Examples
Recall that for any -manifold and , every two embeddings are isotopic [Skopenkov2016c, General Position Theorem 2.1], [Skopenkov2006, General Position Theorem 2.1]. The following example shows that the restriction is sharp for non-connected manifolds.
Example 2.1 (The Hopf Link). For every positive integer there is an embedding , which is not isotopic to the standard embedding.
For the Hopf link is shown in Figure 2. For all the image of the Hopf link is the union of two -spheres which can be described as follows:
- either the spheres are and in ;
- or they are given as the sets of points in satisfying the following equations:
This embedding is distinguished from the standard embedding by the linking coefficient (see 3).
Analogously for any one constructs an embedding , which is not isotopic to the standard embedding. The image is the union of two spheres which can be described as follows:
- either the spheres are and in .
- or they are given as the points in satisfying the following equations:
This embedding is also distinguished from the standard embedding by the linking coefficient (see 3).
Definition 2.2 (A link with prescribed linking coefficient). We define the `Zeeman' map
For a map representing an element of let
Tex syntax error
Tex syntax error. Let
Tex syntax error.
One can easily check that is well-defined and is a homomorphism.
3 The linking coefficient
Here we define the linking coefficient and discuss is properties. Fix orientations of the standard spheres and balls.
Definition 3.1 (The linking coefficient). We define a map
Take an embedding representing an element . Take an embedding such that intersects transversely at exactly one point with positive sign; see Figure 4.
Then the restriction of to is a homotopy equivalence.
(Indeed, since , by general position the complement is simply-connected. By Alexander duality, induces isomorphism in homology. Hence by the Hurewicz and Whitehead theorems is a homotopy equivalence.)
Let be a homotopy inverse of . Define
Remark 3.2. (a) Clearly, is well-defined, i.e. is independent of the choices of and of the representative of . One can check that is a homomorphism.
(b) Analogously one can define for , by exchanging and in the above definition.
(c) Clearly, for the Zeman map . So is surjective and is injective.
(d) For there is a simpler alternative definitions using homological ideas. That definition can be generalized to the case where the components are closed orientable manifolds. Cf. Remark 5.3.f of [Skopenkov2016e].
Recall that by the Freudenthal Suspension Theorem the stable suspension homomorphism is an isomorphism for . The stable suspension of the linking coefficient can be described as follows.
Definition 3.3 (The -invariant). We define a map for . Take an embedding representing an element . Define the Gauss map (see Figure 4)
For define the -invariant by
The second isomorphism in this formula is the suspension isomorphism. The map is the quotient map, see Figure 5.
The map is an isomorphism for . (For this follows by general position and for by the cofibration Barratt-Puppe exact sequence of pair and by the existence of a retraction .)
One can easily check that is well-defined and for is a homomorphism.
Lemma 3.4 [Kervaire1959a, Lemma 5.1]. We have for .
Hence , even though in general as we explain in 8.
Note that the -invariant can be defined in more general situations [Koschorke1988], [Skopenkov2006, 5].
4 Classification in the metastable range
The Haefliger-Zeeman Theorem 4.1. (D) If , then both and are isomorphisms for in the smooth category.
(PL) If , then both and are isomorphisms for in the PL category.
The surjectivity of (or the injectivity of ) follows from . The injectivity of (or the surjectivity of ) is proved in [Haefliger1962t], [Zeeman1962] (or follows from [Skopenkov2006, the Haefliger-Weber Theorem 5.4 and the Deleted Product Lemma 5.3.a]).
An analogue of this result holds for links with many components, each of the same dimension [Haefliger1962t, Theorem at the end of 5], [Haefliger1966a]. Let be the -tuple consisting entirely of some positive integer .
Theorem 4.2. The collection of pairwise linking coefficients
is bijective for .
Assume that are closed manifolds, for every and are orientable. Then for an embedding and every one can define the linking coefficient , see Remark 3.2.e.
5 Examples beyond the metastable range
We present an example of the non-injectivity of the collection of pairwise linking coefficients, which shows that the dimension restriction is sharp in Theorem 4.2.
Example 5.1 (Borromean rings). The embedding defined below is a non-trivial embedding whose restrictions to each 2-component sublink is trivial [Haefliger1962, 4.1], [Haefliger1962t].
Denote coordinates in by . The (higher-dimensional) `Borromean rings' are the three spheres given by the following three systems of equations:
See Figure 6. The required embedding is any embedding whose image consists of the Borromean rings.
An embedding with image the Borromean rings is distinguished from the standard embedding by the well-known triple linking number called the Massey number [Massey1968], for an elementary definition see [Skopenkov2017, 4.5 `Triple linking modulo 2' and 4.6 `Massey-Milnor and Sato-Levine numbers']. (Also, this embedding is not isotopic to the standard embedding because joining the three components with two tubes, i.e. `linked analogue' of embedded connected sum of the components [Skopenkov2016c], yields a non-trivial knot [Haefliger1962], cf. the Haefliger Trefoil knot [Skopenkov2016t].)
For this and other results of this section are parts of low-dimensional link theory and so were known well before given references.
Next we present an example of the non-injectivity of the linking coefficient, which shows that the dimension restriction is sharp in Theorem 4.1.
Example 5.2 (Whitehead link). For every positive integer there is a non-trivial embedding whose linking coefficient is trivial.
Such an embedding is obtained from the Borromean rings embedding by joining two components with a tube, i.e. by the `linked analogue' of the embedded connected sum of the components [Skopenkov2016c, 3, 4]; see also the Wikipedia article on the Whitehead link. (For the connected sum is not well-defined, so we take the specific connected sum (w) from Figure 7.
We have because by moving two of the three Borromean rings and self-intersecting them, we can drag the third ring apart (see details e.g. in [Skopenkov2006a]). For the Whitehead link is distinguished from the standard embedding by equal to the Whitehead square of the generator . This fact should be well-known, but I do not know a published proof except [Skopenkov2015a, the Whitehead link Lemma 2.14]. For the Whitehead link is distinguished from the standard embedding by more complicated invariants [Skopenkov2006a], [Haefliger1962t, 3].
This example (in higher dimensions, i.e. for ) seems to have been discovered by Whitehead, in connection with Whitehead product.
For some results on links related to the Whitehead link [Skopenkov2015a, 2.5].
6 Linked 3-manifolds in 6-space
An embedding is Brunnian if its restriction to each component is isotopic to the standard embedding. For each triple of integers such that is even, one can explicitly construct a Brunnian embedding so that the following theorem holds.
Theorem 6.1. [Avvakumov2016] Any Brunnian embedding is isotopic to fk,m,n for some integers k,m,n such that is even. Two embeddings fk,m,n and fk′,m′,n′ are isotopic if and only if and both and are divisible by .
The proof uses classification of embeddings (the Haefliger Theorem 8.1 for ). The following corollary shows that the relation between the embeddings and is not trivial.
Corollary 6.2. [Avvakumov2016], cf. [Skopenkov2016t, Corollary 3.5.b] There exist embeddings and such that the componentwise embedded connected sum is isotopic to but is not isotopic to .
See an unpublished generalization in [Avvakumov2017].
7 Reduction to the case with unknotted components
In this section we assume that is an -tuple such that .
Define to be the subgroup of links all whose components are unknotted, i.e. isotopic to the standard embedding . We remark that [Haefliger1966a, 2.4, 2.6 and 9.3], [Crowley&Ferry&Skopenkov2011, 1.5].
Define the restriction homomorphism by mapping the isotopy class of a link to the ordered -tuple of the isotopy classes of its components:
Take pairwise disjoint -discs in , i.e. take an embedding . Define
Then is a right inverse of the restriction homomorphism , i.e. . The unknotting homomorphism is defined to be the homomorphism
Informally, the homomorphism is obtained by taking embedded connected sums of components with knots representing the elements of inverse to the components, whose images are small and are close to the components.
For some information on the groups see [Skopenkov2016s], [Skopenkov2006, 3.3].
8 Classification beyond the metastable range
The Haefliger Theorem 8.1. [Haefliger1966a, Theorem 10.7], [Skopenkov2009, Theorem 1.1], [Skopenkov2006b, Theorem 1.1] If and , then there is a homomorphism for which the following map is an isomorphism
The map and its right inverse are constructed in [Haefliger1966] and [Haefliger1966a]. For alternative geometric (and presumably equivalent) definitons of see [Skopenkov2009, 3], [Skopenkov2006b, 5], cf. [Skopenkov2007, 2] and [Crowley&Skopenkov2016, 2.3].
Remark 8.2. (a) The Haefliger Theorem 8.1 implies that for any we have an isomorphism
(b) For any , the map
is injective and its image is .
For see [Haefliger1962t, 6]. The following proof for and general remark are intended for specialists.
For there is an exact sequence , where is not [Haefliger1966a, Corollary 10.3]. We have , and is the reduction modulo 2. By the exactness, . By (a) . Hence is injective. We have by [Haefliger1966a, Proposition 10.2]. So the formula of (b) follows.
Analogously to [Skopenkov2009, Theorem 3.5] using geometric definitons of [Skopenkov2009, 3], [Skopenkov2006b, 5] and geomeric interpretation of the EHP sequence [Koschorke&Sanderson1977] one can possibly prove that . Then (b) would follow.
(c) For any the map in (b) above is not injective [Haefliger1962t, 6].
(d) For any , we have an isomorphism
which is the sum of 3 pairwise invariants of (a) and (b) above, and the Massey number (8). This follows from [Haefliger1962t, 6]. We conjecture that this result holds also for .
9 Classification in codimension at least 3
In this section we assume that is an -tuple such that . For this case a readily calculable classification of is obtained in [Crowley&Ferry&Skopenkov2011, Theorem 1.9]. Corollaries [Crowley&Ferry&Skopenkov2011, 1.2] one are necessary and sufficient conditions on when is finite. The answers are elementary but a bit technical. So we only state the following corollary and describe methods of its proof in Definition 9.2 and Theorem 9.3.
Theorem 9.1. [Crowley&Ferry&Skopenkov2011] There are algorithms which for integers
(a) calculateTex syntax error.
(b) find out whether is finite.
Definition 9.2 (The Haefliger link sequence). In [Haefliger1966a] Haefliger defined a long exact sequence of abelian groups
We briefly define the groups and homomorphisms in this sequence, refering to [Haefliger1966a, 1.4] for details. In the above sequence the -tuples are the same for different terms. Denote . For any and positive integer denote by the homomorphisms induced by the projection to the -component of the wedge. Denote . Denote .
Analogous to Definition 3.1 there is a canonical homotopy equivalence . It can be shown that each component of a link has a non-zero normal vector field and so each component of a link can be pushed off along such a vector field into the complement. One can show that the homotopy class of a push off of one component in the complement of the entire link gives a well-defined map . In fact, the map is a generalisation of the linking coefficient. Finally, define .
Taking the Whitehead product with the class of the identity in defines a homomorphism . Define .
The definition of the homomorphism is given in [Haefliger1966a, 1.5].
Theorem 9.3. (a) [Haefliger1966a, Theorem 1.3] The Haefliger link sequence is exact.
(b) [Crowley&Ferry&Skopenkov2011] The map is an isomorphism.
Part (b) follows because [Crowley&Ferry&Skopenkov2011, Lemma 1.3], and so the Haefliger link sequence after tensoring with the rational numbers splits into short exact sequences.
In general, the computation of the objects of Theorem 9.3 is difficult. For (a) no computations are known except for those giving (b) and those giving the Haefliger Theorem 8.1 (note that Theorem 8.1 has a direct proof easier than proof of Theorem 9.3.a). For (b) the computations constitute most of the non-trivial paper [Crowley&Ferry&Skopenkov2011]. Hence Theorem 9.3 is not a readily calculable classification in general.
10 References
- [Avvakumov2016] S. Avvakumov, The classification of certain linked 3-manifolds in 6-space, Moscow Mathematical Journal, 16:1 (2016) 1-25. http://arxiv.org/abs/1408.3918.
- [Avvakumov2017] S. Avvakumov, The classification of linked 3-manifolds in 6-space, Algebraic & Geometric Topology, to appear. arxiv preprint.
- [Crowley&Ferry&Skopenkov2011] D. Crowley, S.C. Ferry, M. Skopenkov, The rational classification of links of codimension >2, Forum Math. 26 (2014), 239-269. https://arxiv.org/abs/1106.1455
- [Crowley&Skopenkov2016] D. Crowley and A. Skopenkov, Embeddings of non-simply-connected 4-manifolds in 7-space, I. Classification modulo knots, Moscow Math. J., 21 (2021), 43--98. arXiv:1611.04738.
- [Haefliger1962] A. Haefliger, Knotted -spheres in -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 in for , 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
- [Kervaire1959a] M. Kervaire, An interpretation of G. Whitehead's generalization of H. Hopf's invariant, Ann. of Math. 62 (1959) 345--362.
- [Koschorke&Sanderson1977] U. Koschorke and B. Sanderson, Geometric interpretation of the generalized Hopf invariant, Math. Scand. 41 (1977) 199--217.
- [Koschorke1988] U. Koschorke, Link maps and the geometry of their invariants, Manuscripta Math. 61:4 (1988) 383--415.
- [Massey1968] W. S. Massey, Higher order linking numbers, Proc. Conf. on Algebraic Topology, Univ. Illinois, Chicago Circle, Chicago, Ill., (1968) pp. 174--205. MR0254832 (40 #8039), see also MR1625365 (99e:57016) massey.pdf.
- [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.
- [Skopenkov2006b] M. Skopenkov, A formula for the group of links in the 2-metastable dimension, arxiv:math/0610320v1
- [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
- [Skopenkov2009] M. Skopenkov, Suspension theorems for links and link maps. Proc. AMS 137 (2009) 359--369. arxiv:math/0610320, version 2 or higher
- [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.
- [Skopenkov2016e] A. Skopenkov, Embeddings just below the stable range: classification, to appear in Bull. Man. Atl.
- [Skopenkov2016k] A. Skopenkov, Knotted tori, preprint.
- [Skopenkov2016s] A. Skopenkov, Knots, i.e. embeddings of spheres, preprint.
- [Skopenkov2016t] A. Skopenkov, 3-manifolds in 6-space, to appear in Boll. Man. Atl.
- [Skopenkov2017] A. Skopenkov, Algebraic Topology From Algorithmic Viewpoint, draft of a book.
- [Zeeman1962] E. C. Zeeman, Isotopies and knots in manifolds, Topology of 3-manifolds and related topics (Proc. The Univ. of Georgia Institute, 1961), Prentice-Hall (1962), 187–193. MR0140097 (25 #3520) Zbl 1246.57069