[論文レビュー] The quandle of the trefoil knot as the Dehn quandle of the torus

Maciej Niebrzydowski, Józef H. Przytycki|arXiv (Cornell University)|May 18, 2008

Geometric and Algebraic Topology参考文献 7被引用数 9

ひとこと要約

この論文は、三葉結び目に対する基本的クエンドルが、トーラスのデーンクエンドルおよび整数加群 ℤ⊕ℤ 上のシミレクティック空間における射影的原始部分クエンドルに同型であることを確立する。代数的トポロジーとクエンドル理論を用いて、穴あき曲面上の結び目のクエンドルとコードクエンドルの間の対応を通じて、この同型を証明しており、三葉結び目のクエンドル構造がトーラス上のデーンねじりと4個の穴あき球面上の幾何的ブレード化から自然に生じることを示している。

ABSTRACT

We prove that the fundamental quandle of the trefoil knot is isomorphic to the projective primitive subquandle of transvections of the symplectic space $\Z \oplus \Z$. The last quandle can be identified with the Dehn quandle of the torus and the cord quandle on a 2-sphere with four punctures. We also show that the fundamental quandle of the long trefoil knot is isomorphic to the cord quandle on a 2-sphere with a hole and three punctures.

研究の動機と目的

• 三葉結び目の基本的クエンドルと曲面上の幾何的構造との間の深い代数的トポロジー的関係を確立すること。
• 三葉結び目の基本的クエンドルがトーラスのデーンクエンドルに同型であることを証明し、結び目の不変量と曲面微分同相写像を結びつけること。
• このクエンドルが、4つの穴あき2次元球面上のコードクエンドルとも同型であることを示し、結び目の不変量の幾何的実現を拡張すること。
• この結果を長三葉結び目へ一般化し、その基本的クエンドルが、1つの境界と3つの穴あきを持つ2次元球面上のコードクエンドルに同型であることを示すこと。
• デーンねじり、シンプレクティック変位、コードクエンドルといった異なるクエンドル構成を、1つの代数的同型の下に統一すること。

提案手法

• 生成子 a, b, c と関係式 a*c = a, b*a = c, c*b = a を用いた三葉結び目の基本的クエンドルの提示を行い、これはバターン関係 a*b*a = b と同値である。
• 単純閉曲線の同型類と正のデーンねじり t⁺_y を用いて、トーラスのデーンクエンドルを構成し、クエンドル演算を x*y = t⁺_y(x) と定義する。
• 標準的シンプレクティック形式 ⟨·,·⟩ を用い、演算 x*y = x − ⟨x,y⟩y で定義される ℤ⊕ℤ 上のシンプレクティッククエンドルを実現し、これがトーラスのデーンクエンドルに同型であることを示す。
• 被覆空間論と基本群 π₁ が普遍被覆空間上で作用することを用いて、穴あき曲面上のコードの集合にクエンドル構造を定義する。
• 4個の穴あき球面上のコードクエンドルと三葉クエンドルの普遍被覆空間の間で、逆写像 Ψ と Φ を定義し、これらがクエンドル同型であることを証明する。
• これらの写像が基本群の作用に関して等変であることを証明し、クエンドル作用と被覆構造を保つことを保証する。

実験結果

リサーチクエスチョン

• RQ1 三葉結び目の基本的クエンドルは、トーラスのデーンクエンドルに同型であるか？
• RQ2 三葉結び目の基本的クエンドルは、ℤ⊕ℤ 上のシンプレクティック変位の部分クエンドルとして実現可能か？
• RQ3 4つの穴あき2次元球面上のコードクエンドルは、閉三葉結び目の基本的クエンドルに同型であるか？
• RQ4 長三葉結び目の基本的クエンドルは、1つの境界と3つの穴あきを持つ穴あき曲面上のコードクエンドルとして幾何的に実現可能か？
• RQ5 デーンねじり、シンプレクティック形式、被覆空間作用は、どのようにして結び目のクエンドルを記述する上で統一されるか？

主な発見

• 三葉結び目の基本的クエンドルは、単純閉曲線の同型類上でのデーンねじりの作用を通じて、トーラスのデーンクエンドルに同型であることが示された。
• 三葉結び目の基本的クエンドルは、標準的シンプレクティック形式の下で、ℤ⊕ℤ 上のシミレクティック空間における射影的原始部分クエンドルに同型である。
• 4つの穴あき2次元球面上のコードクエンドルは、閉三葉結び目の基本的クエンドルに同型であり、標準的図式における2本の弧に対応する生成子を持つ。
• 長三葉結び目の基本的クエンドルは、1つの穴あきと3つの穴あきを持つ2次元球面上のコードクエンドルに同型であり、非閉結び目の幾何的モデルが拡張された。
• コードクエンドルと三葉クエンドルの普遍被覆空間との間の同型は、逆写像であり、等変性を満たす写像 Ψ と Φ を用いて証明された。この同型は、基本群のクエンドル作用を保つ。
• 基本群 π₁ がコードクエンドルおよび普遍被覆空間上で作用するとき、その作用が推移的であることが示され、クエンドル間の同型を証明するために不可欠であった。