[论文解读] 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$，建立了其自由积分解、剩余无挠幂零性、胞腔复形的单连通性、上同调环结构以及相关分次李代数。主要贡献在于证明了 $PV_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$ 的整系数上同调环及其相关分次李代数。

提出的方法

• 从其标准表示出发，推导出 $PV_3$ 的自由积分解。
• 利用该分解，通过归纳法和 Malcev 完备化的性质，证明 $PV_3$ 是剩余无挠幂零群。
• 构造 $PV_3$ 的表示复形，并利用其几何与组合性质证明该复形是单连通的。
• 将上同调环 $H^*(PV_3; Z)$ 计算为一个外代数的商，其中关系由群的关系导出。
• 将相关分次李代数 $L(PV_3)$ 确认为自由李代数模去由群的下中央列关系导出的关系。
• 在李代数的交换图中应用 5-引理，以验证 $L(PV_3)$ 的结构。

实验结果

研究问题

• RQ1 纯虚拟辫群 $PV_3$ 是否为剩余无挠幂零群？
• RQ2 标准表示 $PV_3$ 的复形是否是单连通的？
• RQ3 整系数上同调环 $H^*(PV_3; Z)$ 的结构是什么？
• RQ4 $PV_3$ 的相关分次李代数是什么？
• RQ5 $PV_3$ 中的关系如何约束上同调与李代数的结构？

主要发现

• 群 $PV_3$ 允许自由积分解，这蕴含其为剩余无挠幂零群。
• $PV_3$ 是单连通的，意味着其表示复形的高阶同伦群平凡。
• 上同调环 $H^*(PV_3; Z)$ 同构于六个生成元的外代数模去三个特定关系：$\nabla_{ij}^*\nabla_{ji}^* = 0$，$(\nabla_{13}^* - \nabla_{31}^*)\nabla_{ij}^* = (\nabla_{12}^* - \nabla_{21}^*)\nabla_{ij}^* + (\nabla_{23}^* - \nabla_{32}^*)\nabla_{ij}^*$，以及 $\nabla_{21}^*\nabla_{31}^* \neq \nabla_{21}^*\nabla_{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]$。
• 上同调环关系线性相关，其中五个关系在商中坍缩为两个独立关系。
• $L(PV_3)$ 的结构完全由群的下中央列以及中心元 $c_1$ 在自由部分上的作用决定。