スケイン関係式

スケイン関係式の概観

スケイン関係式は、結び目理論という位相幾何学の一分野で使用される重要な関係式です。この関係式は、絡み目に対して多項式を帰納的に定義する際に役立ちます。スケイン関係式は、3つの特定の有向絡み目の射影図を使って説明されます。それぞれの射影図は、名前をL−、L0、L+とし、これらはある点の近傍で異なる形状を持ちながら、それ以外の部分では一致しています。この3つの射影図の集合をスケイン図形と呼ぶこともあります。

定義と操作

これらの射影図に関連付けられた多項式は、fL−、fL0、fL+とします。スケイン関係式とは、これらの多項式間に成立する関係を示す式です。また、スケイン関係式を用いて任意の多項式の一つを他の二つに置き換える操作を「スケイン操作」と呼びます。この操作は、特定の条件下で有効です。

さらに、この定義はタングルの状況にも一般化されることがあります。n-タングル T1, T2, ..., Tm の場合、一点の周辺がそれぞれのタングルに対応し、それ以外の部分が一致する絡み目 L1, L2, ..., Lm について、多項式の不変量 fT1, fT2, ..., fTm が代数的に結びついている場合も同様にスケイン関係式と呼ばれます。これにより、さまざまな結び目やタングルを扱う際の数学的な枠組みが形成されます。

スケイン多項式

スケイン関係式を利用して定義される多項式を「スケイン多項式」と呼びます。一例として、ホンフリー多項式は、スケイン多項式の最も一般化された形とされています。これらの多項式の定義は、以下に示すスケイン関係式を用いて行われます。

各種スケイン関係式の例

ジョーンズ多項式のスケイン関係式

```
t^{-1}f_{L_{+}}(t) - t^{1}f_{L_{-}}(t) = (t^{rac{1}{2}} - t^{-rac{1}{2}})f_{L_{0}}(t)
```

この式は、ジョーンズ多項式に関するスケイン関係式です。

コンウェイ多項式のスケイン関係式

```
f_{L_{+}}(z) + f_{L_{-}}(z) = zf_{L_{0}}(z)
```

こちらはコンウェイ多項式に関連する関係式です。

アレクサンダー多項式のスケイン関係式

```
f_{L_{+}}(t) + f_{L_{-}}(t) = (t^{rac{1}{2}} - t^{-rac{1}{2}})f_{L_{0}}(t)
```

これはアレクサンダー多項式におけるスケイン関係式の具体例です。

ホンフリー多項式のスケイン関係式

この多項式もスケイン関係式を用いて表現されます。

```
lf_{L_{+}}(m,l) + l^{-1}f_{L_{-}}(m,l) + mf_{L_{0}}(m,l) = 0
```

また、別の形式も存在します。

```
xf_{L_{+}}(x,t) - tf_{L_{-}}(x,t) = f_{L_{0}}(x,t)
```

高次元結び目との関連

スケイン関係式は、通常の結び目に限らず、高次元結び目にも適用できることが研究によって示されています。高次元結び目の局所操作とアレクサンダー多項式の間にはさまざまな関連性が発見されており、その中のいくつかは特に新しい形式を持っています。そして、これらの関係式の一例は、A(K+) - A(K-) = (t + 1)A(K0)という形で表され、右辺の係数がt - 1でなくt + 1として示される点が注目されています。

参考文献

• - C・C・アダムス著、金信泰造訳 『結び目の数学』 培風館、1998年。
• - 村杉邦男 『結び目理論とその応用』 日本評論社、1993年。
• - V. V. Prasolov, A. B. Sossinsky, Knots, Links, Braids and 3-Manifolds, Amer Mathematical Society, 1993.

もう一度検索