[논문 리뷰] Two-variable Conway polynomial and Cochran's derived invariants

Sergey A. Melikhov|arXiv (Cornell University)|2003. 11. 29.

Geometric and Algebraic Topology참고 문헌 17인용 수 11

한 줄 요약

이 논문은 색칠된 링크에 대한 다변수 버전의 Conway 다항식을 도입하여, 그 계수들이 유한 유형 불변량임을 보이며, 이는 Milnor의 μ-불변량과 Cochran의 유도된 불변량을 일반화한다. 주요 기여는 이러한 불변량, 특히 정규화된 형태 ∇*ₗ 가 TOP 동치에 대해 불변임을 증명하고, 모든 위상적 링크로 연속적으로 확장됨을 보여, 유한 유형 불변량이 동치 유형을 탐지할 수 있는지에 대한 오랫동안 남아있던 질문을 해결한다.

ABSTRACT

We note that the Conway potential function $Ω_L$ of an $m$-component link $L$, $m>1$, can be expressed as $Ω_L(x_1,\dots,x_m)=Θ_L( abla_L(x_1-x_1^{-1},\dots,x_m-x_m^{-1}))$ for a unique $ abla_L\in\mathbb Z[z_1,\dots,z_m]$, where $Θ_L$ is a certain endomorphism of the additive group of $\mathbb Z[x_1^{\pm1},\dots,x_m^{\pm1}]$ which depends only on the pairwise linking numbers of the components of $L$. Motivated by applications to topological isotopy, we study the formal power series $\bar abla_L$, obtained by dividing $ abla_L$ by the Conway polynomials of the components of $L$. For a $2$-component link with $lk(L)=0$, the coefficient $α_{1,2k-1}$ of $\bar abla_L(u,v)$ at $uv^{2k-1}$ equals Cochran's derived invariant $(-1)^{k+1}β^k(L)$. While this can be deduced from a result of G.-T. Jin, which he proved using the surgical view of the Alexander polynomial, we provide an alternative proof, using Seifert matrices. Our main result is a formula for the same coefficient $α_{1,2k-1}$ in the geometrically subtler case $lk(L)=1$. Namely we express it in terms of generalized Cochran invariants $β_F^{ij}(P,Q)$, which were studied by Gilmer--Livingston (when $P=Q$) and by Tsukamoto--Yasuhara (when $j=0$) and are closely related to the Cochran pairing in the infinite cyclic covering of a knot.

연구 동기 및 목표

• 색칠된 링크에 대해 유한 유형 불변량을 포괄하는 다변수 일반화된 Conway 다항식을 수립하는 것.
• 다변수 아르바이어 다항식과 기하학적 불변량(예: Milnor의 μ-불변량 및 Cochran의 유도된 불변량) 간의 관계를 명확히 하는 것.
• 정규화된 Conway 다항식 ∇*ₗ의 특정 계수들이 TOP 동치에 대해 불변임을 증명하고, 모든 위상적 링크로 연속적으로 확장됨을 보이는 것.
• 유한 유형 불변량이 PL 동치 유형과 TOP 동치 유형을 구별할 수 있는지에 대한 질문을 해결하며, 이러한 불변량에 의해 구별되는 PL과 TOP 동치 간의 차이가 존재하지 않음을 보이는 것.

제안 방법

• 다변수 아르바이어 다항식의 잠재함수로부터 유도된 ℤ 위의 다항식으로서, 다변수 Conway 다항식 ∇ₗ(x₁−x₁⁻¹,…,xₘ−xₘ⁻¹)을 정의한다.
• 링크 L의 성분 Kᵢ에 대해 ∇*ₗ := ∇ₗ / (∇ₖ₁⋯∇ₖₘ)로 정규화된 불변량 ∇*ₗ을 도입하여, 유한 유형 불변량을 분리한다.
• ∇*ₗ의 계수들이 짝수 길이의 Milnor의 μ-불변량의 정수 상향을 이루며, Cochran의 βᵏ 불변량을 포함함을 증명한다.
• HOMFLY 및 Kauffman 다항식의 지수적 매개변수화를 사용하여 H*ₗ 및 F*ₗ를 정의하며, C⁰-근사에 대해 불변임과 함께 위상적 링크로의 연속적 확장을 보인다.
• PL 동치에 대해 잘 정의된 유한 유형 불변량이 k-준동치에 대해 불변임을 보이며, 이를 통해 k-준동치와 TOP 동치 간의 관계를 규명한다.
• k-준동치 이론을 적용하여, PL과 TOP 동치 간의 차이가 유한 유형 불변량에 의해 탐지될 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 유한 유형 불변량은 링크의 PL 동치 유형과 TOP 동치 유형 간의 차이를 탐지할 수 있는가?
• RQ2 다변수 Conway 다항식의 계수는 Milnor의 μ-불변량과 Cochran의 유도된 불변량과 어떻게 관련이 있는가?
• RQ3 정규화된 Conway 다항식 ∇*ₗ의 계수는 TOP 동치에 대해 불변이며, 모든 위상적 링크로 연속적으로 확장될 수 있는가?
• RQ4 ∇*ₗ의 계수는 관련 3차원 다각형의 Casson–Walker 불변량과 기하학적으로 어떤 의미를 갖는가?
• RQ5 HOMFLY 및 Kauffman 다항식을 사용하여 위상적 링크로 연속적으로 확장되는 유한 유형 불변량을 구성할 수 있는가?

주요 결과

• ∇*ₗ의 계수들은 짝수 길이의 Milnor의 μ-불변량의 정수 상향이며, Cochran의 유도된 불변량 βᵏ를 포함한다.
• ∇*ₗ의 계수 c₂는 Kirk–Livingston 이론 또는 진정된 유한 유형 이론 모두에서 유형 2에 속하지 않으며, 유형 분류에 대한 비자명한 장애를 시사한다.
• HOMFLY 및 Kauffman 다항식에서 유도된 정규화된 불변량 H*ₗ 및 F*ₗ는 C⁰-근사에 대해 불변이며, 모든 위상적 링크로 연속적으로 확장된다.
• 2ĥβ¹ / lk² 계수는 ĥβ¹ 이 0이 아닌 연결수로 확장된 경우, 링크 성분에 대해 0-수술을 수행하여 얻어진 Q-호모로지 구면의 Casson–Walker 불변량과 같다.
• PL과 TOP 동치 간의 차이는 어떤 유한 유형 불변량에 의해도 탐지되지 않으며, PL 동치에 대해 잘 정의된 유한 유형 불변량은 모든 k에 대해 k-준동치에 대해 불변이기 때문이다.
• ∇*ₗ 및 H*ₗ의 계수들은 TOP 동치에 대해 불변이며, 모든 위상적 링크로 연속적으로 확장되며, 이러한 불변성은 유지된다.