[论文解读] Milnor invariants of braids and welded braids up to homotopy

Jacques Darné|arXiv (Cornell University)|Apr 24, 2019

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

一句话总结

本文建立了纯虚焊辫群在同伦意义下的分解，将其识别为迭代半直积，从而解决了该群的Andreadakis问题。证明了在约化自由群上Andreadakis滤子的关联分次李代数与切向导子代数同构，并通过生成元与关系给出了其表述，对虚辫与焊辫理论中的Milnor不变量及有限型不变量具有重要意义。

ABSTRACT

We consider the group of pure welded braids (also known as loop braids) up to (link-)homotopy. The pure welded braid group classically identifies, via the Artin action, with the group of basis-conjugating automorphisms of the free group, also known as the McCool group P $Σ$ n. It has been shown recently that its quotient by the homotopy relation identifies with the group hP $Σ$ n of basis-conjugating automorphisms of the reduced free group. In the present paper, we describe a decomposition of this quotient as an iterated semi-direct product which allows us to solve the Andreadakis problem for this group, and to give a presentation by generators and relations. The Andreadakis equality can be understood, in this context, as a statement about Milnor invariants; a discussion of this question for classical braids up to homotopy is also included.

研究动机与目标

• 理解在同伦意义下的纯虚焊辫群结构，即hPΣn。
• 通过分析其下中央列的滤子，解决hPΣn的Andreadakis问题。
• 利用其分解，通过生成元与关系建立hPΣn的表述。
• 在约化自由群的背景下，通过Johnson同态与切向导子解释Milnor不变量。
• 阐明在焊辫设定下，有限型不变量、Milnor不变量与群滤子之间的关系。

提出的方法

• 利用同伦意义下的Artin作用，将hPΣn识别为约化自由群RFn的基底共轭自同构。
• 对约化自由群应用一种广义的Magnus展开，证明RFn的李环同构于同组生成元的约化自由代数。
• 建立hPΣn作为涉及正规闭包与商群的迭代半直积的分解。
• 通过Johnson同态分析Andreadakis滤子的关联分次李代数，将其识别为约化自由代数的切向导子代数。
• 利用Lyndon词与线性树构造自由李代数的基，并控制李单项式表达中的冗余性。
• 在张量代数TV中应用余代数与本原元论证，将本原元识别为Lyndon词，支持基的构造。

实验结果

研究问题

• RQ1 在同伦意义下，纯虚焊辫群hPΣn的代数结构如何分解？
• RQ2 hPΣn上Andreadakis滤子的关联分次李代数具有何种结构？
• RQ3 hPΣn的Andreadakis等式是否成立，其对Milnor不变量有何含义？
• RQ4 能否从群的分解中构造出hPΣn的表述？
• RQ5 在约化自由群设定下，Milnor不变量如何与有限型不变量及切向导子相关联？

主要发现

• 群hPΣn可分解为迭代半直积：hPΣn ≅ ( (∏_{i<n} N(xn)/xi ) ⋊ (RFn/xn) ) ⋊ hPΣn−1，其中最右侧的乘积为几乎直接积。
• 约化自由群RFn的李环同构于同组生成元的约化自由代数，推广了Magnus定理。
• hPΣn上Andreadakis滤子的关联分次李代数同构于约化自由代数的切向导子代数。
• hPΣn的Andreadakis问题被肯定地解决，确认Andreadakis滤子与下中央列一致。
• 通过分解与李代数结构，获得了hPΣn的生成元与关系表述。
• 约化自由李环RL[n]k中次数为k的李单项式空间具有基，其由最大指标位于最右叶的线性树构成，此类单项式共有 (k−1)! × (n choose k) 个。