[論文レビュー] (t,s)-racks and their link invariants

Jessica Ceniceros, Sam Nelson|arXiv (Cornell University)|Nov 24, 2010

Geometric and Algebraic Topology参考文献 12被引用数 3

ひとこと要約

本稿は、環 $\ddot{\Lambda} = \mathbb{Z}[t^{\pm 1}, s]/(s^2 - (1-t)s)$ 上の $(t,s)$-rack を導入し、このような rack 間の同型の必要十分条件を確立する。モジュール構造を用いて rack 数え上げ不変量を強化し、それにより結び目やリンクの順序の違いを検出できるより強い不変量を生み出す。古典的不変量が同一のリンクを区別できる。

ABSTRACT

A (t,s)-rack is a rack structure defined on a module over the ring $\ddotΛ=\mathbb{Z}[t^{\pm 1},s]/(s^2-(1-t)s)$. We identify necessary and sufficient conditions for two $(t,s)$-racks to be isomorphic. We define enhancements of the rack counting invariant using the structure of (t,s)-racks and give some computations and examples. As an application, we use these enhanced invariants to obtain obstructions to knot ordering.

研究の動機と目的

• 特定の商環 $\ddot{\Lambda}$ 上の $(t,s)$-rack を定義・研究し、Alexander quandle を一般化する rack 構造を提示すること。
• $(t,s)$-rack 間の同型の必要十分条件を確立し、Alexander quandle や biquandle に関する既存結果を拡張すること。
• $(t,s)$-rack のモジュール構造を用いて rack 数え上げ不変量を強化し、より強い不変量を生成すること。
• 強化された不変量を用いて、特に全単射 quandle 同型写像の存在に障害を生じる結び目の順序を検出すること。

提案手法

• $\ddot{\Lambda} = \mathbb{Z}[t^{\pm 1}, s]/(s^2 - (1-t)s)$ 上のモジュールとしての $(t,s)$-rack を定義し、モジュール乗法から導かれる rack 演算を用いる。
• 二つの $(t,s)$-rack が同型であるための必要十分条件として、それらの関連するイデアルと kink 写像が rack 要素上の対称群内で共役であることを証明する。
• 写像 $X$ への像部分 rack の寄与を軌道数で重み付けし、その和として強化不変量 $\Phi^{ts,s}_X$ を構成する。
• 強化不変量 $\Phi^{ts,s}_X$ を用いて、$K >_X K' \iff \Phi^{ts,s}_X(K) \succ \Phi^{ts,s}_X(K')$ により結び目の部分順序を定義する。ここで $\succ$ は係数ごとの優越性を比較する。
• 古典的数え上げ不変量が同一のリンク（例：$L4a1$ と $L6a5$）に対して、$\Phi^\mathbb{Z}_X = 16$ であるが、$\Phi^{ts,s}_X$ の値はそれぞれ $4u + 4u^3$ と $8u + 8u^2 + 8u^5$ で異なるため、不変量を用いて区別可能である。
• モジュール構造を活用し、強化不変量を rack モジュール強化と関連づけ、virtual knots や $\mathbb{R}^4$ 内の knotted surfaces への応用を拡張する。

実験結果

リサーチクエスチョン

• RQ1 二つの $(t,s)$-rack が同型であるための必要十分条件は何か？ また、それらは既知の Alexander quandle の結果をどのように一般化するか？
• RQ2 古典的数え上げ不変量が失敗する場合でも、強化された rack 数え上げ不変量 $\Phi^{ts,s}_X$ はリンクの種類の違いを検出できるか？
• RQ3 強化不変量は結び目の順序とどのように関係し、全単射 quandle 同型写像の存在に障害を与えることができるか？
• RQ4 $\ddot{\Lambda}$ 内のイデアルにどのような条件を課すと、$(t,s)$-rack が同型になるか？ また、それらは Alexander quandle の拡張とどのように関係するか？
• RQ5 強化不変量は virtual knots や $\mathbb{R}^4$ 内の knotted surfaces に拡張可能か？ また、それらが検出する不変量は何か？

主な発見

• 二つの $(t,s)$-rack が同型であるための必要十分条件は、それらの kink 写像が対称群 $S_{|X|}$ 内で共役であり、関連するイデアルが環 $\ddot{\Lambda}$ を用いた特定の代数的条件を満たすことである。
• 強化不変量 $\Phi^{ts,s}_X$ は、古典的 rack 数え上げ不変量が同一のリンクを区別できる：例えば $L4a1$ と $L6a5$ は $\Phi^\mathbb{Z}_X = 16$ だが、それぞれ $\Phi^{ts,s}_X$ の値は $4u + 4u^3$ と $8u + 8u^2 + 8u^5$ で異なり、区別可能である。
• $(t,s)$-rack $X = \mathbb{Z}_4$（$t=3$, $s=2$）に対して、強化不変量 $\Phi^{ts,s}_X$ はすべての結び目で $2u^2$ となる。これは、定数作用 rack では強化が軌道構造のみを検出していることを示している。
• 強化不変量 $\Phi^{ts,s}_X$ は結び目の順序を遮断する方法を提供する：$\Phi^{ts,s}_X(K) \succ \Phi^{ts,s}_X(K')$ ならば、$Q(K)$ から $Q(K')$ への全単射 quandle 同型写像は存在しない。これは $K >_X K'$ を意味し、部分順序が成立する。
• $\Phi^{ts,s}_X$ は rack モジュール強化と関係しており、部分 rack に制限した場合、元の数え上げ不変量に特殊化される。
• 結び目の順序への応用により、$4_1 <_X 3_1 <_X 8_{18}$ が成り立つ（$X = \ddot{\Lambda}_{12}/(t-11, s-2)$ の Alexander quandle を用いて）。これは、不変量が結び目の種類を順序の障害によって区別する能力を示している。