[論文レビュー] Vassiliev invariants and knots modulo pure braid subgroups

Theodore Stanford|ArXiv.org|May 20, 1998

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

ひとこと要約

本稿では、純ぶらうど群の下位中心系列の第 $ n $ 項に関して、2 つの絡み目が $ n $ 次未塔のバシリエフ不変量を同一に持つことと、それらが同値であることの必要十分条件を、代数的特徴づけとして確立している。主な貢献は、有限型不変量とぶらうど群における群論的構造との間に双対性を確立し、量子不変量と古典的群論を統合し、導来系列や他の部分群フィルトレーションへと拡張することにある。

ABSTRACT

We show that two knots have matching Vassiliev invariants of order less than n if and only if they are equivalent modulo the nth group of the lower central series of some pure braid group, thus characterizing Vassiliev's knot invariants in terms of the structure of the braid groups. We also prove some results about knots modulo the nth derived subgroups of the pure braid groups, and about knots modulo braid subgroups in general.

研究の動機と目的

• 純ぶらうど群の下位中心系列を用いて、バシリエフ不変量の明確な代数的特徴づけを確立すること。
• ジョーンズ多項式などの量子不変量を、ぶらうど群における古典的群論的構造と統合すること。
• 純ぶらうど群の導来系列や他の部分群フィルトレーションへと特徴づけを拡張すること。
• 次数 $<n$ の不変量が一致する絡み目は、ある $\mathrm{LCS}_n(P_k)$ 内の単一のぶらうど置換によって関係づけられることを示すこと。
• $\mathrm{LCS}_n$-同値性と $V_n$-同値性が、すべての絡み目において同一の関係であることを証明すること。

提案手法

• すべてのバシリエフ不変量が $ n $ 未塔である場合に等しいことを、$V_n$-同値性として定義する。
• 純ぶらうど群の下位中心系列の第 $ n $ 項に属する要素によるぶらうど置換を用いて、$\mathrm{LCS}_n$-同値性を定義する。
• 群環 $\mathbb{Z}B_k$ と $\mathbb{Z}P_k$ の増分イデアル $I_k$ を用いて、バシリエフ不変量を $I_k^n$ で消えるものとして形式化する。
• 純ぶらうど群における反復交換子の構造を用いて、$\mathrm{LCS}_n$-同値性が $V_n$-同値性を含むことを証明する。
• 帰納法と $B_3$ における共役作用を用いて、$\mathrm{DS}_n(P_3)$ の要素を生成し、群演算についての閉包性を示す。
• ぶらうど挿入を用いて、各 $\mathrm{DS}_n$-同値類内に無限個の素で交代的な絡み目の族を構成する。

実験結果

リサーチクエスチョン

• RQ1 2 つの絡み目が $ n $ 未塔のバシリエフ不変量を同一に持つのはいつか？
• RQ2 一致する有限型不変量を持つ絡み目同士の同値性は、ぶらうど群の部分群を用いて代数的に特徴づけられるか？
• RQ3 純ぶらうど群の下位中心系列と導来系列は、バシリエフ不変量の構造とどのように関係するか？
• RQ4 2 つのこのような絡み目を、1 つの純ぶらうど群内での単一のぶらうど置換によって関係づけられるか？
• RQ5 $\mathrm{LCS}_n$-同値性と $V_n$-同値性は、すべての絡み目において一致するか？

主な発見

• 2 つの絡み目は、$ V_n $-同値であることと、$\mathrm{LCS}_n$-同値であることとは同値であり、ある $k$ に対して $\mathrm{LCS}_n(P_k)$ 内の単一のぶらうど置換によって異なる。
• $\mathrm{LCS}_n$-同値性は同値関係であり、$\mathrm{LCS}_n$-同値類の集合は、連結和に関して群をなす。
• 任意の $n>0$ に対して、各 $\mathrm{LCS}_n$-同値類内に無限個の素で交代的な絡み目の族が存在する。
• 導来系列 $\mathrm{DS}_n(P_k)$ は $\mathrm{LCS}_n(P_k)$ よりも細かい同値関係を定め、$\mathrm{DS}_n$-同値類も連結和に関して群をなす。
• $\mathrm{LCS}_n(P_k)/\mathrm{LCS}_{n+1}(P_k)$ は有限生成アーベル群であるが、$\mathrm{DS}_n(P_k)/\mathrm{DS}_{n+1}(P_k)$ はアーベル群ではあるが、有限生成ではない。
• $\mathrm{DS}_n(P_3)$ の要素には、$awa$、$awB$、$Bwa$、$BwB$、$awaD$、$awBD$、$BwaD$、$dBwa$ の形の語が含まれ、共役作用および交換子作用について閉じている。