[论文解读] Local moves on knots and products of knots II

Louis H. Kauffman, Eiji Ogasa|arXiv (Cornell University)|Jun 21, 2014

Geometric and Algebraic Topology参考文献 14被引用 3

一句话总结

该论文证明了将一个简单球面 $2m$-结映射到其与Hopf链环的积，是 $ olimits_{2m}$ 到 $ olimits_{2m+4}$ 的双射，其中 $m \geq 4$，并证明了结的局部移动——特别是pass-移动——与结积构造可交换。此外，该研究还表明，环面链环的pass-等价性意味着其对应Brieskorn流形的微分同胚性，且2-结上的ribbon-移动通过Hopf链环构造在高维积中诱导出相应的pass-移动。

ABSTRACT

We use the terms, knot product and local move, as defined in the text of the paper. Let $n$ be an integer$\geqq3$. Let $\mathcal S_n$ be the set of simple spherical $n$-knots in $S^{n+2}$. Let $m$ be an integer$\geqq4$. We prove that the map $j:\mathcal S_{2m} o\mathcal S_{2m+4}$ is bijective, where $j(K)=K\otimes$Hopf, and Hopf denotes the Hopf link. Let $J$ and $K$ be 1-links in $S^3$. Suppose that $J$ is obtained from $K$ by a single pass-move, which is a local-move on 1-links. Let $k$ be a positive integer. Let $P\otimes^kQ$ denote the knot product $P\otimes\underbrace{Q\otimes...\otimes Q}_k$. We prove the following: The $(4k+1)$-dimensional submanifold $J\otimes^k{ m Hopf}$ $\subset S^{4k+3}$ is obtained from $K\otimes^k{ m Hopf}$ by a single $(2k+1,2k+1)$-pass-move, which is a local-move on $(4k+1)$-submanifolds contained in $S^{4k+3}$. See the body of the paper for the definitions of all local moves in this abstract. We prove the following: Let $a,b,a',b'$ and $k$ be positive integers. If the $(a,b)$ torus link is pass-move equivalent to the $(a',b')$ torus link, then the Brieskorn manifold $Σ(a,b,\underbrace{2,...,2}_{2k})$ is diffeomorphic to $Σ(a',b',\underbrace{2,...,2}_{2k})$ as abstract manifolds. Let $J$ and $K$ be (not necessarily connected or spherical) 2-dimensional closed oriented submanifolds in $S^4$. Suppose that $J$ is obtained from $K$ by a single ribbon-move, which is a local-move on 2-dimensional submanifolds contained in $S^4$. Let $k$ be an integer$\geq2$. We prove the following: The $(4k+2)$-submanifold $J\otimes^k{ m Hopf}$ $\subset S^{4k+4}$ is obtained from $K\otimes^k{ m Hopf}$ by a single $(2k+1,2k+2)$-pass-move, which is a local-move on $(4k+2)$-dimensional submanifolds contained in $S^{4k+4}$.

研究动机与目标

• 研究高维结理论中涉及Hopf链环的结积构造与局部移动（如pass-移动和ribbon-移动）之间的相容性。
• 确定与Hopf链环取积的操作是否在局部移动下保持pass-等价性等等价关系。
• 在高维中建立经典环面链环的pass-等价性与对应Brieskorn流形微分同胚性之间的对应关系。
• 分析Seifert-Farber同伦配对在结积构造下的行为，特别是与Seifert超曲面悬垂的关系。

提出的方法

• 使用结积构造 $K \otimes L$，该构造适用于余维数为二的子流形，当至少一个因子为纤维化时，可从低维结生成 $S^{k+l+1}$ 中的高维结。
• 应用从连续映射 $\alpha_V: V \times V_+ \to \mathbb{R}^{n+1} \setminus \{0\}$，$(a,b) \mapsto a-b$ 衍生出的 $S$-映射和Seifert-Farber同伦配对，以关联不同维数间的Seifert超曲面。
• 利用悬垂构造 $\gamma^2(\alpha_V)$ 将 $2m$-结的映射提升至 $2m+4$-结，保持同伦型和链接结构。
• 利用Seifert-Farber配对上的 $R$-等价关系比较和分类结积，尤其关注与Hopf链环的关系。
• 应用 [15, 引理6.1 和命题6.2] 的结果，关联不同维数下的Seifert矩阵与超曲面，表明积运算保持链接配对。
• 证明在 $(4k+1)$-结 $K \otimes^k \text{Hopf}$ 上进行的单个 $(2k+1,2k+1)$-pass-移动，精确对应于原始1-结 $K$ 上的pass-移动，且对 $2$-结上的 $(2k+1,2k+2)$-pass-移动亦成立。

实验结果

研究问题

• RQ1 对于 $m \geq 4$，操作 $K \mapsto K \otimes \text{Hopf}$ 是否在简单球面 $2m$-结与 $2m+4$-结的集合之间诱导出双射？
• RQ2 能否将1-结 $K$ 上的单个pass-移动提升为高维结 $K \otimes^k \text{Hopf}$ 在 $4k+1$ 维中的对应pass-移动？
• RQ3 若两个环面链环是pass-等价的，是否意味着其对应的Brieskorn流形 $\Sigma(a,b,2,\dots,2)$（含 $2k$ 个2）作为抽象流形是微分同胚的？
• RQ4 在 $S^4$ 中，2-结 $K$ 上的ribbon-移动是否在 $S^{4k+4}$ 中的 $(4k+2)$-结 $K \otimes^k \text{Hopf}$ 上诱导出相应的 $(2k+1,2k+2)$-pass-移动？
• RQ5 $(K \otimes \text{Hopf})$ 的Seifert-Farber同伦配对是否由映射 $\gamma^2(\alpha_V)$ 悬垂原始配对所诱导？

主要发现

• 由 $j(K) = K \otimes \text{Hopf}$ 定义的映射 $j: \mathcal{S}_{2m} \to \mathcal{S}_{2m+4}$ 对所有整数 $m \geq 4$ 是双射，建立了 $2m$ 维与 $2m+4$ 维结类型之间的稳定对应关系。
• 在 $(4k+1)$-结 $K \otimes^k \text{Hopf}$ 上进行的单个 $(2k+1,2k+1)$-pass-移动，精确对应于原始1-结 $K$ 上的pass-移动，表明积构造与局部移动可交换。
• 若 $(a,b)$-环面链环与 $(a',b')$-环面链环是pass-移动等价的，则含 $2k$ 个2的Brieskorn流形 $\Sigma(a,b,2,\dots,2)$ 与 $\Sigma(a',b',2,\dots,2)$ 作为抽象流形是微分同胚的。
• 在 $S^4$ 中，2-结 $K$ 上的ribbon-移动在 $S^{4k+4}$ 中的 $(4k+2)$-结 $K \otimes^k \text{Hopf}$ 上诱导出单个 $(2k+1,2k+2)$-pass-移动，将局部移动的相容性扩展至高维结。
• $(K \otimes \text{Hopf})$ 的Seifert-Farber同伦配对由 $\theta(\gamma^2(\alpha_V))$ 构造的 $S$-映射实现，该映射与由悬垂Seifert超曲面诱导的配对 $R$-等价。
• 构造 $K \mapsto K \otimes \text{Hopf}$ 保持Seifert链接配对，并与Seifert超曲面的悬垂相容，如积结的超曲面满足同伦等价 $\Sigma^2 V^{2m+1} \simeq W^{2m+5}$ 所示。