アレクサンダー多項式

数学におけるアレキサンダー多項式（あれきさんだーたこうしき、英: Alexander polynomial; アレクサンダー多項式）は、各種結び目に整数係数多項式を割り当てる結び目不変量である。アレキサンダー多項式は最初に発見された多項式不変量で、1923年にJ.W.アレキサンダーが発見した。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 を掛けて、定数項が正になるようにする。こうして得られる多項式がアレキサンダー多項式である。

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

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

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

$\Delta_K(t^{-1}) = \Delta_K(t)$

が成立する。

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

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

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

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

$\Delta_K(1)=\pm 1$

が成り立つ。

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

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

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

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

位相的スライス結び目については、そのアレクサンダー多項式はフォックス・ミルナー条件

$\Delta_K(t) = f(t)f(t^{-1})$

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

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

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

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

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

結び目補空間が円周上でファイバー付くならば、その結び目のアレキサンダー多項式がモニック（つまり最高次係数が ±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′) を満たすものが存在するとき、

$\Delta_K(t) = \Delta_{f(S^1 \times \{0\})}(t^a) \Delta_{K'}(t)$

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

例えば、連結和に関して

$\Delta_{K_1 \# K_2}(t) = \Delta_{K_1}(t) \Delta_{K_2}(t)$

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

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

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

向きを持つ絡み目の射影図が与えられたとき、L₊, L₋, L₀ は与えられた図の特定の交叉点の近くの領域で、以下の図

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

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

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

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

$\Delta_L(t^2) = \nabla_L(t - t^{-1})$

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

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

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

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

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

コバノフホモロジーを参照下さい．

参考文献

• Alexander, J. W. (1928). “Topological invariants of knots and links”. Trans. Amer. Math. Soc. 30 (2): 275–306. doi:10.2307/1989123. 
• Adams, Colin C. (2004). The Knot Book: An elementary introduction to the mathematical theory of knots (Revised reprint of the 1994 original ed.). Providence, RI: American Mathematical Society. ISBN 0-8218-3678-1.  (accessible introduction utilizing a skein relation approach)
• Freedman, Michael H.; Quinn, Frank (1990). Topology of 4-manifolds. Princeton Mathematical Series. 39. Princeton, NJ: Princeton University Press. ISBN 0-691-08577-3. 
• Kawauchi, Akio (1996). A Survey of Knot Theory. Birkhauser.  (covers several different approaches, explains relations between different versions of the Alexander polynomial)
• Rolfsen, Dale (1990). Knots and Links (2nd ed.). Berkeley, CA: Publish or Perish. ISBN 0-914098-16-0.  (explains classical approach using the Alexander invariant; knot and link table with Alexander polynomials)
• 河内明夫『結び目理論』 シュプリンガー・ジャパン、1990年6月 ISBN 4-431-70571-6
• 鈴木咲衣, 清水理佳, 張娟姫, 大城佳奈子「Alexander 多項式について」第4回琵琶湖若手数学者勉強会報告．

外部リンク

• Knot Atlas – knot and link tables with computed Alexander and Conway polynomials