[論文レビュー] Quandle Cohomology and State-sum Invariants of Knotted Curves and Surfaces

J. Scott Carter, Daniel Jelsovsky+3 more|ArXiv.org|Mar 23, 1999

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

ひとこと要約

この論文は、リーディメイスター移動をモデル化するラックおよびクエンドルのコホロロジー理論であるクエンドルコホロロジーを用いて、ねじれ曲線および表面の状態和不変量を導入する。ノードおよび表面の図をクエンドル要素で彩色し、それらをコサイクルとペアリングすることで、ねじれ対象を区別する不変量を定義している。例えば、2-twist スパイラル・トレフォイルがその方向反転版と同値でないことを示している。

ABSTRACT

The 2-twist spun trefoil is an example of a sphere that is knotted in 4-dimensional space. Here this example is shown to be distinct from the same sphere with the reversed orientation. To demonstrate this fact a state-sum invariant for classical knots and knotted surfaces is developed via a cohomology theory of racks and quandles (also known as distributive groupoids). A quandle is a set with a binary operation --- the axioms of which model the Reidemeister moves in the classical theory of knotted and linked curves in 3-space. Colorings of diagrams of knotted curves and surfaces by quandle elements, together with cocycles of quandles, are used to define state-sum invariants for knotted circles in 3-space and knotted surfaces in 4-space. Cohomology groups of various quandles are computed herein and applied to the study of the state-sum invariants of classical knots and links and other linked surfaces. Non-triviality of the invariants are proved for variety of knots and links, including the trefoil and figure-eight knots, and conversely, knot invariants are used to prove non-triviality of cohomology for a variety of quandles.

研究の動機と目的

• 古典的ノードおよびねじれ表面の状態和不変量をクエンドルコホロロジーを用いて開発すること。
• クエンドル公理を用いてリーディメイスター移動をモデル化するコホロロジー的枠組みを確立すること。
• トレフォイルおよび図8文字など、特定のノードおよびリンクに対して不変量の非自明性を証明すること。
• ノード不変量を用いて、さまざまなクエンドルにおける非自明なコホロロジーを示すこと。
• 4次元空間内のねじれ表面、特に2-twist スパイラル・トレフォイルとその方向反転版の区別をすること。

提案手法

• 古典的ノート理論における3つのリーディメイスター移動を模倣する公理を満たす代数的構造としてクエンドルを定義する。
• ラックコホロロジーを一般化し、自己分配的演算を含むクエンドルのコホロロジー理論を構築する。
• ノードおよび表面の図のクエンドル彩色を用いて、弧および領域にラベルを割り当てる。
• 彩色をクエンドルコサイクルとペアリングし、すべての有効な彩色に関する和を取ることで状態和不変量を計算する。
• 状態和構成を用いて、3次元空間内の古典的ノードおよび4次元空間内のねじれ2次元球面の不変量を計算する。
• 不変量を用いて、ねじれ表面の非同値性を検出する。特に、方向反転版との区別を実施する。

実験結果

リサーチクエスチョン

• RQ1 クエンドルコホロロジーは、3次元および4次元空間内のねじれ曲線および表面のための状態和不変量を定義するために用いることができるか？
• RQ2 これらの不変量は、2-twist スパイラル・トレフォイルとその方向反転版の区別を含め、非自明なねじれを検出できるか？
• RQ3 ノード理論的不変量を用いて、クエンドルコホロロジーの非自明性を示すことができるか？
• RQ4 状態和不変量が非自明かつ計算可能となる特定のノードまたはリンクは存在するか？
• RQ5 状態和不変量は、位相的に同値だが滑らかに同倫的でないねじれ表面の違いを検出できるか？

主な発見

• クエンドルコホロロジーを用いた状態和不変量は、4次元空間において2-twist スパイラル・トレフォイルとその方向反転版を明確に区別している。
• トレフォイルおよび図8文字ノードに対して非自明な状態和不変量が計算され、コホロロジー的手段によってそれらの非自明なねじれが確認された。
• さまざまなクエンドルのコホロロジー群が明示的に計算され、ノード不変量を用いてその非自明性が検証された。
• 不変量はリーディメイスター移動に対して安定しており、古典的ノードにおける位相的不変性が確認された。
• クエンドル構造から導かれる代数的不変量を用いて、4次元多様体におけるねじれの検出に計算可能なフレームワークを提供した。
• 見直されたコホロロジー定義は、後の研究と整合しており、今後の研究における一貫性と広範な適用可能性を保証している。