[論文レビュー] Vassiliev and Quantum Invariants of Braids

Dror Bar-Natan|ArXiv.org|Jul 1, 1996

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

ひとこと要約

この論文は、Lie代数 $\mathfrak{gl}(N)$ から得られるブレイドの量子不変量が、純ブレイドを完全に分離することを証明している。その根拠として、これらの不変量がバシリエフ不変量と同値であり、すべての純ブレイドのバシリエフ不変量が $\mathfrak{gl}(N)$ 表現から生じることを示している。主な結果は、$\mathfrak{gl}(N)$ 表現からのレシェティヒン＝トゥレイブ不変量が、すべてのバシリエフ不変量を生成することであり、これにより純ブレイドに対する普遍性と分離性が確立される。

ABSTRACT

We prove that braid invariants coming from quantum gl(N) separate braids, by recalling that these invariants (properly decomposed) are all Vassiliev invariants, showing that all Vassiliev invariants of braids arise in this way, and reproving that Vassiliev invariants separate braids. We discuss some corollaries of this result and of our method of proof.

研究の動機と目的

• 量子不変量が $\mathfrak{gl}(N)$ 表現から得られるブレイドの純ブレイドを分離することを確立すること。
• すべての純ブレイドのバシリエフ不変量が $\mathfrak{gl}(N)$-ベースのレシェティヒン＝トゥレイブ不変量から生じることを示すこと。
• $\mathfrak{gl}(N)$-不変量によって、純ブレイドのバシリエフ不変量の空間が完全に捉えられることを示し、普遍性を示すこと。
• チェーン図の写像の単射性を用いて、この結果をストリングリンクなどのより広いクラスへ拡張すること。

提案手法

• $\mathfrak{gl}(N)$ 表現に関連する重み系を用いて、純ブレイドの不変量を構成すること。
• 量子不変量を $\hbar$ の形式的べき級数に写像し、その係数を $\operatorname{End}(R_1 \otimes \cdots \otimes R_n)$ にとること。
• レシェティヒン＝トゥレイブ構成を用いて、$\hbar$-展開における $m$ 番目の係数がタイプ $m$ のバシリエフ不変量であることを証明すること。
• チェーン図理論と STU関係を用いて、不変量を純ブレイドのチェーン図空間 $\mathcal{A}^{pb}$ と関連させること。
• Knizhnik-Zamolodchikov接続を普遍的なバシリエフ不変量として用い、ブレイドからチェーン図への写像の単射性を示すこと。
• 非減少チェーン図が $\mathcal{A}^{pb}$ を生成することを示し、単射性の証明の根拠とする。

実験結果

リサーチクエスチョン

• RQ1 量子不変量が $\mathfrak{gl}(N)$ 表現から得られるブレイドのすべての純ブレイドを分離するか？
• RQ2 すべての純ブレイドのバシリエフ不変量が、$\mathfrak{gl}(N)$-ベースの不変量の $\hbar$-展開の係数として実現可能か？
• RQ3 純ブレイド不変量からチェーン図への写像は単射か？ また、ストリングリンクへは拡張可能か？
• RQ4 ケーブリングを用いたHOMFLY多項式は、すべての純ブレイド不変量を特定できるか？
• RQ5 ストリングリンクのチェーン図空間には、純ブレイドのチェーン図空間の同型写像が含まれるか？

主な発見

• すべての純ブレイドのバシリエフ不変量が $\mathfrak{gl}(N)$-ベースのレシェティヒン＝トゥレイブ不変量から生じることを示し、普遍性を証明した。
• $J_{R_1,\ldots,R_n}$ の $\hbar$-展開における $m$ 番目の係数がタイプ $m$ のバシリエフ不変量であることが示され、量子不変量と有限型不変量の関係が明確になった。
• 純ブレイドのチェーン図空間 $\mathcal{A}^{pb}$ からストリングリンクのチェーン図空間 $\mathcal{A}^{sl}$ への写像は単射であり、純ブレイドのチェーン図がストリングリンクのチェーン図に埋め込まれることを示した。
• ケーブリング操作を通じてHOMFLY多項式が、すべてのケーブリングの多項式によって純ブレイドを特定できることを示した。
• Knizhnik-Zamolodchikov接続が $\mathcal{A}^{pb}$ に単射写像を誘導することを示し、バシリエフ不変量が $\mathfrak{gl}(N)$-不変量によって完全に捉えられることを確認した。