[論文レビュー] The Multivariable Alexander Polynomial for a Closed Braid

H. R. Morton|ArXiv.org|Mar 27, 1998

Geometric and Algebraic Topology参考文献 4被引用数 19

ひとこと要約

本稿では、ブレイドのストランドに変数を割り当て、基本的ブレイド移動からなる行列積を構築することで、閉じたブレイドの多変数アレクサンダー多項式を直接計算する新しい多変数版の縮小ブロウ行列を用いた手法を提示する。得られた行列の固有多項式として多項式が得られ、ブレイドの置換によって成分の同一視が行われる。主な貢献は、特別な形への変換を必要とせず、任意のブレイドに適用可能な単純で一様なアルゴリズムである。

ABSTRACT

A simple multivariable version of the reduced Burau matrix is constructed for any braid. It is shown how the multivariable Alexander polynomial for the closure of the braid can be found directly from this matrix.

研究の動機と目的

• 閉じたブレイドによって形成されるリンクの多変数アレクサンダー多項式を計算するための一様的かつ計算的に簡単な手法を開発すること。
• 古典的ブロウ表現を、成分構造とリンクを自然に表現する多変数設定に拡張すること。
• ブレイドの書き換えや特別な形への変換を必要とせず、単純な行列積によって閉じたブレイドおよびその軸のアレクサンダー多項式を直接構成すること。
• 軸多項式にトルサ＝フォックスの公式を適用することで、閉じたブレイドの標準アレクサンダー多項式を一様に回復すること。

提案手法

• ブレイド β ∈ Bₙ のストランドに変数 t₁,…,tn を割り当て、tⱼ を位置 j から出発するストランドのラベルとする。このようにして、色分けされた縮小ブロウ行列 Bβ(t₁,…,tn) を構築する。
• 各ブレイド生成子 σᵢ に対して、下側を通過するストランドのラベル a を用いて、行列 Ci(a) を定義し、ブレイド語に沿ってこれらの行列を積として構成する。
• 行列の固有多項式 det(I − xBβ(t₁,…,tn)) を形成し、これが閉じたブレイド ˆβ とその軸 A の多変数アレクサンダー多項式を与える。
• ブレイドによって誘導される置換 π を用いて、変数の同一視 tπ(j) = tj を行い、閉じることによる成分の統合を反映する。
• トルサ＝フォックスの公式を用いて、x = 1 とし、ϕ(A) = t₁t₂⋯tn と代入することで、ˆβ の標準アレクサンダー多項式を回復する。
• この手法は、純ブレイドを含むすべてのブレイドに一様に適用可能であり、ブレイドを特別な形に再書き換える必要がない。

実験結果

リサーチクエスチョン

• RQ1 ブレイド語から書き換えを経ずに、閉じたブレイドの多変数アレクサンダー多項式を直接計算する方法は何か？
• RQ2 成分構造とリンクを捉える自然な多変数一般化としての縮小ブロウ行列とは何か？
• RQ3 閉じたブレイドおよびその軸の多変数アレクサンダー多項式は、色分けされたブロウ行列の固有多項式とどのように関係するか？
• RQ4 既知の公式を用いて、この行列構成から標準アレクサンダー多項式を一様に回復できるか？
• RQ5 ブレイドの置換 π は、得られた多項式における成分変数の同定に果たす役割は何か？

主な発見

• 閉じたブレイド ˆβ とその軸 A の多変数アレクサンダー多項式は、同一視 tπ(j) = tj を施した det(I − xBβ(t₁,…,tn)) として与えられる。
• 得られる行列 Bβ(t₁,…,tn) は、下側を通過するストランドのラベル a を持つラベル付き基本行列 Ci(a) を用いて、ブレイド語から直接構成される。
• 純ブレイドの場合、行列 Bβ(t₁,…,tn) は縮小ガッセンジャー行列に共役であるが、この手法は純でない場合にも一般に適用可能であり、純である必要はない。
• 標準アレクサンダー多項式 ∆ˆβ(t) は、トルサ＝フォックスの公式により回復される：tπ(j) = tj と代入した後、∆ˆβ(t) = det(I − Bβ(t₁,…,tn)) / (1 − t₁t₂⋯tn) となる。
• この手法は、単純な行列積を用いる一様的かつ計算効率の良い手続きを提供し、Maple などのソフトウェアで実装可能である。
• この構成はブレイドの同位型変換に対して不変であり、ブレイドによって誘導される置換 π を通じて、正しく成分構造を表現している。