コンウェイ多項式

コンウェイ多項式とは

コンウェイ多項式（Conway polynomial）は、絡み目に関する多項式不変量であり、スケイン関係式を用いて帰納的に計算されます。ここでは、絡み目の図形 K に関連する変数 z で表されたコンウェイ多項式を P(K) と呼ぶことにします。

この多項式の定義において、まず自明な結び目（すなわち、絡み目がない状態）に対しては、そのコンウェイ多項式を1と定義します。つまり、無結びの状態では P(K) = 1 となります。次に、コンウェイ多項式が従うスケイン関係式について説明します。具体的には、以下のような関係式が成り立ちます。

$$P(K) - P(K') = z P(K'')$$

ここで、K は正の交点を持つダイアグラムで、K' はその交点を負の交点に変えたダイアグラム、K'' はその交点を滑らかにしたダイアグラムです。この関係式を言葉で説明すると、正の交点を持つ図から負の交点に変えられた図の多項式を引くと、それに z を掛けた滑らかなダイアグラムの多項式に等しいということになります。このため、コンウェイ多項式には負の項が含まれないことが明らかです。

コンウェイ多項式は1970年頃、数学者のジョン・ホートン・コンウェイによって初めて発見されました。また、変数の変換を行うことで、この多項式は本質的にアレキサンダー多項式と同じものになることが確認されています。この変数変換は、以下の式によって示されます。

$$z = t - rac{1}{t}$$

変数 t を用いることで、コンウェイ多項式はアレキサンダー多項式に変換され、両者を総称してアレキサンダー－コンウェイ多項式と呼ぶこともあります。興味深いのは、コンウェイ自身がこのスケイン関係式を発見したものの、証明は行わなかったという点です。その後、ルイス・カウフマンがザイフェルト行列を活用して初めてこの関係式の証明に成功しました。

また、量子不変量という観点から見ると、コンウェイ多項式はリー超代数 gl(1|1) から導かれる不変量の特定の値でもあります。これにより、コンウェイ多項式は単に絡み目の理論における重要なツールであるだけでなく、量子数学との関連性を持つ興味深い構造を持つことが分かります。

まとめ

コンウェイ多項式は、絡み目理論やアレキサンダー多項式との関連性を持つ重要な数理的概念です。また、スケイン関係式に基づくこの多項式は、数学界において非常に有用な道具となり、様々な分野に応用されています。

もう一度検索