[論文レビュー] Quandles and symmetric quandles for higher dimensional knots

Seiichi Kamada|arXiv (Cornell University)|Mar 4, 2014

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

ひとこと要約

本稿では、ℝⁿ⁺²における高次元結び目のための対称的(quandle)提示を導入し、自己同型的対称性を含むquandle不変量への一般化を実現する。n次元多様体結び目の図式から対称的quandle提示を導出する手法を確立し、結び目の対称的quandleが図式から得られる関係を法とする自由対称的quandleと同型であることを証明することで、古典的quandle理論を高次元結び目の対称的設定へと拡張する。

ABSTRACT

A symmetric quandle is a quandle with a good involution. For a knot in \$R^3\$, a knotted surface in \$R^4\$ or an \$n\$-manifold knot in \$R^{n+2}\$, the knot symmetric quandle is defined. We introduce the notion of a symmetric quandle presentation, and show how to get a presentation of a knot symmetric quandle from a diagram.

研究の動機と目的

• ℝⁿ⁺²におけるn次元多様体結び目のためのquandle理論を対称的quandleへと拡張すること。
• 完全な結び目のquandleに良い自己同型を施すことにより、結び目の対称的quandleを基本的不変量として定義すること。
• 古典的結び理論におけるquandle提示と類似する、図式に基づく対称的quandleの提示法を確立すること。
• 結び目の対称的quandleが図式から得られる関係を法とする自由対称的quandleと同型であることを示すこと。
• 対称的quandle提示の関連群が、共役および逆元の法則を用いて結び目の群G(K)を回復できることを示すこと。

提案手法

• 対称的quandleを、自己同型ρが条件ρ(x^y) = ρ(x)^yおよびx^{ρ(y)} = x^{y⁻¹}を満たすquandle Xとして定義する。
• 結び目Kの外部におけるタドループ(D,a)のホモトピー類からなる、完全な結び目のquandle ẼQ(W,K,*)を構成する。
• 結び目の対称的quandle SQ(W,K,*)を、(ẼQ(W,K,*), ρ)として定義し、ここでρは[(D,a)]を[(-D,a)]に写像する。
• ℝⁿ⁺²におけるn次元多様体結び目Kの図式Dを用いて、シートに対応する生成元と二重点的ストラトゥムからの関係を定義する。
• 二重点的ストラトゥムの局所構造から、対称的quandle演算に対応するA関係およびB関係を導出する。
• 群の場合と類似した、quandleのvan Kampen定理を適用することで、quandle準同型f: FSQ(X) → SQ(K)が同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ℝⁿ⁺²における高次元結び目のための対称的quandle提示はどのように定義できるか？
• RQ2 n次元多様体結び目の図式は、その結び目の対称的quandleの完全な提示を導くことができるか？
• RQ3 高次元結び目の図式における二重点的ストラトゥムから生じる代数的関係（AおよびB関係）は何か？
• RQ4 結び目の対称的quandleは、群論的演算を通じて結び目の群とどのように関係しているか？
• RQ5 高次元結び目の対称的quandle不変量は、その図式によって完全に決定されるか？

主な発見

• ℝⁿ⁺²におけるn次元多様体結び目Kの結び目の対称的quandle SQ(K)は、Kの図式Dから導かれる提示をもつ。
• 対称的quandle提示は図式のシートによって生成され、二重点的ストラトゥムから生じる関係（A関係：x_i = x_j、B関係：x_i^{x_j} = x_k）を含む。
• 結び目の対称的quandleは、シートの集合上の自由対称的quandleを図式からのAおよびB関係で割ったものと同型である。
• 対称的quandle提示の関連群は、quandle演算x^yを共役y⁻¹xyに、ρ(x)をx⁻¹に置き換えることで、結び目の群G(K)を回復する。
• quandle準同型f: SQ(D) → SQ(K)は同型である。これは、群の場合と類似したvan Kampen型の議論により証明される。
• 本手法は、古典的quandle提示を対称的quandleへと一般化し、高次元結び目の図式的不変量を提供する。