[論文レビュー] Factorization formulas and computations of higher-order Alexander invariants for homologically fibered knots

Hiroshi Goda, Takuya Sakasai|arXiv (Cornell University)|Apr 20, 2010

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

ひとこと要約

本稿では、同調的ファイバー結び目の高次アレクサンダー不変量を、リーデマイスター torsion とマグナス行列の成分に分解することによって、明示的な計算式を提供する。メタアベル的商を用いて、12交差非ファイバー同調的ファイバー結び目のすべての不変量を計算し、torsion 不変量が非ファイバー性を検出できることを示している。また、同調的シリンダーのデータからこれらの不変量を体系的に計算するための Mathematica プログラムも提示している。

ABSTRACT

Homologically fibered knots are knots whose exteriors satisfy the same homological conditions as fibered knots. In our previous paper, we observed that for such a knot, higher-order Alexander invariants defined by Cochran, Harvey and Friedl are generally factorized into the part of the Magnus matrix and that of a certain Reidemeister torsion, both of which are known as invariants of homology cylinders over a surface. In this paper, we study more details of the invariants and give some concrete calculations by restricting to the case of the invariants associated with metabelian quotients of their knot groups. We provide examples of explicit calculations of the invariants for all the 12 crossings non-fibered homologically fibered knots.

研究の動機と目的

• 非可換環構造のため、通常は計算が困難な同調的ファイバー結び目の高次アレクサンダー不変量の明示的計算手法の開発。
• これらの不変量が、同調的シリンダーの既知の不変量であるリーデマイスター torsion とマグナス行列にどのように分解されるかを調査すること。
• 因子分解を用いて、メタアベル的商を用いて12交差同調的ファイバー結び目の非ファイバー性を同定すること。
• スチューレート多様体の群表示から不変量を計算する自動化を実現する Mathematica プログラムを提供すること。

提案手法

• 本稿では、結び目の群の表現 ρ を用いて、古典的なアレクサンダー多項式の因子分解（セイフェルト行列とモノドロミー成分）を高次不変量へ一般化する。
• 因子分解公式 τρ(E(K)) = [τρ⁺(MR) · (I - ρ(μ)rρ(MR))]/(1 - ρ(μ)) を用いて、高次不変量を torsion τρ⁺(MR) とマグナス行列 rρ(MR) に分解する。
• メタアベル的商では、τρ⁺(MR) と rρ(MR) が可換環上で計算可能であり、明示的な計算が可能になる。
• 生成子 i₋(γj), zₖ, i₊(γj) と関係式を用いた π₁(MR) の適切な表示を用い、同調的クラス、モノドロミー、torsion 行列、マグナス行列を、独自の Mathematica プログラムにより計算する。
• プログラムは、生成子の再インデックス化とフォックス微分法を適用して、アレクサンダー行列と同調的表現を計算する。
• この手法は、12交差非ファイバー同調的ファイバー結び目のすべてに適用され、torsion 不変量が非ファイバー性の検出に用いられる。

実験結果

リサーチクエスチョン

• RQ1 同調的ファイバー結び目の高次アレクサンダー不変量は、torsion とマグナス行列成分への因子分解を用いて体系的に計算可能か？
• RQ2 Seifert 表面のコンcordance において、不変量 τρ⁺(MR) と rρ(MR) はどのように振る舞い、非ファイバー性を検出できるか？
• RQ3 非可換高次不変量から可換成分を介して位相的不変量を抽出する計算可能性は何か？
• RQ4 torsion 不変量 τρ⁺(MR) は、非ファイバー同調的ファイバー結び目を区別する不変量として機能できるか？
• RQ5 マグナス行列 rρ(MR) は、同調的シリンダーとコンコードランス不変量の文脈で果たす役割は何か？

主な発見

• 本稿では、因子分解公式を用いて、12交差非ファイバー同調的ファイバー結び目のすべての高次アレクサンダー不変量について明示的な計算結果を提供している。
• リーデマイスター torsion τρ⁺(MR) は、12交差非ファイバー同調的ファイバー結び目のすべてにおいて非ファイバー性を正しく検出でき、その位相的感度が確認された。
• メタアベル的商では、マグナス行列 rρ(MR) と torsion τρ⁺(MR) が可換環上で計算可能であり、非可換不変量の実用的計算が可能になった。
• 同調的モノドロミー行列 σ(MR) は、Myers の表面コンコードランスに関する結果により、Seifert 表面のコンコードランスに関して不変であることが示された。
• Mathematica プログラムは、スチューレート多様体の群表示から、同調的クラス、モノドロミー、torsion 行列、マグナス行列の計算を自動化している。
• torsion 不変量 τρ⁺(MR) が、スチューレートフローエルホモロジーのデカテゴリフィケーションであることが示され、既存の位相的不変量と関連づけられた。