アレクサンダー多項式

数学におけるアレクサンダー多項式（あれきさんだーたこうしき、テンプレート:Lang-en-short; アレクサンダー多項式）は、各種結び目に整数係数多項式を割り当てる結び目不変量である。アレクサンダー多項式は最初に発見されたテンプレート:仮リンクで、1923年にテンプレート:仮リンクが発見した。1969年にジョン・コンウェイは、この多項式（の、今日ではアレクサンダー・コンウェイ多項式と呼ばれている形）が、スケイン関係式を用いて計算できることを示した。1984年にジョーンズ多項式が発見されて初めて、アレクサンダー多項式の幾何学的な意味が明らかになかった。すぐにコンウェイは、アレクサンダー多項式を再研究し、アレクサンダー多項式に関するアレクサンダー自身の論文の中で、すでに同様の スケイン関係式 が示されていることが明らかにしている。

定義

3次元球面における結び目を K とし、X を K のテンプレート:仮リンクの無限テンプレート:仮リンクとする。この被覆 X は、K の結び目補空間を K のザイフェルト曲面に沿って切って得られる境界付き多様体の可算無限個のコピーを、巡回的に貼合せることで得られる。X に作用する被覆変換 t が存在するが、X の（整数係数の）一次元ホモロジー群 H₁(X) を考えれば、被覆変換 t の作用を H₁(X) 上へ移すことができるので、H₁(X) をローラン多項式環 Z[t, t⁻¹] 上の加群とみなすことができる。このような加群と見た H₁(X) をアレクサンダー不変量または（一次の）アレクサンダー加群と呼ぶ。

アレクサンダー加群は有限表示可能であり、アレクサンダー加群に関する行列表示をアレクサンダー行列と呼ぶ。表示の生成元の数 r が表示の基本関係式の数 s 以下のときは、アレクサンダー行列の r × r 小行列式全体の生成するイデアル（これを、零次フィッティングイデアルまたはアレククサンダーイデアルという）を考える。 また r > s のときはアレクサンダーイデアルは零イデアルであるものとする。アレクサンダーイデアルが主イデアルであれば、ただ一つの生成元が取れて、各元がその生成元の多項式として書ける（これを結び目のアレクサンダー多項式と呼ぶ）。この時の生成元はローラン単項式 ±tⁿ を掛ける違いを除いて一意であるから、特定の形を決めて一通りに表せるようにすることも多い。特にアレクサンダーは多項式の定数項が正の値になるようにアレクサンダー多項式の正規形を定めた。

アレクサンダーはアレクサンダーイデアルが零イデアルでないことおよび常に主イデアルとなることを示した。故に結び目 K のアレクサンダー多項式 Δ_K(t) は常に存在し、かつ明らかに結び目不変量となる。

アレクサンダー多項式の計算

アレクサンダー多項式に対する以下の計算手法はアレクサンダーが自身の論文で与えたものである。

結び目の向きづけられた射影図の交叉点の数が n であるとする。この図は平面を n + 2 個の領域に分ける。アレクサンダー多項式を計算するには、まずサイズが n × (n + 2) の接続行列を作らねばならない。この行列の n 本の行が n 個の交叉点に対応し、n + 2 本の列が領域に対応する。この接続行列の各成分の値は 0, 1, −1, t, −t のいずれかである。

行列の各成分は、ある特定の領域と交叉点に対応して決まる。その領域がその交叉点に隣接しないならば成分の値は 0 である。また領域がその交叉点に隣接するときは、その位置関係で成分の値が決まる。位置関係は下をくぐる線が入ってくる方から交叉点を見てのものとして、成分は以下の表のように与えられる。

領域が交叉点をくぐる前の左側にあるとき: −t

領域が交叉点をくぐる前の右側にあるとき: 1

領域が交叉点をくぐった後の左側にあるとき: t

領域が交叉点をくぐった後の右側にあるとき: −1

接続行列から隣接する領域に対応する二つの列を取り除いてできる n × n 行列に対してその行列式を考えることができる。このときどの列を取り除くかに依って、得られる行列式の値は ±tⁿ を掛ける分だけ違ってくるが、このあいまいさを取り除くために t の可能な限り最大の冪で割り、必要ならば −1 を掛けて、定数項が正になるようにする。こうして得られる多項式がアレクサンダー多項式である。

ザイフェルト行列からもアレクサンダー多項式を計算することができる。

アレクサンダーの仕事の後、フォックス(R. Fox)は結び目群 <math>\pi_1(S^3\backslash K)</math> の表現を考え、非可換な別の計算方法を導入した テンプレート:Harvtxt。彼の計算もまた、<math>\Delta_K(t)</math> の計算が可能である。高次のアレクサンダー多項式への彼のアプローチの詳細は、テンプレート:Harvtxtに記載されている。

アレクサンダー多項式の基本性質

アレクサンダー多項式は対称である。すなわち任意の結び目 K に対して

<math>\Delta_K(t^{-1}) = \Delta_K(t)</math>

が成立する。

定義節に挙げた定義に従えば、このことはポアンカレ双対同型

<math> \overline{H_1 X} \simeq \mathrm{Hom}_{\Bbb Z[t,t^{-1}]}(H_1 X, G) </math>

の一つの表現になっている。ここで G は、ローラン多項式環 Z[t, t⁻¹] の商体の、Z[t, t⁻¹] による剰余環で、これは Z[t, t⁻¹]-加群とみなすことができる。また H₁X は H₁X は共軛 Z[t, t⁻¹]-加群、即ち単にアーベル群とみたときは Z[t, t⁻¹] と同じものだが、被覆変換 t が t⁻¹ として作用するものである。

また、アレクサンダー多項式の 1 における値は Z の単元である。すなわち

<math>\Delta_K(1)=\pm 1</math>

が成り立つ。

同じく定義の意味を考えれば、このことは結び目の補空間が被覆変換 t の生成するホモロジー円周となっているという事実を表している。より一般に、M が自由階数 rank(H₁X) = 1 となるような三次元多様体のとき、M はその無限巡回被覆空間の位数イデアル（行列式イデアル）として定義されるアレクサンダー多項式 Δ_M(t) を持つ。この場合、Δ_M(1) は、符号の違いを除いて一次元ホモロジー群 H₁M のねじれ部分群の位数に等しい。

対称かつ 1 における値が単元であるような任意のローラン多項式が、何らかの結び目のアレクサンダー多項式となることが知られている テンプレート:Harv

アレクサンダー多項式の幾何学的意味

アレクサンダーイデアルは主イデアルであるから、Δ_K(t) = 1 となるための必要十分条件は結び目群（結び目の補空間の基本群）の交換子部分群が完全群（つまりそのアーベル化が自明となる群）となることである。

テンプレート:仮リンク結び目については、そのアレクサンダー多項式はフォックス・ミルナー条件

<math>\Delta_K(t) = f(t)f(t^{-1})</math>

を満足する。ただし、f(t) は何か別の整係数ローラン多項式である。

結び目の種数の2倍はアレクサンダー多項式の次数で下から抑えられる（アレクサンダー多項式の次数は種数の2倍を超えない）。

マイケル・フリードマンは三次元球面内の結び目がテンプレート:仮リンクであることを示した。つまり、結び目のアレクサンダー多項式が自明ならば、その結び目は四次元球体に含まれる「局所平坦」な位相的円板で囲まれる テンプレート:Harv。

テンプレート:Harvtxt には、物理モデルから導出される状態和を通したアレクサンダー多項式の構成の最初の記述なされている。これらのトピックスと他の物理学との関連については、テンプレート:Harvtxt にサーベイがある。

曲面と滑らかな四次元位相幾何との関係はほかにもある。例えば、ある種の仮定の下で、手術を施して滑らかなテンプレート:仮リンクを変形する方法がある。これは二次元トーラスの適当な近傍を取り除いて、その部分を S¹ と交叉する結び目補空間で置き換えるものである。手術で得られた滑らかな四次元多様体はもともとの四次元多様体と同相だが、テンプレート:仮リンクは、結び目のアレクサンダー多項式を掛ける分だけ変化する。

対称性を持つ結び目はより限定的な形のアレクサンダー多項式を持つことが知られている（テンプレート:Harvtxt の symmetry 節を参照）が、アレクサンダー多項式からは強可逆性などのある種の対称性がわからないこともある。

テンプレート:仮リンクが円周上でファイバー付くならば、その結び目のアレクサンダー多項式がモニック(monic)（つまり最高次と最低次の項の係数が ±1）であることが知られている。実は、C_K を結び目 K の結び目補空間として S → C_K → S¹ がファイバー束となるならば、g: S → S がモノドロミーを表すものとして、Δ_K(t) = det(tI − g_∗) が成り立つ。ここで g_∗: H₁S → H₁S は g がホモロジーの上に誘導する写像である。

サテライト演算との関係

結び目 K が同伴結び目 K′ を持つサテライト結び目、即ち S¹ × D² ⊂ S³ を結ばれていないトーラス体（ソリッド・トーラス）として埋め込み f: S¹ × D² → S³ で K = f(K′) を満たすものが存在するとき、

<math>\Delta_K(t) = \Delta_{f(S^1 \times \{0\})}(t^a) \Delta_{K'}(t)</math>

が成り立つ。ただし、a ∈ Z は一次元ホモロジー群 H₁(S¹ × D²) において K′ ⊂ S¹ × D² を表す整数である。

例えば、連結和に関して

<math>\Delta_{K_1 \# K_2}(t) = \Delta_{K_1}(t) \Delta_{K_2}(t)</math>

が成り立つ。特に K を捻りの無いホワイトヘッド二重結び目とすれば Δ_K(t) = ±1 が成り立つ。

アレクサンダー・コンウェイ多項式

アレクサンダーはアレキサンダー多項式がスケイン関係式を満たすことを証明した。のちにコンウェイが別の形の関係式としてこれを再発見し、スケイン関係式と自明な結び目における値とを考えればアレクサンダー多項式を決定するのに十分であることを示した。コンウェイ版のアレクサンダー多項式は z を変数とする整数係数多項式 ∇(z) で、アレクサンダー・コンウェイ多項式（あるいはコンウェイ多項式、コンウェイ・アレクサンダー多項式など）と呼ばれる。

向きを持つ絡み目の射影図が与えられたとき、L₊, L_{−</sup>, L0 は与えられた図の特定の交叉点の近くの領域で、以下の図}

スケイン関係式

の指し示すとおり交叉を取り替えたり円滑化したりして得られる絡み目の射影図を表すものである。

コンウェイによるスケイン関係式は以下のようなものである。

• <math>\nabla(O) = 1</math>（ただし O は自明な結び目の任意の射影図）
• <math>\nabla(L_+) - \nabla(L_-) = z \nabla(L_0)</math>

コンウェイ多項式と標準アレクサンダー多項式との関係は

<math>\Delta_L(t^2) = \nabla_L(t - t^{-1})</math>

で与えられる。ここで Δ_L は（±t^n/2 を掛けて）スケイン関係式

<math>\Delta(L_+) - \Delta(L_-) = (t^{1/2} - t^{-1/2}) \Delta(L_0)</math>

を満たすようにきちんと正規化されている必要がある。この関係式は変数 t^1/2 に関するローラン多項式を与えるものになっていることに注意。

三葉結び目(trefoil)のコンウェイ多項式の計算例についてはknot theoryを参照。

コバノフホモロジーとの関係

テンプレート:Harvtxt と テンプレート:Harvtxt では、アレクサンダー多項式が複体のオイラー標数として提示されていて、その複体のホモロジーは考えている結び目 <math>K</math> とイソトピー不変量である。従って、フレアーホモロジーの理論は、アレクサンダー多項式のカテゴリフィケーション(categorification)である。詳細は、コバノフホモロジー テンプレート:Harvtxtを参照。

参考文献

• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite book (accessible introduction utilizing a skein relation approach)
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite book (covers several different approaches, explains relations between different versions of the Alexander polynomial)
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite journal
• テンプレート:Cite book (explains classical approach using the Alexander invariant; knot and link table with Alexander polynomials)
• 河内明夫『結び目理論』 シュプリンガー・ジャパン、1990年6月 ISBN 4-431-70571-6
• 鈴木咲衣, 清水理佳, 張娟姫, 大城佳奈子「Alexander 多項式について」第4回琵琶湖若手数学者勉強会報告．

外部リンク

• テンプレート:Springer
• Knot Atlas – knot and link tables with computed Alexander and Conway polynomials