[論文レビュー] Symmetric knots and billiard knots

Józef H. Przytycki|ArXiv.org|May 9, 2004

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次元多様体における対称性と、それらの多様体不変量への反映、特にスキーンモジュールおよびモジュラー関係を通じての考察。

提案手法

• Homflypt多項式のスキーン関係を用いる：v⁻¹P(L₊) - vP(L₋) = zP(L₀)、正規化は P(T₁) = 1。
• 状態和モデルによるカウフマンブラケット多項式 ⟨L⟩ ∈ ℤ[A±¹] の適用、スキーン関係：⟨◯⟩ = 1、⟨◯⊔L⟩ = -(A² + A⁻²)⟨L⟩、および滑らか化則。
• Z_r-対称スキーンモジュール S²,∞(M)^Z_r 内の不変量 L_sym を導入。ここで φ(L) = L は Z_r-作用の生成元 φ に対して成り立つ。
• 移行写像と二分木の比較を用いて、KBSM（カウフマンブラケットスキーンモジュール）における素数 r に関するモジュラー関係を導出。
• 補題 7.5 を適用し、r を法としての立体トーラス内のトーラス結び目 T_{r,k} を計算。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 が固定されたとき一定であり、同じジョーンズ多項式を持つ無限個のリンク族が得られる。