アレクサンダー多項式のソースを表示
←
アレクサンダー多項式
ナビゲーションに移動
検索に移動
あなたには「このページの編集」を行う権限がありません。理由は以下の通りです:
この操作は、次のグループに属する利用者のみが実行できます:
登録利用者
。
このページのソースの閲覧やコピーができます。
[[数学]]における'''アレクサンダー多項式'''（アレクサンダーたこうしき、{{lang-en-short|''Alexander polynomial''}}）は、各種結び目に整数係数[[多項式]]を割り当てる[[結び目不変量]]である。アレクサンダー多項式は最初に発見された{{仮リンク|多項式不変量|en|polynomial invariant}}で、1923年に{{仮リンク|ジェイムズ・ワデル・アレキサンダー二世|en|James Waddell Alexander II|label=J.W.アレクサンダー}}が発見した。1969年に[[ジョン・ホートン・コンウェイ|ジョン・コンウェイ]]は、この多項式（の、今日では'''アレクサンダー・コンウェイ多項式'''と呼ばれている形）が、[[スケイン関係式]]を用いて計算できることを示した。1984年に[[ジョーンズ多項式]]が発見されて初めて、アレクサンダー多項式の幾何学的な意味が明らかになった。また、コンウェイは、すぐにアレクサンダー多項式を再研究し、アレクサンダー自身の論文の中で、すでに同様の '''スケイン関係式''' が示されていることを明らかにしている<ref>アレクサンダーは、論文の最後のほうで "miscellaneous theorems"（「雑多な定理集」）と題した見出しのもとにスケイン関係式を記述しており、そのせいでその記述の存在が見逃されたのであろう。[[ジョアン・バーマン]]は論文 {{citation| title= New points of view in knot theory| series=Bull. Amer. Math. Soc. | addr=N.S.| volume=28 | year=1993 | edition= no. 2 | pp= 253–287}} において "Mark Kidwell brought her attention to Alexander's relation in 1970."（「マークキッドウェルが私に1970年のアレクサンダーの関係式への注意を与えた」）と述べている。</ref>。 == 定義 == [[3次元球面]]における結び目を K とし、X を K の[[結び目補空間]]の無限{{仮リンク|巡回被覆|en|cyclic cover}}とする。この被覆 X は、K の結び目補空間を K の[[ザイフェルト曲面]]に沿って切って得られる境界付き多様体の可算無限個のコピーを、巡回的に貼合せることで得られる。X に作用する[[被覆空間#被覆変換|被覆変換]] t が存在するが、X の（整数係数の）一次元ホモロジー群 H<sub>1</sub>(X) を考えれば、被覆変換 t の作用を H<sub>1</sub>(X) 上へ移すことができるので、H<sub>1</sub>(X) をローラン多項式環 '''Z'''[t, t<sup>−1</sup>] 上の[[環上の加群|加群]]とみなすことができる。このような加群と見た H<sub>1</sub>(X) を'''アレクサンダー不変量'''または（一次の）'''アレクサンダー加群'''と呼ぶ。 アレクサンダー加群は有限[[群の表示|表示]]可能であり、アレクサンダー加群に関する[[行列表示]]を'''アレクサンダー行列'''と呼ぶ。表示の生成元の数 r が表示の基本関係式の数 s 以下のときは、アレクサンダー行列の r × r 小行列式全体の生成するイデアル（これを、零次[[フィッティングイデアル]]または'''アレククサンダーイデアル'''という）を考える。また r > s のときはアレクサンダーイデアルは零イデアルであるものとする。アレクサンダーイデアルが[[主イデアル]]であれば、ただ一つの生成元が取れて、各元がその生成元の多項式として書ける（これを結び目のアレクサンダー多項式と呼ぶ）。この時の生成元はローラン単項式 ±t<sup>n</sup> を掛ける[[違いを除いて]]一意であるから、特定の形を決めて一通りに表せるようにすることも多い。特にアレクサンダーは多項式の[[定数項]]が正の値になるようにアレクサンダー多項式の正規形を定めた。 アレクサンダーはアレクサンダーイデアルが零イデアルでないことおよび常に主イデアルとなることを示した。故に結び目 K のアレクサンダー多項式 Δ<sub>K</sub>(t) は常に存在し、かつ明らかに結び目不変量となる。しかし、1本の紐からなる結び目のときアレクサンダー多項式 Δ<sub>K</sub>(t) は、t<sup>2</sup> の多項式となり、鏡像に対しも同じ多項式となる。つまり、アレクサンダー多項式は、鏡像関係にある 2つの結び目を識別できない。 == アレクサンダー多項式の計算 == アレクサンダー多項式に対する以下の計算手法はアレクサンダーが自身の論文で与えたものである。 結び目の向きづけられた射影図の交叉点の数が n であるとする。この図は平面を n + 2 個の領域に分ける。アレクサンダー多項式を計算するには、まずサイズが n × (n + 2) の[[接続行列]]を作らねばならない。この行列の n 本の行が n 個の交叉点に対応し、n + 2 本の列が領域に対応する。この接続行列の各成分の値は 0, 1, −1, t, −t のいずれかである。 行列の各成分は、ある特定の領域と交叉点に対応して決まる。その領域がその交叉点に隣接しないならば成分の値は 0 である。また領域がその交叉点に隣接するときは、その位置関係で成分の値が決まる。位置関係は下をくぐる線が入ってくる方から交叉点を見てのものとして、成分は以下の表のように与えられる。 : 領域が交叉点をくぐる前の左側にあるとき: −t : 領域が交叉点をくぐる前の右側にあるとき: 1 : 領域が交叉点をくぐった後の左側にあるとき: t : 領域が交叉点をくぐった後の右側にあるとき: −1 接続行列から隣接する領域に対応する二つの列を取り除いてできる n × n 行列に対してその行列式を考えることができる。このときどの列を取り除くかに依って、得られる行列式の値は ±t<sup>n</sup> を掛ける分だけ違ってくるが、このあいまいさを取り除くために t の可能な限り最大の冪で割り、必要ならば −1 を掛けて、定数項が正になるようにする。こうして得られる多項式がアレクサンダー多項式である。 [[ザイフェルト行列]]からもアレクサンダー多項式を計算することができる。 アレクサンダーの仕事の後、フォックス(R. Fox)は[[結び目群]] <math>\pi_1(S^3\backslash K)</math> の表現を考え、非可換な別の計算方法を導入した {{harvtxt|Fox|1961}}。彼の計算もまた、<math>\Delta_K(t)</math> の計算が可能である。高次のアレクサンダー多項式への彼のアプローチの詳細は、{{harvtxt|Crowell|Fox|1963}}に記載されている。 == アレクサンダー多項式の基本性質 == アレクサンダー多項式は対称である。すなわち任意の結び目 K に対して : <math>\Delta_K(t^{-1}) = \Delta_K(t)</math> が成立する。 : 定義節に挙げた定義に従えば、このことは[[ポアンカレ双対|ポアンカレ双対同型]] <div style="margin: 1ex 2em;"><math> \overline{H_1 X} \simeq \mathrm{Hom}_{\mathbb Z[t,t^{-1}]}(H_1 X, G) </math></div> の一つの表現になっている。ここで G は、ローラン多項式環 '''Z'''[t, t<sup>−1</sup>] の商体の、'''Z'''[t, t<sup>−1</sup>] による剰余環で、これは '''Z'''[t, t<sup>−1</sup>]-加群とみなすことができる。また <span style="text-decoration: overline">H<sub>1</sub>X</span> は H<sub>1</sub>X は共軛 '''Z'''[t, t<sup>−1</sup>]-加群、即ち単にアーベル群とみたときは '''Z'''[t, t<sup>−1</sup>] と同じものだが、被覆変換 t が t<sup>−1</sup> として作用するものである。 また、アレクサンダー多項式の 1 における値は '''Z''' の[[単元]]である。すなわち : <math>\Delta_K(1)=\pm 1</math> が成り立つ。 : 同じく定義の意味を考えれば、このことは結び目の補空間が被覆変換 t の生成するホモロジー円周となっているという事実を表している。より一般に、M が自由階数 rank(H<sub>1</sub>X) = 1 となるような三次元多様体のとき、M はその無限巡回被覆空間の位数イデアル（行列式イデアル）として定義されるアレクサンダー多項式 Δ<sub>M</sub>(t) を持つ。この場合、Δ<sub>M</sub>(1) は、符号の違いを除いて一次元ホモロジー群 H<sub>1</sub>M のねじれ部分群の位数に等しい。 対称かつ 1 における値が単元であるような任意のローラン多項式が、何らかの結び目のアレクサンダー多項式となることが知られている {{harv|Kawauchi|1996}} == アレクサンダー多項式の幾何学的意味 == アレクサンダーイデアルは主イデアルであるから、Δ<sub>K</sub>(t) = 1 となるための[[必要十分条件]]は[[結び目群]]（結び目の補空間の基本群）の交換子部分群が[[完全群]]（つまりそのアーベル化が自明となる群）となることである。 {{仮リンク|位相的スライス|en|topologically slice}}結び目については、そのアレクサンダー多項式はフォックス・ミルナー条件 : <math>\Delta_K(t) = f(t)f(t^{-1})</math> を満足する。ただし、f(t) は何か別の整係数ローラン多項式である。 [[ザイフェルト曲面|結び目の種数]]の 2倍はアレクサンダー多項式の次数で下から抑えられる（アレクサンダー多項式の次数は種数の2倍を超えない）。 マイケル・フリードマンは三次元球面内の結び目が{{仮リンク|位相的スライス|en|topologically slice}}であることを示した。つまり、結び目のアレクサンダー多項式が自明ならば、その結び目は 4次元球面に含まれる「局所平坦」な位相的円板で囲まれる {{harv|Freedman|Quinn|1990}}。 {{harvtxt|Kauffman|1983}} には、物理モデルから導出される状態和を通したアレクサンダー多項式の構成の最初の記述なされている。これらのトピックスと他の物理学との関連については、{{harvtxt|Kauffman|2001}} にサーベイがある。 曲面と滑らかな四次元位相幾何との関係はほかにもある。例えば、ある種の仮定の下で、[[手術理論 (数学)|手術]]を施して滑らかな [[4次元多様体]]を変形する方法がある。これは二次元トーラスの適当な近傍を取り除いて、その部分を S<sup>1</sup> と交叉する結び目補空間で置き換えるものである。手術で得られた滑らかな四次元多様体はもともとの 4次元多様体と同相だが、[[サイバーグ・ウィッテン不変量]]は、結び目のアレクサンダー多項式を掛ける分だけ変化する<ref>[https://arxiv.org/abs/dg-ga/9612014 Fintushel and Stern (1997) – Knots, links, and 4-manifolds]</ref>。 対称性を持つ結び目はより限定的な形のアレクサンダー多項式を持つことが知られている（{{harvtxt|Kawauchi|1996}} の symmetry 節を参照）が、アレクサンダー多項式からは強可逆性などのある種の対称性がわからないこともある。 [[結び目補空間]]が円周上でファイバー付くならば、その結び目のアレクサンダー多項式が'''モニック'''(monic)（つまり最高次と最低次の項の係数が ±1）であることが知られている。実は、C<sub>K</sub> を結び目 K の結び目補空間として S → C<sub>K</sub> → S<sup>1</sup> がファイバー束となるならば、g: S → S が[[モノドロミー]]を表すものとして、Δ<sub>K</sub>(t) = det(tI − g<sub>∗</sub>) が成り立つ。ここで g<sub>∗</sub>: H<sub>1</sub>S → H<sub>1</sub>S は g がホモロジーの上に誘導する写像である。 == サテライト演算との関係 == 結び目 K が同伴結び目 K′ を持つ[[サテライト結び目]]、即ち S<sup>1</sup> × D<sup>2</sup> ⊂ S<sup>3</sup> を結ばれていないトーラス体（ソリッド・トーラス）として埋め込み f: S<sup>1</sup> × D<sup>2</sup> → S<sup>3</sup> で K = f(K′) を満たすものが存在するとき、 : <math>\Delta_K(t) = \Delta_{f(S^1 \times \{0\})}(t^a) \Delta_{K'}(t)</math> が成り立つ。ただし、a ∈ '''Z''' は一次元ホモロジー群 H<sub>1</sub>(S<sup>1</sup> × D<sup>2</sup>) において K′ ⊂ S<sup>1</sup> × D<sup>2</sup> を表す整数である。 例えば、[[連結和]]に関して : <math>\Delta_{K_1 \# K_2}(t) = \Delta_{K_1}(t) \Delta_{K_2}(t)</math> が成り立つ。特に K を捻りの無いホワイトヘッド二重結び目とすれば Δ<sub>K</sub>(t) = ±1 が成り立つ。 == アレクサンダー・コンウェイ多項式 == アレクサンダーはアレキサンダー多項式がスケイン関係式を満たすことを証明した。のちに[[ジョン・ホートン・コンウェイ|コンウェイ]]が別の形の関係式としてこれを再発見し、スケイン関係式と自明な結び目における値とを考えればアレクサンダー多項式を決定するのに十分であることを示した。コンウェイ版のアレクサンダー多項式は ''z'' を変数とする整数係数多項式 ∇(z) で、'''アレクサンダー・コンウェイ多項式'''（あるいは[[コンウェイ多項式]]、コンウェイ・アレクサンダー多項式など）と呼ばれる。 向きを持つ絡み目の射影図が与えられたとき、L<sub>+</sub>, L<sub>−</sub>, L<sub>0</sub> は与えられた図の特定の交叉点の近くの領域で、以下の図 : [[Image:Skein (HOMFLY).svg|200px|center|スケイン関係式]] の指し示すとおり交叉を取り替えたり円滑化したりして得られる絡み目の射影図を表すものである。 コンウェイによるスケイン関係式は以下のようなものである。 * <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> で与えられる。ここで Δ<sub>L</sub> は（±t<sup>n/2</sup> を掛けて）スケイン関係式 : <math>\Delta(L_+) - \Delta(L_-) = (t^{1/2} - t^{-1/2}) \Delta(L_0)</math> を満たすようにきちんと正規化されている必要がある。この関係式は変数 t<sup>1/2</sup> に関するローラン多項式を与えるものになっていることに注意。 三葉結び目(trefoil)のコンウェイ多項式の計算例については[[:en:knot theory|knot theory]]を参照。 ==コバノフホモロジーとの関係== {{harvtxt|Ozsvath|Szabo|2004}} と {{harvtxt|Rasmussen|2003}} では、アレクサンダー多項式が複体の[[オイラー標数]]として提示されていて、その複体のホモロジーは考えている結び目 <math>K</math> とイソトピー<ref>同相のまま移動させても変わらないこと</ref>不変量である。従って、[[フレアーホモロジー]]の理論は、アレクサンダー多項式のカテゴリフィケーション(categorification)である。詳細は、[[コバノフホモロジー]] {{harvtxt|Khovanov|2003}}を参照。 == 脚注 == {{Reflist}} == 参考文献 == *{{Cite journal |first=J. W. |last=Alexander |title=Topological invariants of knots and links |journal=[[Transactions of the American Mathematical Society|Trans. Amer. Math. Soc.]] |volume=30 |year=1928 |issue=2 |pages=275–306 |doi=10.2307/1989123 }} *{{Cite book |first1=R. |last1=Crowell |first2=R. |last2=Fox |title=Introduction to Knot Theory |publisher=Ginn and Co. after 1977 Springer Verlag |year=1963 |ref=harv }} *{{Cite book |first=Colin C. |last=Adams |title=The Knot Book: An elementary introduction to the mathematical theory of knots |edition=Revised reprint of the 1994 original |publisher=American Mathematical Society |location=Providence, RI |year=2004 |isbn=0-8218-3678-1 }} (accessible introduction utilizing a skein relation approach) *{{Cite journal |first=R. |last=Fox |title=A quick trip through knot theory, In Topology of ThreeManifold |edition=Proceedings of 1961 Topology Institute at Univ. of Georgia, edited by M.K.Fort |publisher=Prentice-Hall |location=Englewood Cliffs. N. J. |year=1961 |pages=120–167 |ref=harv }} *{{Cite book |authorlink=Michael H. Freedman |first=Michael H. |last=Freedman |authorlink2=Frank Quinn (mathematician) |first2=Frank |last2=Quinn |title=Topology of 4-manifolds |series=Princeton Mathematical Series |volume=39 |publisher=Princeton University Press |location=Princeton, NJ |year=1990 |isbn=0-691-08577-3 }} *{{Cite journal |first=Louis |last=Kauffman |title=Formal Knot Theory |publisher=Princeton University press |year=1983 |ref=harv }} *{{Cite book |first=Louis |last=Kauffman |title=Knots and Physics |publisher=World Scientific Publishing Companey |year=2001 |ref=harv }} *{{Cite book |first=Akio |last=Kawauchi |title=A Survey of Knot Theory |publisher=Birkhauser |year=1996 |isbn= }} (covers several different approaches, explains relations between different versions of the Alexander polynomial) *{{Cite journal |first=M. |last=Khovanov |title=Link homology and ategorification | series=Proceedings of the ICM-2006 |year=2006 |ref=harv |arxiv=math/0605339 }} *{{Cite journal |first1=Peter |last1=Ozsvath |first2=Zoltan |last2=Szabo |title=Holomorphic disks and knot invariants |series=Adv. Math. |volume=186 |year=2004 |pages=58–116 |ref=harv |bibcode=2002math......9056O |arxiv=math/0209056 |quote=class=math.GT |issue=1 |journal=Adv. Math., no., 58--6 |doi=10.1016/j.aim.2003.05.001}} *{{Cite journal |first=J. |last=Rasmussen |title=Floer homology and knot complements | series=PhD thesis Harvard University |year=2003 |ref=harv |arxiv=math/0306378 |bibcode=2003math......6378R |pages=6378 }} *{{Cite book |first=Dale |last=Rolfsen |title=Knots and Links |edition=2nd |location=Berkeley, CA |publisher=Publish or Perish |year=1990 |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 * 鈴木咲衣, 清水理佳, 張娟姫, 大城佳奈子「[http://smaux.math.kyoto-u.ac.jp/insei/proceeding/biwako2009/B.pdf Alexander 多項式について]」第4回琵琶湖若手数学者勉強会報告. == 外部リンク == * {{SpringerEOM|title=Alexander invariants|urlname=Alexander_invariants}} * [http://katlas.math.toronto.edu/ Knot Atlas] – knot and link tables with computed Alexander and Conway polynomials {{DEFAULTSORT:あれくさんたあたこうしき}} {{Knot theory}} [[Category:結び目理論]] [[Category:多項式]] [[Category:数学に関する記事]] [[Category:人名を冠した数式]] [[Category:数学のエポニム]]
このページで使用されているテンプレート:
テンプレート:Citation
(
ソースを閲覧
)
テンプレート:Cite book
(
ソースを閲覧
)
テンプレート:Cite journal
(
ソースを閲覧
)
テンプレート:Harv
(
ソースを閲覧
)
テンプレート:Harvtxt
(
ソースを閲覧
)
テンプレート:Knot theory
(
ソースを閲覧
)
テンプレート:Lang-en-short
(
ソースを閲覧
)
テンプレート:Reflist
(
ソースを閲覧
)
テンプレート:SpringerEOM
(
ソースを閲覧
)
テンプレート:仮リンク
(
ソースを閲覧
)
アレクサンダー多項式
に戻る。
ナビゲーション メニュー
個人用ツール
ログイン
名前空間
ページ
議論
日本語
表示
閲覧
ソースを閲覧
履歴表示
その他
検索
案内
メインページ
最近の更新
おまかせ表示
MediaWiki についてのヘルプ
特別ページ
ツール
リンク元
関連ページの更新状況
ページ情報