[논문 리뷰] Symmetric knots and billiard knots

Józef H. Przytycki|ArXiv.org|2004. 05. 09.

Geometric and Algebraic Topology참고 문헌 28인용 수 6

한 줄 요약

이 논문은 대칭 결합과 빌리어드 결합을 존스 다항식, 스케인 다항식, 카우프만 브라켓과 같은 대수적 불변량을 사용하여 조사하며, 군 작용 하에서의 결합의 정기성 기준을 수립한다. 토러스 결합이 스케인 모듈로에서 특정 모듈로 관계를 만족함을 증명하여, 소수 r에 대한 불변량 모듈로를 통한 대칭 링크의 분류를 가능하게 하며, 고체 토러스와 3차원 다양체 내의 토러스 결합 및 링크에 대한 핵심 결과를 제시한다.

ABSTRACT

Symmetry of geometrical figures is reflected in regularities of their algebraic invariants. Algebraic regularities are often preserved when the geometrical figure is topologically deformed. The most natural, intuitively simple but mathematically complicated, topological objects are Knots. We present in this papers several examples, both old and new, of regularity of algebraic invariants of knots. Our main invariants are the Jones polynomial (1984) and its generalizations. In the first section, we discuss the concept of a symmetric knot, and give one important example -- a torus knot. In the second section, we give review of the Jones type invariants. In the third section, we gently and precisely develop the periodicity criteria from the Kauffman bracket (ingenious version of the Jones polynomial). In the fourth section, we extend the criteria to skein (Homflypt) and Kauffman polynomials. In the fifth section we describe r^q periodicity criteria using Vassiliev-Gusarov invariants. We also show how the skein method may be used for r^q periodicity criteria for the classical (1928) Alexander polynomial. In the sixth section, we introduce the notion of Lissajous and billiard knots and show how symmetry principles can be applied to these geometric knots. Finally, in the seventh section, we show how symmetry can be used to gain nontrivial information about knots in other 3-manifolds, and how symmetry of 3-manifolds is reflected in manifold invariants. In particular, we find the formula for a torus knot in a solid torus and we show that the third eigenvector (e_3) of the Kauffman bracket skein module of the solid torus (with respect to the meridian Dehn twist) can be realized by a link in a solid torus.

연구 동기 및 목표

• S³에서 고정점 원을 가지는 Z_n 작용에 의한 군 작용을 통한 n-주기적 결합을 탐지하기 위한 대수적 기준을 개발하기 위해.
• 카우프만 브라켓을 사용하여 존스 다항식에서 스케인 (Homflypt) 다항식과 카우프만 다항식으로의 정기성 기준을 확장하기 위해.
• 바시리에프-구사로프 불변량을 r^q-주기성에 적용하고 고전적 앨리오크산 다항식에 대한 조건을 유도하기 위해.
• 리사주 및 빌리어드 결합을 기하적 실현으로서 도입하고 분석하기 위해.
• 3차원 다양체 내의 대칭성과 그 다양체 불변량에 대한 반영을 탐구하며, 특히 스케인 모듈로와 모듈로 관계를 통해.
• method

제안 방법

• Homflypt 다항식의 스케인 관계를 사용: v⁻¹P(L₊) - vP(L₋) = zP(L₀), 정규화 조건 P(T₁) = 1.
• 스테이트 합 모델과 스케인 관계 ⟨◯⟩ = 1, ⟨◯⊔L⟩ = -(A² + A⁻²)⟨L⟩ 및 스무딩 규칙을 통한 카우프만 브라켓 다항식 ⟨L⟩ ∈ ℤ[A±¹] 적용.
• Z_r-대칭 스케인 모듈로 S²,∞(M)^Z_r 내에서 불변량 L_sym를 도입하며, 여기서 φ(L) = L는 Z_r 작용 생성자 φ에 대해 성립한다.
• 이행 사상과 이진 트리 비교를 사용하여 KBSM (카우프만 브라켓 스케인 모듈로) 내에서 소수 r에 대한 모듈로 관계 유도.
• 레마 7.5를 적용하여 고체 토러스 내에서 토러스 결합 T_{r,k}를 r 모듈로로 계산하며, T(r,k) ≡ A^{r(k−1)}(x^{k+1}−x^{−k−1}−A^{−4r}(x^{k−1}−x^{1−k})) / (x−x⁻¹) mod r 를 도출.
• e_n = (x^{n+1}−x^{−n−1})/(x−x⁻¹) 형태의 체비셰프 유사 다항식을 사용하여 고체 토러스 내 링크 불변량을 표현하며, e_n는 오직 n = 2^k−1일 때에만 실현 가능하다.

실험 결과

연구 질문

• RQ1 S³에서 고정점 원을 가지는 Z_n 작용 하에서 링크가 n-주기적일 조건은 다항식 불변량에 어떤 조건을 요구하는가?
• RQ2 스케인 다항식과 카우프만 브라켓은 군 작용 하에서 링크의 정기성 기준을 어떻게 도출할 수 있는가?
• RQ3 소수 r에 대한 스케인 모듈로 내에서 토러스 결합 T_{r,k}를 특징짓는 모듈로 관계는 무엇인가?
• RQ4 어느 체비셰프 유사 다항식 e_n이 고체 토러스 내의 프레임드 링크의 불변량으로 실현될 수 있는가?
• RQ5 3차원 다양체 내의 대칭 원리가 스케인 모듈로와 커버링 맵을 통해 그 다양체의 불변량에 어떻게 반영되는가?

주요 결과

• 토러스 결합 T_{r,k}는 모듈로 r에서 카우프만 브라켓 스케인 모듈로 내에서 닫힌 형태의 표현식을 만족한다: T(r,k) ≡ A^{r(k−1)}(x^{k+1}−x^{−k−1}−A^{−4r}(x^{k−1}−x^{1−k})) / (x−x⁻¹) mod r.
• 고체 토러스 내에서 T_{2,k}의 공식은 홀수 k에 대해 L(2,k) = A^{2(k−1)}(e_k − A^{-8}e_{k-2})이며, 짝수 k일 경우 추가로 2A^{-6} 항이 포함된다.
• 링크 L에 대해 ⟨L⟩_{A=-1} = (-2)^{com(L)−1} 이며, 이는 e_n이 링크로 실현될 수 있는 경우 오직 n = 2^k−1일 때에만 가능함을 제한한다.
• 3브레이드 Δ = σ₁σ₂σ₁의 닫힌 브레이드 실현은 고체 토러스 내에서 A³e₃를 실현하며, 가족 ˆΔ^{2n+1}의 닫힘은 오직 가역 단위의 차이만 존재하는 존스 다항식을 가진다.
• 이행 사상 p⁻¹_*: S²,∞(M_*) → S²,∞(M)^Z_r mod r 는 ℤ-환형사상이며, p⁻¹_*(w(A)L) ≡ w(A^r)p⁻¹_*(L) mod r 를 만족한다.
• ˆΔ^{2n+1}과 ˆΔ^{2m+1}의 연결 합의 존스 다항식은 고정된 n+m에 대해 일정하며, 동일한 존스 다항식을 가진 무한한 링크 가족을 유도한다.