結び目理論

これは、結び目が真に結ばれていること——単に手でほどくのが難しいだけでなく、自明な結び目と証明可能に同値でないこと——を示す最初の厳密な証明を、初等的な組合せ論だけで高度な道具を使わずに与える。

タイプIでの不変性。 タイプIの移動は小さなループを追加または削除し、単一の糸が自分自身と交差する交差点を1つ作る。移動前の任意の有効な彩色において、その糸はループに入る前も出た後も1つの色、例えば $a$ を持つ。ねじりを加えると、下の糸が両方とも色 $a$ で、上の糸も（ループが単一の糸なので）色 $a$ に強制される交差点ができ、$a+a+a=3a\equiv 0\pmod 3$ は常に自動的に成り立つ——よって彩色は制約なしに新しい交差点に有効に拡張され、逆にそれを取り除くときも有効に制限される。全体の彩色可能性（$\ge 2$ 色を用いる有効な彩色の存在）は保たれる。

タイプIIでの不変性。 タイプIIの移動は、色 $a$ と $b$（等しい場合もある）の2本の糸が2回交差する2つの交差点を導入または削除する。両方の交差点を調べると：各交差点で存在する2本の糸は $a,b$ であり、3本目（各交差点での上の糸で、同じ2本の糸のどちらかが続いているもの）は規則によって $a+b+c\equiv0$ となる色に強制される；2つの交差点は糸が単に互いの上を通過することで関連しているので、元の2本の糸 $a,b$ の彩色は、新しい色や矛盾を導入することなく両方の新しい交差領域に一貫して拡張され、移動を取り除くことはその2つの制約——自動的に満たされていたもの——を削除するだけである。よって彩色可能性は両方向で保たれる。

タイプIIIでの不変性。 タイプIIIの移動は、色 $a,b,c$（とする）を持つ3本の糸の間で3つの交差点を並べ替えて糸を交差点をまたいで滑らせるが、大域的にどの色がどこに現れるかは変えない——同じ3本の彩色された弧の局所的な組合せ的配置を変えるだけである。3つの交差点それぞれでの彩色規則 $x+y+z\equiv0\pmod3$ は、そこで交わる（順序なしの）糸の三つ組の色にのみ依存し、タイプIIIはどの糸が交差点で交わるかを変えない（図式上の局所的な配置だけを変える）ので、移動前の有効な彩色は移動後の有効な彩色に制限され、逆も同様である。

結論。 三色彩色可能性（$\ge 2$ 色の使用を要求する有無の性質として）が3種類の移動すべてで変わらないので、それは図式だけでなく結び目の不変量である。標準的な三葉結び目の図式は、その3本の弧に彩色 $a=0,b=1,c=2$ を許す（3つの交差点すべてが $0+1+2=3\equiv0\pmod3$ を満たすことを確認できる）、$3\ge2$ 色を用いるので、三葉結び目は三色彩色可能である。標準的な自明な結び目の図式（結ばれていない単一のループ、交差なし、あるいは1本の弧に帰着できる任意の図式）は弧を1本しか持たないので、利用可能な色は1色のみであり「$\ge 2$ 色」の要件を満たさない——自明な結び目は三色彩色可能ではない。三色彩色可能性は不変量であり2つの図式が一致しないので、ライデマイスター移動のいかなる列も三葉結び目の図式を自明な結び目の図式に結びつけることはできず、よって三葉結び目は真に結ばれた円である。

スケイン関係式は、手に負えないように見える3次元の変形問題を純粋な再帰的代数に変える：任意の結び目図式は交差点を繰り返し解消することで自明な結び目に帰着でき、この関係式は各解消でその多項式がどう変わるかを正確に示すので、$V_K(t)$ はアルゴリズム的に計算可能になる。

交差点に関する帰納法による整合性の概略。 図式 $D$ の交差点を順序付け、$c(D)$ を自明な結び目の図式に到達するために切り替える必要がある交差点の数として定義する（これは常に有限である、なぜなら適切な順序で任意の図式のすべての交差点を切り替えるとそれは自明な結び目になるからである——古典的事実）。$V_K(t)$ が $c(D)$ に関する帰納法で計算できることを示す。

基底段階。 $c(D)=0$ なら $D$ はすでに自明な結び目を表しており（ライデマイスターI型の単純化から生じる分離した自明な円が追加されている場合もある）、定義により $V_K(t)=1$（分離した自明な成分が $k$ 個ある場合は正規化係数 $(-t^{1/2}-t^{-1/2})^{k-1}$ を伴い、分離絡み目に適用したスケイン関係式と整合的）。

帰納段階。 $c(D)\ge 1$ とし、切り替えると $c$ が減る交差点を1つ選ぶ。その交差点で切り替え前の図式を $D_+$（または $D_-$）、切り替え後を $D_-$（または $D_+$）とする——構成上、どちらか一方で $c$ が減少する。同じ図式でその交差点を平滑化したもの（それを取り除き、糸を別の方法で結ぶ）を $D_0$ とする；$D_0$ は全体で交差点が1つ少ないので $c$ も小さい（または基底段階で扱われる）。帰納法の仮定により、$D_-$（または $D_+$）と $D_0$ に対して $V$ はすでに分かっている。スケイン関係式 $t^{-1} V_{L_+} - t V_{L_-} = (t^{1/2}-t^{-1/2})V_{L_0}$ を未知の項について解く（例えば $V_{L_+} = t\big(V_{L_-} + (t^{1/2}-t^{-1/2})V_{L_0}\big)$）ことで $D$ に対する $V$ が計算される。

整合性（概略）。 定理の非自明な部分——この再帰的に計算された値が交差点選択の順序に依存せず、3種類のライデマイスター移動すべての下で不変であること——は、カウフマンの括弧多項式構成によって確立される：局所平滑化規則 $\langle\text{crossing}\rangle = A\langle\text{smoothing }0\rangle + A^{-1}\langle\text{smoothing }\infty\rangle$ および $\langle D\sqcup\bigcirc\rangle = (-A^2-A^{-2})\langle D\rangle$ によって $\langle D\rangle$ を定義する；$\langle D\rangle$ がライデマイスターIIとIIIの下で不変であり、ライデマイスターIの下では制御された係数だけ変化することを直接（有限の局所計算で）確認でき、それは $w(D)$（符号付き交差数であるライト数）を用いて $(-A^3)^{-w(D)}$ を掛けることで正確に相殺される；$t=A^{-4}$ を代入すると、述べたスケイン関係式を正確に満たす $V_K(t)$ が得られる。