The classification of certain linked $3$-manifolds in $6$-space

TL;DR

This paper classifies certain linked 3-manifolds embedded in 6-dimensional space, showing a complete set of invariants and revealing complex relationships between different embeddings.

Contribution

It explicitly constructs all Brunnian embeddings of (S^2×S^1)∪S^3 in R^6 and classifies their isotopy classes using integer parameters.

Findings

Explicit classification of Brunnian embeddings in R^6

Identification of invariants distinguishing embeddings

Demonstration of non-trivial relations between embeddings

Abstract

We work entirely in the smooth category. An embedding $f:(S^2\times S^1)\sqcup S^3\rightarrow {\mathbb R}^6$ is {\it Brunnian}, if the restriction of $f$ to each component is isotopic to the standard embedding. For each triple of integers $k,m,n$ such that $m\equiv n \pmod{2}$, we explicitly construct a Brunnian embedding $f_{k,m,n}:(S^2\times S^1)\sqcup S^3 \rightarrow {\mathbb R}^6$ such that the following theorem holds. Theorem: Any Brunnian embedding $f:(S^2\times S^1)\sqcup S^3\rightarrow {\mathbb R}^6$ is isotopic to $f_{k,m,n}$ for some integers $k,m,n$ such that $m\equiv n \pmod{2}$. Two embeddings $f_{k,m,n}$ and $f_{k',m',n'}$ are isotopic if and only if $k=k'$, $m\equiv m' \pmod{2k}$ and $n\equiv n' \pmod{2k}$. We use Haefliger's classification of embeddings $S^3\sqcup S^3\rightarrow {\mathbb R}^6$ in our proof. The following corollary shows that the relation between the embeddings $(S^2\times S^1)\sqcup S^3\rightarrow {\mathbb R}^6$ and $S^3\sqcup S^3\rightarrow {\mathbb R}^6$ is not trivial. Corollary: There exist embeddings $f:(S^2\times S^1)\sqcup S^3\rightarrow {\mathbb R}^6$ and $g,g':S^3\sqcup S^3\rightarrow {\mathbb R}^6$ such that the componentwise embedded connected sum $f\#g$ is isotopic to $f\#g'$ but $g$ is not isotopic to $g'$.