[論文レビュー] On the pure virtual braid group $PV_3$

В. Г. Бардаков, Roman Mikhailov+2 more|ArXiv.org|Jun 9, 2009

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

ひとこと要約

本稿は、純仮想ブレイド群 $PV_3$ の研究を行い、その自由積分解明、残留ねじれ自由冪零性、アスパーシティ、コhomology環の構造、および関連する次数付きリー代数を確立する。主な貢献は、$PV_3$ が残留ねじれ自由冪零であることを証明し、3本のストランドを持つ仮想純ブレイドの有限型不変量の完全性を示すことにある。

ABSTRACT

In this article, we investigate various properties of the pure virtual braid group PV_3. From its canonical presentation, we obtain a free product decomposition of PV_3. As a consequence, we show that PV_3 is residually torsion free nilpotent, which implies that the set of finite type invariants in the sense of Goussarov-Polyak-Viro is complete for virtual pure braids with three strands. Moreover we prove that the presentation of PV_3 is aspherical. Finally we determine the cohomology ring and the associated graded Lie algebra of PV_3.

研究の動機と目的

• 純仮想ブレイド群 $PV_3$ の代数的および位相的構造を分析すること。
• $PV_3$ が残留ねじれ自由冪零であるかどうかを特定すること。これは仮想純ブレイドの有限型不変量の完全性を示唆する。
• $PV_3$ の提示複体のアスパーシティを確立すること。
• $PV_3$ の整数コhomology環および関連する次数付きリー代数を計算すること。

提案手法

• 標準的提示から $PV_3$ の自由積分解明を導出する。
• 分解を用いて、誘導法およびマルツェフ完備化の性質を用いて、$PV_3$ が残留ねじれ自由冪零であることを証明する。
• $PV_3$ の提示複体を構成し、提示の幾何的・組合せ的性質を用いて、それがアスパーシであることを証明する。
• 群の関係から導かれる特定の関係を用いて、外積代数の商としてコhomology環 $H^*(PV_3; Z)$ を計算する。
• $PV_3$ の下位中央級の関係から得られる関係を用いて、自由リー代数の商として関連する次数付きリー代数 $L(PV_3)$ を決定する。
• リー代数の可換図式に5-補題を適用し、$L(PV_3)$ の構造を検証する。

実験結果

リサーチクエスチョン

• RQ1 純仮想ブレイド群 $PV_3$ は残留ねじれ自由冪零か？
• RQ2 標準的提示 $PV_3$ はアスパーシか？
• RQ3 整数コhomology環 $H^*(PV_3; Z)$ の構造は何か？
• RQ4 $PV_3$ の関連する次数付きリー代数は何か？
• RQ5 群 $PV_3$ の関係は、コhomologyおよびリー代数の構造にどのように制約を加えるか？

主な発見

• $PV_3$ は自由積分解明を有し、これにより残留ねじれ自由冪零であることが示される。
• $PV_3$ はアスパーシであり、その提示複体の高次のホモトピー群が自明であることを意味する。
• コhomology環 $H^*(PV_3; Z)$ は、六つの生成元上の外積代数の、次の三つの関係を法とする商に同型である：$ abla_{ij}^* abla_{ji}^* = 0$、$( abla_{13}^* - abla_{31}^*) abla_{ij}^* = ( abla_{12}^* - abla_{21}^*) abla_{ij}^* + ( abla_{23}^* - abla_{32}^*) abla_{ij}^*$、および $ abla_{21}^* abla_{31}^* \neq \nabla_{21}^* abla_{32}^* + \nabla_{23}^*\nabla_{31}^*$。
• 関連する次数付きリー代数 $L(PV_3)$ は、五つの生成元 $A_1, B_1, A_2, B_2, C_1$ からなる自由リー代数の、関係 $[A_1,B_1] = 0$、$[A_2,B_2] = 0$、および特定の $X, Y$ に対して $[C_1, X] = [Y, X]$ を法とする商である。
• コhomology環の関係は線形従属であり、商において五つの関係が二つの独立した関係に縮退する。
• $L(PV_3)$ の構造は、群の下位中央級と、中心的元 $c_1$ が自由部分に作用する方法によって完全に決定される。