[論文レビュー] Knot and braid invariants from contact homology II, with an appendix written jointly with Siddhartha Gadgil

Lenhard Ng|arXiv (Cornell University)|Mar 27, 2003

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

ひとこと要約

本稿は、コードとスキン関係を介して、次数ゼロの絡み目接触ホモロジー（$HC_0$）の位相的解釈を確立する。コード環——ホモトピー類の集合によるテンソル代数の商——が $HC_0$ に等しいことを示し、$HC_0$ が位相的不変量であることを証明する。さらに、埋め込みグラフや高次元の絡み目（$S^4$ 内の 2-絡み目を含む）へと不変量を拡張し、2-橋絡み目についておよび二重分岐被覆を介して $HC_0$ を計算する。

ABSTRACT

We present a topological interpretation of knot and braid contact homology in degree zero, in terms of cords and skein relations. This interpretation allows us to extend the knot invariant to embedded graphs and higher-dimensional knots. We calculate the knot invariant for two-bridge knots and relate it to double branched covers for general knots. In the appendix we show that the cord ring is determined by the fundamental group and peripheral structure of a knot and give applications.

研究の動機と目的

• 次数ゼロの絡み目接触ホモロジー（$HC_0$）の位相的・ホモトピー的解釈を提供し、その不変性を明確にする。
• $HC_0$ 不変量を埋め込みグラフや高次元の絡み目（$S^4$ 内の 2-絡み目など）へと拡張する。
• $HC_0$ を 2-橋絡み目について計算し、一般の絡み目の二重分岐被覆と関連付ける。
• 群論的技法を用いて、コード環が絡み目の基本群および周辺構造によって決定されることを示す。
• コード環と $ST^*\mathbb{R}^3$ 内のレジェンドリアントーラスのゼロ次元相対接触ホモロジーとの間の予想的関係を確立する。

提案手法

• コードを、絡み目に端点を持つ $\mathbb{R}^3$ 内のパスと定義し、コードを介したホモトピーに関して同値とみなす。
• ホモトピー類の集合により自由に生成される $\mathbb{Z}$ 上のテンソル代数 $\mathcal{A}_K$ を構成する。
• スキン関係を導入する：(1) 分離可能なコードに対して $\gamma_1 + \gamma_2 + \gamma_3\gamma_4 = 0$、(2) 収縮可能なコードに対して $\gamma = -2$。
• スキン関係で生成される両側イデアル $\mathcal{I}_K$ を用いて、コード環を $\mathcal{A}_K / \mathcal{I}_K$ と定義する。
• 近傍ホモトピーと基本群のデータを用いて、任意の 3-多様体内の絡み目および余次元 2 の部分多様体へのコード環を一般化する。
• $HC_0(K)$ と同型であることを証明する。ここで $G = \pi_1(M\setminus K)$、$P$ は周辺部分群、$\mu$ はメルidian である。

実験結果

リサーチクエスチョン

• RQ1 次数ゼロの絡み目接触ホモロジー（$HC_0$）は、コードとスキン関係を用いた位相的・ホモトピー的解釈を与えられるか？
• RQ2 コード環の構成は、$\mathbb{R}^3$ およびより一般的な 3-多様体内の絡み目やリンクに対して位相的不変量をもたらすか？
• RQ3 $HC_0$ 不変量は、埋め込みグラフや高次元の絡み目（$S^4$ 内の 2-絡み目など）へと拡張可能か？
• RQ4 コード環は、絡み目の基本群および周辺構造とどのように関係するか？
• RQ5 コード環は、コードの空間のホモトピー型を含む、高次元接触ホモロジーに一般化可能か？

主な発見

• スキン関係を用いて定義された絡み目 $K$ のコード環 $\mathcal{A}_K / \mathcal{I}_K$ は、次数ゼロの接触ホモロジー $HC_0(K)$ と同型である。
• 三葉絡み目 $3_1$ に対して、$HC_0(3_1)$ は関係 $\gamma_1^2 + \gamma_1 - 2 = 0$ を持つ単一のコード $\gamma_1$ で生成される。
• $S^3$ 内の絡み目のコード環は、$G = \pi_1(S^3 \setminus K)$、$P$ を周辺部分群、$\mu$ をメルidian としたとき、$\mathcal{A}(G,P)/I(\mu)$ と同型である。
• 非自明な絡み目のスピンされた 2-絡み目とは異なり、$S^4$ 内の自明な 2-球面はコード環が自明であるが、非自明な絡み目のスピンされた 2-絡み目は非自明な像を持つため、それらを区別できる。
• 実心トーラス内のブレード $B$ のコード環は、次数ゼロのブレード接触ホモロジー $HC_0(B)$ と同型であり、不変量がブレードの同値類にまで拡張される。
• 2-絡み目（スピンされた絡み目）のコード環は、元の絡み目のコード環へと上に押し上げられるため、非自明な絡み目に対して非自明な不変量が得られ、$S^4$ 内の 2-絡み目に対する非自明な不変量を提供する。