High codimension links

General Position Theorem 2.1. For each $<!-- COMMENT: To achieve a unified layout, along with using the template below, please OBSERVE the following: besides, $...$ and $$...$$, you should use two environments: - For statements like Theorem, Lemma, Definition etc., use e.g. {{beginthm|Theorem 1|(Milnor)}} ... ... ... {{endthm}}. - For references, use e.g. {{cite|Milnor1958b}}. END OF COMMENT--> {{Stub}} == Introduction == <wikitex>; For notation and conventions throughout this page see [[High_codimension_embeddings|high codimension embeddings]]. </wikitex> == General position and the Hopf linking == <wikitex>; {{beginthm|General Position Theorem}}\label{th1} For each $n$-manifold $N$ and $m\ge2n+2$, every two embeddings $N\to\Rr^m$ are isotopic. {{endthm}} The restriction $m\ge2n+2$ in Theorem \ref{th1} is sharp for non-connected manifolds. {{beginthm|Example: the Hopf linking}}\label{hopf} For each $n$ there is an embedding $S^n\sqcup S^n\to\Rr^{2n+1}$ which is not isotopic to the standard embedding. {{endthm}} For $n=1$ the Hopf Linking is shown in Figure~2.1.a of \cite{Skopenkov2006}. For arbitrary $n$ (including $n=1$) the image of the Hopf Linking is the union of two $n$-spheres: $$\left\{\begin{array}{c} x_1=\dots=x_n=0\ x_{n+1}^2\dots+x_{2n+1}^2=1\end{array}\right. \qquad\text{and}\qquad \left\{\begin{array}{c} x_{n+2}=\dots=x_{2n+1}=0\ x_1^2\dots+x_n^2+(x_{n+1}-1)^2=1\end{array}\right..$$ </wikitex> == The Haefliger-Zeeman classification == <wikitex>; The following table was obtained by Zeeman around 1960: $$\begin{array}{c|c|c|c|c|c|c|c} m &2q+2 &2q+1 &2q &2q-1 &2q-2 &2q-3 &2q-4 \ \#E^m(S^q\sqcup S^q) &1 &\infty &2 &2 &24 &1 &1 \end{array}$$ '' Construction of the Zeeman map $\tau:\pi_p(S^{m-q-1})\to E^m(S^p\sqcup S^q)$''. Take $x\in\pi_p(S^{m-q-1})$ Define embedding $\tau(x)$ on $S^q$ to be the standard embedding into $\R^m$. Take any map $\varphi:S^p\to\partial D^{m-q}$. Define embedding $\tau(x)$ on $S^p$ to be the composition $$S^p\overset{x\times i}\to\partial D^{m-q}\times S^q \subset D^{m-q}\times S^q\subset\R^m,$$ where $i:S^p\to S^q$ is the equatorial inclusion and the latter inclusion is the standard. See Figure 3.2 of \cite{Skopenkov2006}. </wikitex> == Invariants == <wikitex>; </wikitex> == Further discussion == <wikitex>; </wikitex> <!-- == Acknowledgments == == Footnotes == <references/> --> == References == {{#RefList:}} <!-- == External links == * The Wikipedia page about [[Wikipedia:Page_name|link text]]. --> <!-- Please modify these headings or choose other headings according to your needs. --> [[Category:Manifolds]]n$-manifold $N$ and $m\ge2n+2$, every two embeddings $N\to\Rr^m$ are isotopic.

Example: the Hopf linking 2.2. For each $n$ there is an embedding $S^n\sqcup S^n\to\Rr^{2n+1}$ which is not isotopic to the standard embedding.