結び目理論の問題

$S^3$ 内の向き付けられた結び目 $K$ が、種数 $2$ の連結な向き付け可能曲面（ザイフェルト曲面）$F$ の境界になっており、$H_1(F;\mathbb{Z})\cong {\mathbb{Z}}^4$ のある基底に関する $F$ のザイフェルト行列が
$$V=\left(\begin{array}{cccc}-1& 1& 0& 0\\ 0& -1& 1& 0\\ 0& 0& -1& 1\\ 0& 0& 0& -1\end{array}\right)$$
であるとする。ここで、結び目の種数 $g(K)$ は $K$ を境界とする $S^3$ 内の連結な向き付け可能曲面の種数の最小値、符号数 $\sigma (K)$ は対称行列 $V+V^T$ の符号数（正の固有値の個数から負の固有値の個数を引いたもの）とする。また、任意のザイフェルト行列について $\sigma (K)$ は同じ値をとり、$|\sigma (K)|\le 2g(K)$ が成り立つことは用いてよい。

$g(K)$ を求めよ。

$S^3$ 内の向き付けられた結び目 $K$ が、種数 $1$ の連結で向き付け可能なザイフェルト曲面 $F$ を境界としてもつとする。$H_1(F;\mathbb{Z})\cong {\mathbb{Z}}^2$ の基底 $a_1,a_2$ をとり、$a_j^{+}$ を $a_j$ を $F$ の正の法線方向に少し押し出した曲線とする。絡み数 $V_{ij}=\mathrm{lk}(a_i,a_j^{+})$ を並べたザイフェルト行列が
$$V=\left(\begin{array}{cc}2& 1\\ 0& -1\end{array}\right)$$
であった。$t$ を変数とする多項式 $\det (V-t{V}^T)$ を求めよ（$V^T$ は $V$ の転置行列）。

$S^3$ 内の結び目 $K$ が、種数 $2$ の連結で向き付け可能なザイフェルト曲面 $F$ を境界としてもつとする。$H_1(F;\mathbb{Z})\cong {\mathbb{Z}}^4$ のある基底 $a_1,a_2,a_3,a_4$ に関するザイフェルト行列 $V=(V_{ij})$（$V_{ij}=\mathrm{lk}(a_i,a_j^{+})$、$a_j^{+}$ は $a_j$ を $F$ の正の側へ押し出したもの）が
$$V=\left(\begin{array}{cccc}-1& 1& 2& 0\\ 0& -1& 0& 0\\ 2& 0& -1& 1\\ 0& 0& 0& -1\end{array}\right)$$
であった。

結び目の種数 $g(K)$ を、$K$ を境界とする $S^3$ 内の連結で向き付け可能な曲面の種数の最小値とし、符号数 $\sigma (K)$ を対称行列 $V+V^T$ の符号数（正の固有値の個数から負の固有値の個数を引いたもの）とする。アレクサンダー多項式は ${\Delta }_K(t)=\det (V-t{V}^T)$ で定める。

組 $(g(K),\sigma (K))$ をこの順に求めよ。

奇数 $p,q,r$ に対するプレッツェル結び目 $P(p,q,r)$ には標準的な種数 $1$ のザイフェルト曲面があり、その $H_1$ のある基底に関するザイフェルト行列は
$$V=\frac{1}{2}\left(\begin{array}{cc}p+q& q+1\\ q-1& q+r\end{array}\right)$$
で与えられる。結び目 $K$ の行列式を $\det (K)=|\det (V+V^T)|$ と定める。

$K=P(3,5,-7)$ のとき、$\det (K)$ を求めよ。

8 の字結び目 $K=4_1$ のあるザイフェルト曲面（種数 $1$）について、$H_1$ の基底から読み取ったザイフェルト行列が
$$V=\left(\begin{array}{cc}-1& 1\\ 0& 1\end{array}\right)$$
であるとする。2 以上の整数 $n$ に対し、${\mathrm{col}}_n(K)$ を $K$ の図式のフォックス $n$ 彩色（各弧に $\mathbb{Z}/n\mathbb{Z}$ の元を割り当て、各交点で上を通る弧の元 $a$ と下の 2 本の弧の元 $b,c$ が $2a\equiv b+c(\mathrm{mod}n)$ を満たすもの）の個数とする。ただし、すべての弧に同じ元を割り当てる自明な彩色も数える。

$V+V^T$ のスミス標準形の不変因子 $d_1,d_2$ を用いた公式 ${\mathrm{col}}_n(K)=n{\prod }_i\gcd (d_i,n)$ を使って、${\mathrm{col}}_{10}(K)$ を求めよ。