[论文解读] Pure braids, a new subgroup of the mapping class group and finite type invariants

Jerome Levine|ArXiv.org|Dec 3, 1997

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

一句话总结

本文引入了曲面映射类群的一个新子群 L，该子群通过同调的拉格朗日子群定义，并研究其与扭结群和约翰逊子群的结构关系。通过纯 braid 群的嵌入和有限型不变量，显式计算了商群 L/K，并分析了 L 和 K 的下中央列，为映射类群的结构及其与三维流形不变量的联系提供了更深层次的代数洞察。

ABSTRACT

In the study of the relation between the mapping class group M of a surface and the theory of finite-type invariants of homology 3-spheres, three subgroups of the mapping class group play a large role. They are the Torelli group, the Johnson subgroup K and a new subgroup L, which contains K, defined by a choice of a Lagrangian subgroup of the homology of the surface. In this work we determine the quotient L/K, in terms of the precise description of M/K given by Johnson and Morita. We also study the lower central series of L and K, using some natural imbeddings of the pure braid group in L and the theory of finite-type invariants.

研究动机与目标

• 定义并研究映射类群的一个新子群 L，该子群包含约翰逊子群 K。
• 利用 Johnson 和 Morita 对 M/K 的已知描述，确定商群 L/K 的结构。
• 通过映射类群中纯 braid 群的自然嵌入，研究 L 和 K 的下中央列。
• 探索同调 3-球面的有限型不变量与映射类群代数结构之间的联系。
• 阐明拉格朗日子群在定义具有几何与拓扑意义的新子群中的作用。

提出的方法

• 将子群 L 定义为在曲面同调的固定拉格朗日子群上的作用的核，推广了扭结群和约翰逊子群。
• 利用 Johnson 和 Morita 对 M/K 的已知描述，将 L/K 显式计算为阿贝尔群的商群。
• 通过与曲面映射类相关的几何构造，将纯 braid 群嵌入 L 中。
• 应用有限型不变量理论，分析 L 和 K 的下中央列。
• 利用纯 braid 群在同调和扭结群上的作用，研究滤过结构和幂零商群。
• 利用映射类群及其子群的代数结构，将有限型不变量与群论性质联系起来。

实验结果

研究问题

• RQ1 L/K 的结构是什么，其中 L 是通过曲面同调的拉格朗日子群定义的映射类群的新子群？
• RQ2 L 和 K 的下中央列如何与纯 braid 群及有限型不变量相关联？
• RQ3 将纯 braid 群嵌入 L 中，如何揭示 L 及其商群的代数结构？
• RQ4 子群 L 如何细化或扩展已知的扭结群和约翰逊子群的结构？
• RQ5 拉格朗日子群在定义与三维流形不变量相关的有意义的新子群中起什么作用？

主要发现

• L/K 被显式计算为阿贝尔群的商群，基于 Johnson 和 Morita 对 M/K 的描述。
• 子群 L 包含约翰逊子群 K，且通过曲面同调中拉格朗日子群的选择来定义。
• 纯 braid 群自然地嵌入 L 中，为分析其结构和滤过提供了关键工具。
• 利用有限型不变量研究了 L 和 K 的下中央列，揭示了更深层次的代数性质。
• L/K 的结构被证明与同调 3-球面的有限型不变量理论相容。
• 研究结果建立了一个精确的代数框架，通过同调和群论方法，将映射类群、其子群与有限型不变量联系起来。