コンウェイ多項式のソースを表示

'''コンウェイ多項式'''（たこうしき、''Conway polynomial''）とは、[[スケイン関係式]]によって帰納的に計算される[[結び目理論|絡み目]]の（一変数）[[多項式]][[不変量]]である。

ここでは、絡み目のダイアグラム ''K'' に関する変数zのコンウェイ多項式を ''P''(''K'') で表そう。
まず[[自明な結び目]]に対しては、そのコンウェイ多項式は <math>1</math> と定める。コンウェイ多項式が満たすスケイン関係式は次のようになる；
: ''P''([[Image:Knot-crossing-plus.png|30px]]) - ''P''([[Image:Knot-crossing-minus.png|30px]]) = ''z'' ''P''([[Image:Knot-crossing-zero.png|30px]]) 

言葉で述べれば、ある交点において正の交点をもつダイアグラム（正則表示）の多項式から、その交点を負の交点にしたできたダイアグラムの多項式を引いたものは、その交点を円滑化してできたダイアグラムの多項式に ''z'' をかけたものに等しい。

特に、コンウェイ多項式は負のべきを含まない多項式であることがわかる。

1970年ごろに、[[ジョン・ホートン・コンウェイ]]によって発見された。変数変換をすれば本質的に[[アレキサンダー多項式]]に等しい；
:<math>z=t-\frac{1}{t}</math>
として変換すると、変数 ''t'' に関するアレキサンダー多項式と等しくなる。このため、両者をまとめてアレキサンダー－コンウェイ多項式と呼ぶこともある。コンウェイ自身はスケイン関係式を発見したが証明しなかったようで、ルイス・カウフマンが[[ザイフェルト行列]]を用いて初めて証明したようだ。

量子不変量の観点からは、コンウェイ多項式はリー超代数 <math>gl(1|1)</math> から導かれる不変量の特殊値である。

==関連項目==
*[[アレクサンダー多項式]]
*[[結び目理論]]

{{DEFAULTSORT:こんうえいたこうしき}}
[[Category:結び目理論]]
[[Category:数学に関する記事]]