[論文レビュー] Blanchfield forms and Gordian distance

Maciej Borodzik, Stefan Friedl+1 more|arXiv (Cornell University)|Sep 30, 2014

Geometric and Algebraic Topology参考文献 26被引用数 5

ひとこと要約

本稿は、アレクサンダー加群およびブランヒルト双一次形式の不変量を用いて、リンクのゴルジアン距離および4次元的クラフト数に対する新たな下界を導出する。本稿は、2つのリンク間のアレクサンダー加群のランクの差がゴルジアン距離の下界をなすこと、および等号が成立する場合にそれらのブランヒルト形式のウイット和が代数的であることを証明する。これは、川内による先行研究を一般化・精緻化するものである。

ABSTRACT

Given a link in $S^3$ we will use invariants derived from the Alexander module and the Blanchfield pairing to obtain lower bounds on the Gordian distance between links, the unlinking number and various splitting numbers. These lower bounds generalise results recently obtained by Kawauchi. We give an application restricting the knot types which can arise from a sequence of splitting operations on a link. This allows us to answer a question asked by Colin Adams in 1996.

研究の動機と目的

• m成分リンクのゴルジアン距離および4次元的クラフト数に対する新たな下界を確立すること。
• 代数的不変量を用いて、最近の川内の不連接数および分離数に関する結果を一般化・精緻化すること。
• コリン・アダムズが1996年に提起した、リンクの分離操作から生じる可能性のある knot 型は何かという問いに応えること。
• アレクサンダー加群ランクの差がクラフト数またはゴルジアン距離に等しくなる条件を確立すること。
• リンクに対する連続する分離操作の系列から生じる可能性のある knot 型を制限する枠組みを提供すること。

提案手法

• 本稿は、m成分リンク L に対して、β(L) と表記されるアレクサンダー加群のランクを、主要な不変量として用いる。
• アレクサンダー加群の捩れ部分加群上の局所化環 Λ_S 上で定義されるブランヒルト双一次形式 Bl_L を適用する。
• クラフト数がランクの差に等しいとき、ブランヒルト形式 Bl_L ⊕ (−Bl_J) のウイット和が代数的構造を示すことを検出するために用いる。
• 交差変更の下での捩れアレクサンダー多項式 Δ^tor_L 及びその因数分解性を分析する。
• 多項式 (t_i - 1) および単項式を含む無視可能な多項式（negligible polynomials）が Λ_S 内で可逆であるという事実を用い、単位元を除いた多項式の比較を行う。
• コンウェイ多項式およびアレクサンダー多項式の性質（次数の上限および既約性）を用いて、分離操作後の knot 型に課される制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンダー加群ランク β(L) と β(J) の差が、2つのm成分リンク L と J 間のゴルジアン距離 g(L,J) を下から制約できるか。
• RQ2 2つのリンクのブランヒルト形式のウイット和が代数的となる条件は何か。また、これはクラフト数 c(L,J) とどのように関係するか。
• RQ3 アレクサンダー加群およびブランヒルト双一次形式が、リンクに対する連続する分離操作の系列から生じる knot 型に課す制約は何か。
• RQ4 捩れアレクサンダー多項式 Δ^tor_L は、少ない操作でリンクを不連接または分離するための障害を検出するためにどのように用いられるか。
• RQ5 特に9交差2成分リンクのような困難なケースにおいて、これらの不変量を用いてリンクの不連接数が2または3であるかどうかを特定可能か。

主な発見

• アレクサンダー加群ランクの差は、|β(L) − β(J)| ≤ c(L,J) を満たし、4次元的クラフト数の下界を与える。
• c(L,J) = |β(L) − β(J)| が成立する場合、ブランヒルト形式 Bl_L ⊕ (−Bl_J) のウイット和は代数的である。
• β(J) = β(L) + g(L,J) のとき、捩れアレクサンダー多項式は Δ^tor_L = Δ^tor_J · f·f̄·n を満たす。ここで f ∈ Λ かつ無視可能な n ∈ Λ である。
• 本稿で構成したリンク L_T に対して、捩れアレクサンダー多項式 Δ^tor_L は非ゼロであり、β(L_T) = 0 を意味する。
• L_T における1回の分離交差変更から生じる任意の knot K は、Δ_J(t) を割り切るアレクサンダー多項式を持ち、したがって次数は少なくとも 2n 以上である。
• アレクサンダー多項式の次数制約により、このような knot K の交差数は、元のリンクの交差数 c 以上である。