[논문 리뷰] Twisted Alexander polynomials of 2-bridge knots associated to metacyclic representations

Mikami Hirasawa, Kunio Murasugi|ArXiv.org|2009. 03. 01.

Geometric and Algebraic Topology참고 문헌 12인용 수 8

한 줄 요약

이 논문은 2-브릿지 링크들로 이루어진 집합 $ H(p) $ 내에서, $ D_p $ (순서 $ 2p $ 인 이면군)으로의 비아벨 메타시클릭 표현에 관련된 비틀린 아르틴 다항식이 $ \left\{ \frac{\Delta_K(t)}{1-t} \right\} f(t)f(-t) $ 형태를 가짐을 증명한다. 여기서 $ f(t) $ 는 정수 계수 다항식이며, $ f(t) \equiv \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n \pmod{p} $ 를 만족한다. 이 결과는 메타시클릭 표현에 대한 비틀린 아르틴 다항식에 관한 추측의 개선된 형태를 확인한다.

ABSTRACT

Let p be an odd prime and D_p a dihedral group of order 2p. Let ρ: G(K) --> D_p --> GL(p,Z) be a non-abelian representation of the knot group G(K) of a knot K in 3-sphere. Let Δ_{ρ,K} (t) be the twisted Alexander polynomial of K associated to ρ. Let H(p) is the set of 2-bridge knots K, such that G(K) is mapped onto a non-trivial free product Z/2 * Z/p. Then we prove that for any 2-bridge knot K in H(p), Δ_{ρ,K}(t) is of the form Δ_{K}(t)/(1-t) f(t) f(-t) for some integer polynomial f(t), where Δ_K (t) is the Alexander polynomial of K. Further, it is proved that f(t) \equiv {Δ_K (t)/(1+t)}^n (mod p). Later we discuss the twisted Alexander polynomial associated to the general metacyclic representation.

연구 동기 및 목표

• 2-브릿지 링크 군에 대한 메타시클릭 표현과 관련된 비틀린 아르틴 다항식의 구조를 규명하는 것.
• 소수 $ p = 2n+1 $ 인 경우, $ D_p $ 로의 이면군 표현에 대해 추측 A 의 개선된 형태를 검증하는 것.
• 다항식 $ f(t) $ 에 대해 모듈로 $ p $ 에서의 합동 조건을 설정하여 아르틴 다항식 $ \Delta_K(t) $ 와 연결하는 것.
• 더 일반적인 메타시클릭 군 $ N(q,p) $ 로 결과를 확장하여, 비틀린 아르틴 다항식이 표준 아르틴 다항식과 이면군 사례에 의해 완전히 결정됨을 보이는 것.
• 비틀린 아르틴 다항식이 $ \{\Delta_K(t)/(1-t)\}F(t) $ 형태를 가지며, $ F(t) $ 가 $ t^m $ 에 속한다는 보다 광범위한 추측 A 를 뒷받침하는 것.

제안 방법

• 순서 $ 2p $ 인 이면군 $ D_p $ 를 고려하여 표현 $ \widehat{\rho}: G(K) \to D_p \to GL(p,\mathbb{Z}) $ 를 사용한다.
• 군 링 호모로지와 표현 이론을 이용한 비틀린 아르틴 다항식의 정의를 적용하며, $ G(K) $ 가 $ \mathbb{Z}[t^{\pm 1}] $-모듈에 작용하는 방식을 고려한다.
• 비틀린 아르틴 다항식 행렬의 구조를 분석하기 위해 피보나치 유사 수열 $ F(n,k) $ 의 재귀 관계와 성질을 활용한다.
• 계수 벡터에 대한 선형 대수학적 추론을 통해 $ k = n $ 인 경우에 $ \mathbf{u}_{n-j} \cdot \mathbf{w}_k = -c_{n-j-1}^{(n)} $ 라는 핵심 항등식을 도출한다.
• 조건 $ \Delta_K(-1) \equiv 0 \pmod{p} $ 를 바탕으로 $ f(t) \equiv \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n \pmod{p} $ 라는 합동 조건을 적용한다.
• 군 $ N(q,p) = \langle s,a \mid s^{2q}=a^p=1, sas^{-1}=a^{-1} \rangle $ 로 결과를 확장하여, 비틀린 다항식이 이면군 사례와 아르틴 다항식에 의해 완전히 결정됨을 보인다.

실험 결과

연구 질문

• RQ1 2-브릿지 링크 $ K(r) \in H(p) $ 에 대해 비아벨 $ D_p $-표현 하에서 비틀린 아르틴 다항식이 $ \left\{ \frac{\Delta_K(t)}{1-t} \right\} f(t)f(-t) $ 형태를 가지는가?
• RQ2 이 분해에서 다항식 $ f(t) $ 가 모듈로 $ p $ 에서 $ \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n $ 과 합동인가?
• RQ3 일반적인 메타시클릭 표현 $ N(q,p) $ 에서 비틀린 아르틴 다항식이 표준 아르틴 다항식과 이면군 사례에 의해 완전히 결정되는가?
• RQ4 비틀린 아르틴 다항식의 구조가 $ G(m,p|k) $-표현에 대한 보다 광범위한 추측 A 를 지지하는가?
• RQ5 조건 $ \Delta_K(-1) \equiv 0 \pmod{p} $ 는 이러한 표현의 존재성과 형태를 결정하는 데 어떤 역할을 하는가?

주요 결과

• 모든 2-브릿지 링크 $ K(r) \in H(p) $ 에 대해, 비틀린 아르틴 다항식 $ \widetilde{\Delta}_{\widehat{\rho},K}(t) $ 는 어떤 정수 계수 다항식 $ f(t) $ 가 존재하여 $ \left\{ \frac{\Delta_K(t)}{1-t} \right\} f(t)f(-t) $ 형태를 가진다.
• 다항식 $ f(t) $ 는 소수 $ p = 2n+1 $ 에 대해 합동 조건 $ f(t) \equiv \left\{ \frac{\Delta_K(t)}{1+t} \right\}^n \pmod{p} $ 를 만족한다.
• 조건 $ \Delta_K(-1) \equiv 0 \pmod{p} $ 는 $ (1+t)^2 \mid \Delta_K(t) \pmod{p} $ 와 동치이며, 이는 비아벨 $ D_p $-표현의 존재를 보장한다.
• $ N(q,p) $ 군에 대해 비틀린 아르틴 다항식 $ \widetilde{\Delta}_{\widetilde{\nu},K(r)}(t) $ 는 $ \Delta_{K(r)}(t) $ 와 $ \widetilde{\Delta}_{\widehat{\rho},K(r)}(t) $ 에 의해 완전히 결정되며, $ t^{2q} $ 에 대한 정수 계수 다항식이다.
• 이 증명은 피보나치 유사 수열 $ F(n,k) $ 에 관한 재귀 항등식과, $ k = n $ 인 경우에 $ \mathbf{u}_{n-j} \cdot \mathbf{w}_k = -c_{n-j-1}^{(n)} $ 라는 벡터의 내적 항등식을 활용하며, 이는 다항식의 구조를 확인한다.
• 결과는 2-브릿지 링크에 대해 추측 B 를 확인하며, 더 일반적인 메타시클릭 표현에 대해 추측 A 를 지지한다. 특히 제9장에서 명시적인 예가 제시된다.