[논문 리뷰] Chirality and the Conway polynomial

James Conant|arXiv (Cornell University)|2005. 03. 28.

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

한 줄 요약

이 논문은 앰피체이라날 링크의 컨웨이 다항식의 대수적 구조를 조사하며, 어떤 정수 계수 다항식 $f$에 대해 $f(z)f(-z)$로 인수분해된다고 제안한다. 형식적 로그와 모듈로 산술을 사용하여, 만약 이러한 인수분해가 성립한다면 $\mathbb{Z}_4[[z]]$에서 $C(z)C(iz)C(z^2)$가 완전 제곱임을 보이며, 바실리에프 불변량과의 연관성을 제시하고, 모든 앰피체이라날 링크가 이러한 인수분해 가능한 컨웨이 다항식을 가진다는 괴로운 추측에 대한 증거를 제공한다.

ABSTRACT

In recent work with J.Mostovoy and T.Stanford,the author found that for every natural number n, a certain polynomial in the coefficients of the Conway polynomial is a primitive integer-valued degree n Vassiliev invariant, but that modulo 2, it becomes degree n-1. The conjecture then naturally suggests itself that these primitive invariants are congruent to integer-valued degree n-1 invariants. In this note, the consequences of this conjecture are explored. Under an additional assumption, it is shown that this conjecture implies that the Conway polynomial of an amphicheiral knot has the property that C(z)C(iz)C(z^2) is a perfect square inside the ring of power series with integer coefficients, or, equivalently, the image of C(z)C(iz)C(z^2) is a perfect square inside the ring of polynomials with Z_4 coefficients. In fact, it is probably the case that the Conway polynomial of an amphicheiral knot always can be written as f(z)f(-z) for some polynomial f(z) with integer coefficients, and this actually implies the above "perfect squares" conditions. Indeed, by work of Kawauchi and Hartley, this is known for all negative amphicheiral knots and for all strongly positive amphicheiral knots. In general it remains unsolved, and this paper can be seen as some evidence that it is indeed true in general. [Added 2/22/12: Of note is the recent paper arXiv:1106.5634v1 [math.GT] by Ermotti, Hongler and Weber, which finds a counterexample to the conjecture that all Conway polynomials of amphicheiral knots are of the form f(z)f(-z). Intriguingly, their main example still satisfies C(z)C(iz)C(z^2)=f(z)^2 for a power series f(z), making the main conjecture of the present paper that much more compelling, in the author's opinion.]

연구 동기 및 목표

• 앰피체이라날 링크의 컨웨이 다항식이 어떤 정수 계수 다항식 $f$에 대해 $f(z)f(-z)$로 쓸 수 있는지 조사하는 것.
• 이 인수분해가 $\mathbb{Z}_4$ 계수의 거듭제곱급 수열에서 $C(z)C(iz)C(z^2)$의 구조에 미치는 영향을 검토하는 것.
• 컨웨이 다항식의 곱 $C(z)C(iz)C(z^2)$가 모듈로 4에서 완전 제곱임을 보여주는 증거를 제공하며, 이는 바실리에프 불변량의 정수성 및 토르션 성질과 연결된다.
• 강력한 앰피체이라날 링크와 부정적 앰피체이라날 링크에서 알려진 결과를 일반적인 경우로 확장하기 위해 대수적 및 위상수학적 기법을 사용하는 것.

제안 방법

• 정수 계수를 가진 거듭제곱급 수열에 대해 이산 로그 $\operatorname{log}_{\mathbb{Z}}$를 정의하여 컨웨이 다항식에서 원시 바실리에프 불변량을 구성한다.
• 형식적 지수 $\operatorname{exp}_{\mathbb{Z}}$를 사용해 로그를 반전시키고, 로그 계수로부터 컨웨이 다항식을 재구성한다.
• 모듈로 4로의 환원을 적용하여 $C(z)C(iz)C(z^2)$의 구조를 분석하며, 이 곱이 $\mathbb{Z}_4[[z]]$에서 제곱이라면 $\mathbb{Z}[[z]]$로의 올림이 가능하다는 것을 보인다.
• 논문의 보조정리 4.2를 사용하여, 정수 계수를 가진 거듭제곱급 수열이 모듈로 4에서 제곱이라면 그 제곱근 역시 정수 계수를 가진다는 것을 보인다.
• 논문의 보조정리 4.3을 사용하여 $\mathbb{Z}_4[[z]]$에서 제곱이 다항식이 되는 형식적 거듭제곱급 수열의 구조를 분석하며, 이러한 수열은 반드시 모듈로 2에서 다항식이어야 한다는 것을 보인다.
• 하트리 및 커와우치의 부정적 및 강력한 앰피체이라날 링크에 대한 기존 결과를 활용하여, 그들의 컨웨이 다항식이 $f(z)f(-z)$로 인수분해됨을 보이고, 따라서 제안된 조건을 만족함을 보인다.

실험 결과

연구 질문

• RQ1 모든 앰피체이라날 링크의 컨웨이 다항식은 어떤 정수 계수 다항식 $f$에 대해 $f(z)f(-z)$로 인수분해되는가?
• RQ2 만약 그렇다면, 이 인수분해는 $\mathbb{Z}_4[[z]]$에서 $C(z)C(iz)C(z^2)$가 완전 제곱임을 의미하는가?
• RQ3 이를 위해 이산 로그와 모듈로 환원 기법을 사용하여 $C(z)C(iz)C(z^2)$가 $\mathbb{Z}_4[[z]]$에서 완전 제곱임을 증명할 수 있는가?
• RQ4 $C(z) = f(z)f(-z)$ 조건은 $\mathbb{Z}_4[[z]]$에서의 제곱 조건보다 엄격히 강한가? 그리고 이는 링크의 행렬식에 어떤 영향을 미치는가?
• RQ5 역사적 앰피체이라날 링크 중 $\mathbb{Z}_{4k}$ 대칭성을 가진 링크들 중에서 $C(z) = f(z)f(-z)$ 인수분해에 대한 반례가 존재하는가?

주요 결과

• 앰피체이라날 링크의 컨웨이 다항식이 $f(z)f(-z)$로 인수분해된다면, $\mathbb{Z}[[z]]$에서의 거듭제곱급 수열에서 $C(z)C(iz)C(z^2)$는 완전 제곱이다.
• $C(z)C(iz)C(z^2)$가 $\mathbb{Z}_4[[z]]$에서 완전 제곱임은 $\mathbb{Z}_4[[z]]$에 속하는 다항식 $F$가 존재하여 $F^2 = C(z)C(iz)C(z^2)$임을 의미한다.
• 모든 부정적 앰피체이라날 링크와 강력한 앰피체이라날 링크에 대해 컨웨이 다항식은 $f(z)f(-z)$로 인수분해되며, 따라서 $\mathbb{Z}_4[[z]]$에서 제곱 조건을 만족한다. 이는 이러한 경우에 추측이 확인된 것이다.
• 앰피체이라날 링크의 행렬식은 두 제곱수의 합이며, 이는 $C(z) = f(z)f(-z)$ 인수분해에 의해 암시되며, 이는 추측과 일치한다.
• 논문은 모든 앰피체이라날 링크, 특히 $\mathbb{Z}_{4k}$ 대칭성을 가진 히퍼볼릭 링크에 대해서도 $C(z) = f(z)f(-z)$ 추측이 성립할 가능성이 있음을 제시하지만, 일반적으로는 아직 증명되지 않은 상태이다.
• 저자들은 $C(z)C(iz)C(z^2)$가 모듈로 4에서 제곱이고 계수가 정수 계수를 가진 거듭제곱급 수열의 계수와 합치친다면, 그 제곱근 역시 정수 계수를 가진다는 것을 보여주며, 이는 $\mathbb{Z}_4$에서의 제곱 조건이 $\mathbb{Z}$로의 올림이 가능하다는 것을 뒷받침한다.