[論文レビュー] Lissajous knots and knots with Lissajous projections

Jim Hoste, Laura Zirbel|ArXiv.org|May 24, 2006

Geometric and Algebraic Topology参考文献 2被引用数 4

ひとこと要約

この論文は、ねじり結び目がリサージュ結び目であるための必要十分条件が、そのアルフ不変量がゼロであることであることを確立し、2-橋結び目および(3,q)-トーラス結び目がすべてリサージュ投影をもつこと（つまり、それ自身がリサージュ結び目ではないにもかかわらず、2つの周波数でのコサイン関数を用いた投影が可能であること）を証明している。主な貢献は、ねじり結び目のリサージュ性をアルフ不変量によって完全に特徴づけた点であり、バーブ群の技法とプラット閉包を用いて2-橋結び目および(3,q)-トーラス結び目のリサージュ投影を構成した点である。

ABSTRACT

Knots in Euclidean space which may be parameterized by a single cosine function in each coordinate are called Lissajous knots. We show that twist knots are Lissajous knots if and only if their Arf invariants are zero. We further prove that all 2-bridge knots and all (3,q)-torus knots have Lissajous projections.

研究の動機と目的

• 3つの座標においてコサイン関数を用いたパラメトリック方程式で定義されるリサージュ結び目として表現可能なねじり結び目の特定。
• 2-橋結び目および(3,q)-トーラス結び目が、それ自身がリサージュ結び目でないにもかかわらず、リサージュ投影をもつかどうかの調査。
• 特にアルフ不変量と対称性の制約に注目して、リサージュ結び目であるための必要十分条件を特定することにより、リサージュ結び目の理解を拡張すること。
• バーブ群の操作とプラット閉包技術を用いて、2-橋結び目および(3,q)-トーラス結び目の明示的なリサージュ投影の構成。

提案手法

• 整数周波数と位相シフトを用いた3つの座標におけるコサイン関数を用いたパラメトリック方程式により、リサージュ結び目を定義する。
• 6本のストリングを持つバーブのプラット閉包を、特定の周波数ペアを持つリサージュ弧に変換するためのバーブ群理論の応用。
• バーブ投影を、ストリングのリフトと再配置によって操作するための補題の使用により、リサージュ形式への変換を可能にする。
• 定理9の利用：もしバーブ投影がリサージュ弧の閉包であるならば、その結び目は同じ周波数を持つリサージュ投影をもつ。
• 位相シフトの正規化と対称性の議論を用いて、パrameter化を単純化し、自己交差を回避する。
• アレクサンダー多項式とアルフ不変量の分析により、結び目がリサージュであるための必要条件を導出し、ねじり結び目の場合の十分性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのねじり結び目がリサージュ結び目として表現可能か、そしてその表現のための必要十分条件は何か。
• RQ2 すべての2-橋結び目がリサージュ投影をもつか。もしそうならば、バーブ群の技法を用いてどのように構成できるか。
• RQ3 (3,q)-トーラス結び目は、それ自身がリサージュ結び目でないにもかかわらず、リサージュ投影をもつか。また、どのような周波数が必要か。
• RQ4 強いプラスアンチキラル性や2周期性などの対称性が、リサージュ結び目のアレクサンダー多項式およびアルフ不変量にどのような制約をもたらすか。
• RQ5 結び目がリサージュであるための既知の必要条件（アルフ不変量がゼロ、アレクサンダー多項式が2を法として平方、軸との自己自己リンク数が特定の値）が、任意の結び目クラスにおいても十分条件となるか。

主な発見

• ねじり結び目は、そのアルフ不変量がゼロであることと同値にリサージュ結び目である。これはこの結び目族に対する完全な特徴づけである。
• すべての2-橋結び目は、バーブ群の変換とプラット閉包技術によって示されるように、リサージュ投影をもつ。
• すべての(3,q)-トーラス結び目は、q ≡ 1 mod 3 のとき周波数5と10(⌊(q−1)/3⌋)+7、q ≡ 2 mod 3 のとき周波数5と10(⌊(q−2)/3⌋)+4 を用いてリサージュ投影をもつ。
• 三葉結び目と図8結び目はリサージュでない。それぞれのアルフ不変量が1であり、アレクサンダー多項式が2を法として平方である条件を満たさないからである。
• 結び目8n1（ロルフゼン記法では8_20）はアレクサンダー多項式が完全平方であり、強くプラスアンチキラルでもないが、これは完全平方なアレクサンダー多項式がリサージュ結び目であるための十分条件でないことを示している。
• この論文は、任意のリサージュ結び目においてアルフ不変量がゼロでなければならないことを確認し、ねじり結び目の場合にはこの条件が必要かつ十分であることを示している。