[논문 리뷰] Local moves on knots and products of knots II

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

Geometric and Algebraic Topology참고 문헌 14인용 수 3

한 줄 요약

이 논문은 $m \geq 4$ 일 때 단순한 구면 $2m$-링크에서 허프 링크와의 곱을 취하는 사상이 $\mathcal{S}_{2m}$에서 $\mathcal{S}_{2m+4}$로의 전단사 사상임을 증명하며, 특히 링크 곱 구조와 국소 이동—특히 패ass-이동—이 서로 호환됨을 보인다. 또한 토러스 링크의 패ass-동치성은 관련 브리스코른 다양체의 미분동형성을 함의하며, 2-링크에서의 리ibbon-이동은 허프 링크를 통한 곱 구조를 통해 고차원 곱 링크에서 해당하는 패ass-이동을 유도함을 보여준다.

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}$.

연구 동기 및 목표

• 고차원 링크 이론에서 허프 링크를 포함한 링크 곱 구조와 국소 이동—예를 들어 패ass-이동과 리ibbon-이동—의 호환성을 조사한다.
• 허프 링크와의 곱 연산이 국소 이동 하에 패ass-동치성과 같은 동치관계를 유지하는지 여쭙는다.
• 고차원에서의 패ass-동치성과 관련된 고전적 토러스 링크 간의 관계를, 관련 브리스코른 다양체의 미분동형성과 연결한다.
• 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$-동치 관계를 사용하여 링크 곱의 비교 및 분류를 수행한다.
• 문헌 [15, Lemma 6.1 및 Proposition 6.2]의 결과를 적용하여, 다양한 차원 간의 Seifert 행렬과 초표면을 연결하며, 곱 연산이 연결 쌍대를 유지함을 보여준다.
• $(4k+1)$-링크 $K \otimes^k \text{Hopf}$에서의 단일 $(2k+1,2k+1)$-패ass-이동은 원래의 1-링크 $K$에서의 패ass-이동과 정확히 일치하며, 마찬가지로 $2$-링크에서의 $(2k+1,2k+2)$-패ass-이동에 대해서도 동일한 성질이 성립함을 보였다.

실험 결과

연구 질문

• RQ1 모든 정수 $m \geq 4$ 에 대해 $K \mapsto K \otimes \text{Hopf}$ 연산이 단순한 구면 $2m$-링크와 $2m+4$-링크의 집합 사이에 전단사 사상으로 작용하는가?
• RQ2 1-링크 $K$에서의 단일 패ass-이동이 차원 $4k+1$에서의 고차원 링크 $K \otimes^k \text{Hopf}$로 어떻게 승격될 수 있는가?
• RQ3 두 토러스 링크가 패ass-동치일 경우, $2k$개의 2를 포함하는 $\Sigma(a,b,2,\dots,2)$와 $\Sigma(a',b',2,\dots,2)$ 형태의 브리스코른 다양체가 추상적으로 미분동형인가?
• RQ4 $S^4$에서의 2-링크 $K$에서의 리ibbon-이동이 $S^{4k+4}$에서의 $(4k+2)$-링크 $K \otimes^k \text{Hopf}$에서 해당하는 $(2k+1,2k+2)$-패ass-이동을 유도하는가?
• RQ5 링크 $K \otimes \text{Hopf}$의 Seifert-Farber 호모토피 쌍대가 맵 $\gamma^2(\alpha_V)$를 통해 $K$의 쌍대를 스펜션한 것으로 유도되는가?

주요 결과

• 모든 정수 $m \geq 4$ 에 대해 $j: \mathcal{S}_{2m} \to \mathcal{S}_{2m+4}$ 정의된 사상 $j(K) = K \otimes \text{Hopf}$ 는 전단사이며, 차원 $2m$ 와 $2m+4$ 에서 링크 유형 간의 안정적 대응을 확립한다.
• $(4k+1)$-링크 $K \otimes^k \text{Hopf}$에서의 단일 $(2k+1,2k+1)$-패ass-이동은 원래의 1-링크 $K$에서의 패ass-이동과 정확히 일치하며, 이는 곱 구조가 국소 이동과 가환함을 보여준다.
• $(a,b)$-토러스 링크가 패ass-이동 동치일 경우, $2k$개의 2를 포함하는 브리스코른 다양체 $\Sigma(a,b,2,\dots,2)$ 와 $\Sigma(a',b',2,\dots,2)$ 는 추상적으로 미분동형이다.
• $S^4$에서의 2-링크 $K$에서의 리ibbon-이동은 $S^{4k+4}$에서의 $(4k+2)$-링크 $K \otimes^k \text{Hopf}$에서 단일 $(2k+1,2k+2)$-패ass-이동을 유도하며, 이는 국소 이동의 호환성이 고차원 링크로 확장됨을 보여준다.
• 링크 $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}$ 의 호모토피 동치성으로써 이를 보여준다.