[논문 리뷰] Milnor's triple linking numbers and derivatives of genus three knots

JungHwan Park|arXiv (Cornell University)|2016. 03. 30.

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

한 줄 요약

이 논문은 종수 3의 대수적으로 스레드된 링크의 유도체에 대한 밀너의 삼중 연결수를 조사하며, 이러한 링크에 대해 고정된 메타볼라이저와 관련된 두 유도체 간의 삼중 연결수 차이가 정수의 부분군을 이룬다는 것을 증명한다. 이 부분군은 세이베르트 행렬을 포함하는 특정 표현식에 의해 생성된다. 주요 결과로는, 고정된 세이베르트 표면과 메타볼라이저를 가진 트ivial 링크의 경우, 모든 정수를 유도체의 삼중 연결수로 실현할 수 있으며, 종수 1의 대수적으로 스레드된 링크의 연결합은 최소한 하나의 유도체에서 삼중 연결수가 비영인 것을 보였다.

ABSTRACT

A derivative of an algebraically slice knot $K$ is an oriented link disjointly embedded in a Seifert surface of $K$ such that its homology class forms a basis for a metabolizer $H$ of $K$. We show that for a genus three algebraically slice knot $K$, the set $\{ \barμ_{\{γ_1,γ_2,γ_3\}}(123) - \barμ_{\{γ'_1,γ'_2,γ'_3\}}(123)| \{γ_1,γ_2,γ_3\}$ and $\{γ'_1,γ'_2,γ'_3\}$ are derivatives of $K$ associated with a metabolizer $H\}$ contains $n\cdot \mathbb{Z}$ where $n$ is determined by a Seifert form of $K$ and a metabolizer $H$. As a corollary, we show that it is possible to realize any integer as a Milnor's triple linking number of a derivative of the unknot on a fixed Seifert surface with a fixed metabolizer. In addition, we show that a knot, which is a connected sum of three genus one algebraically slice knots, has at least one derivative which has non-zero Milnor's triple linking number.

연구 동기 및 목표

• 종수 3의 대수적으로 스레드된 링크의 유도체에 대한 밀너의 삼중 연결수의 행동을 이해하기 위해.
• 고정된 메타볼라이저와 관련된 서로 다른 유도체 간의 삼중 연결수 차이의 집합을 결정하기 위해.
• 고정된 세이베르트 표면과 메타볼라이저를 가진 트ivial 링크의 유도체에 대해 어떤 정수라도 삼중 연결수로 실현될 수 있음을 보여주기 위해.
• 세 종수 1의 대수적으로 스레드된 링크의 연결합이 최소한 하나의 삼중 연결수가 비영인 유도체를 가짐을 증명하기 위해.

제안 방법

• 논문은 종수 3의 세이베르트 표면의 첫 번째 호모로지에 대한 심플렉틱 기저를 사용하며, 이 기저에서 메타볼라이저 H는 세 개의 호모로지 클래스에 의해 생성된다.
• 기저 {a₁,b₁,a₂,b₂,a₃,b₃}에 대해 세이베르트 행렬 M을 구성하며, 이는 연결 데이터를 포함하고, 메타볼라이저 조건 β_F 가 H 위에서 0이 된다.
• 주요 결과는 세이베르트 행렬의 원소를 포함하는 공식 ((a−1)(b−1)(c−1) − abc + x₁x₂ + y₁y₂ + z₁z₂)에 기반하며, 이는 삼중 연결수의 차이 집합을 생성한다.
• 증명은 세이베르트 형식, 메타볼라이저, 그리고 밀너의 삼중 연결수를 링크 농도 불변량으로서 정의하는 성질에 기반한다.
• 결론들은 주요 정리를 트ivial 링크와 종수 1의 대수적으로 스레드된 링크의 연결합에 특수화하여 유도된다.
• 수론적 기법, 특히 GCD와 베주 항등식을 사용하여 새로운 메타볼라이저를 구성하고 세이베르트 행렬을 변형한다.

실험 결과

연구 질문

• RQ1 고정된 메타볼라이저와 관련된 종수 3의 대수적으로 스레드된 링크의 서로 다른 유도체 간의 밀너의 삼중 연결수 차이 집합의 구조는 무엇인가?
• RQ2 고정된 세이베르트 표면과 메타볼라이저를 가진 트ivial 링크의 유도체에 대해 어떤 정수라도 밀너의 삼중 연결수로 실현될 수 있는가?
• RQ3 세 종수 1의 대수적으로 스레드된 링크의 연결합은 항상 최소한 하나의 삼중 연결수가 비영인 유도체를 가질까?
• RQ4 세이베르트 행렬과 메타볼라이저의 선택은 유도체에 대한 삼중 연결수의 가능한 범위에 어떻게 影향을 미치는가?
• RQ5 세이베르트 행렬에서 유도된 표현식의 정수 스펜과 정확히 일치하는가?

주요 결과

• 임의의 종수 3의 대수적으로 스레드된 링크 K와 고정된 메타볼라이저 H에 대해, H와 관련된 유도체 간의 밀너의 삼중 연결수 차이 집합은 모든 n ∈ ℤ에 대해 n·((a−1)(b−1)(c−1) − abc + x₁x₂ + y₁y₂ + z₁z₂)를 포함한다.
• 고정된 세이베르트 표면과 메타볼라이저 H를 가진 트ivial 링크의 경우, 그 유도체의 삼중 연결수의 가능한 모든 값의 집합은 정확히 ℤ이며, 모든 정수가 실현 가능하다.
• 세 종수 1의 대수적으로 스레드된 링크의 연결합은 최소한 하나의 삼중 연결수가 비영인 유도체를 가진다.
• 일부 종수 1 링크의 세이베르트 행렬에 대해 ((e₁−1)(e₂−1)(e₃−1) − e₁e₂e₃) 표현식은 0이 아니며, 이는 연결합의 경우 비자명성을 보장한다.
• 주요 정리는 집합 S_{K,H}가 ℤ의 비자명한 부분군을 포함함을 보여주며, 등식이 성립하는지 여부는 여전히 열려있다.
• 결과는 가장 단순한 링크인 트ivial 링크의 경우에도, 그 유도체의 삼중 연결수가 절댓값 기준으로 임의로 크게 될 수 있음을 보이며, 이는 불변량의 행동에 복잡성을 보여준다.