結び目理論の問題

向き付けられた絡み目 $L$ のジョーンズ多項式 $V_L(t)$ を、次の 2 つの条件で定める。

• 自明な結び目 $O$ に対して $V_O(t)=1$
• スケイン関係式 $$t^{-1}{V}_{L_{+}}(t)-t{V}_{L_{-}}(t)=\left(t^{1/2}-t^{-1/2}\right)V_{L_0}(t)$$

ここで $L_{+},L_{-},L_0$ は、1 つの交点の近くだけが異なる通常のスケイン三つ組とする。$L_{+}$ は正の交点、$L_{-}$ は負の交点をもち、$L_0$ はその交点を向きに沿って解消したものである。

この規約では、正の（右手系の）三葉結び目 $T(2,3)$ について $V_{T(2,3)}(t)=t+t^3-t^4$ となる。

結び目 $K$ を、正の（右手系の）トーラス結び目 $T(2,5)$、正のトーラス結び目 $T(3,4)$、8 の字結び目 $4_1$ の連結和
$$K=T(2,5)\#T(3,4)\#4_1$$
とする。ここに現れる結び目はどれも可逆なので、連結和は向きの選び方によらず定まる。

ジョーンズ多項式 $V_K(t)$ の $t=1$ における 2 階微分係数 $V_K^{\prime \prime }(1)$ を求めよ。

向き付けられた絡み目 $L$ のジョーンズ多項式 $V_L(t)$ を、自明な結び目 $O$ に対して $V_O(t)=1$、およびスケイン関係式
$$t^{-1}{V}_{L_{+}}(t)-t{V}_{L_{-}}(t)=\left(t^{1/2}-t^{-1/2}\right)V_{L_0}(t)$$
で定める（$L_{+},L_{-},L_0$ は 1 つの交差の近くだけが正の交差・負の交差・平滑化で異なる絡み目）。

$p,q$ を互いに素な $2$ 以上の整数とし、$K=T(p,q)$ を正の（右手系の）$(p,q)$ トーラス結び目とする。$V_K(t)$ を $t$ について 2 回微分した $V_K^{\prime \prime }(t)$ の $t=1$ での値 $V_K^{\prime \prime }(1)$ を $p,q$ の式で求めよ。

向き付けられた絡み目 $L$ のジョーンズ多項式 $V_L(t)$ を、自明な結び目 $O$ に対して $V_O(t)=1$、およびスケイン関係式
$$t^{-1}{V}_{L_{+}}(t)-t{V}_{L_{-}}(t)=\left(t^{1/2}-t^{-1/2}\right)V_{L_0}(t)$$
で定める（$L_{+},L_{-},L_0$ は 1 つの交点の近くだけが異なる絡み目で、$L_{+}$ が正の交差、$L_{-}$ が負の交差、$L_0$ がその交差を向きに沿って解消したもの）。この規約では正の三葉結び目 $T(2,3)$ のジョーンズ多項式は $t+t^3-t^4$ である。

$T(3,7)$ を正の（右手系の）$(3,7)$ トーラス結び目、すなわち 3 本の紐のブレイド $({\sigma }_1{\sigma }_2{)}^7$ の閉包とし、$5_2$ を Rolfsen の表の結び目とする。結び目
$$K=T(3,7)\#5_2$$
を考える（$5_2$ の鏡像の選び方や連結和のとり方によらず、以下の値は一定である）。

$K$ のジョーンズ多項式 $V_K(t)$ の $t=1$ における 2 階微分係数 $V_K^{\prime \prime }(1)$ を求めよ。

向き付けられた絡み目 $L$ のコンウェイ多項式 ${\nabla }_L(z)\in \mathbb{Z}[z]$ は、自明な結び目 $O$ に対して ${\nabla }_O(z)=1$ であり、ある交点だけが異なる 3 つの向き付けられた絡み目 $L_{+},L_{-},L_0$（その交点が正の交点、負の交点、向きに沿って交点をなくしたもの）に対してスケイン関係式
$${\nabla }_{L_{+}}(z)-{\nabla }_{L_{-}}(z)=z{\nabla }_{L_0}(z)$$
を満たす不変量である。分離した 2 成分の自明な絡み目の $\nabla$ は $0$ であることを用いてよい。

2 本の紐のブレイド群 $B_2$ の生成元を ${\sigma }_1$（正の交差）とし、自然数 $n\ge 0$ に対して、ブレイド ${\sigma }_1^n$ の閉包（紐はすべて同じ向きに向き付ける）を $L_n$ とする。ただし $L_0$ は分離した 2 成分の自明な絡み目とする。$L_4$ のコンウェイ多項式 ${\nabla }_{L_4}(z)$ を求めよ。

向き付けられた絡み目 $L$ のジョーンズ多項式 $V_L(t)$ は、整数係数のローラン多項式環 $\mathbb{Z}[t^{1/2},t^{-1/2}]$ の元であり、絡み目の同位類（向きを含む）だけで決まって、次の 2 つの条件を満たす。

- 自明な結び目 $O$ に対して $V_O(t)=1$
- 1 つの交点の近くだけが異なり、その交点がそれぞれ正の交点・負の交点・向きに沿った平滑化になっている 3 つの向き付けられた絡み目 $L_{+},L_{-},L_0$ に対して
$$t^{-1}{V}_{L_{+}}(t)-t{V}_{L_{-}}(t)=\left(t^{1/2}-t^{-1/2}\right)V_{L_0}(t)$$

2 本のひもからなるブレイド群の生成元を ${\sigma }_1$ とし、各ひもにブレイドの向き（上から下へ）を入れて閉包をとったとき、${\sigma }_1$ の交点が正の交点になるように ${\sigma }_1$ を定める。整数 $k$ に対し、ブレイドの語 ${\sigma }_1^k$ の閉包（向きはブレイドの向きから定まるもの）を $L_k$ と書く。

$L_2$（ホップ絡み目）と $L_3$（三葉結び目 $3_1$ の一方の鏡像）のジョーンズ多項式が
$$V_{L_2}(t)=-t^{1/2}-t^{5/2},V_{L_3}(t)=t+t^3-t^4$$
であることを用いて、トーラス絡み目 $T(2,4)$ にあたる $L_4$ のジョーンズ多項式 $V_{L_4}(t)$ を求めよ。