[论文解读] Braid groups and Artin groups

Luis Paris|ArXiv.org|Nov 15, 2007

Geometric and Algebraic Topology参考文献 109被引用 16

一句话总结

本文对辫子群、Artin 群和 Garside 群进行了全面综述，强调其代数、拓扑和几何结构。研究证明，从辫子群到曲面映射类群的非循环同态在共轭意义下被分类为标准表示的交错变换，其单射性条件取决于曲面的拓扑结构，从而为辫子群和映射类群的外自同构群分类提供了新证明。

ABSTRACT

This article is a survey on the braid groups, the Artin groups, and the Garside groups. It is a presentation, accessible to non-experts, of various topological and algebraic aspects of these groups. It is also a report on three points of the theory: the faithful linear representations, the cohomology, and the geometrical representations.

研究动机与目标

• 为非专业读者提供一份自包含且易于理解的辫子群、Artin 群和 Garside 群的综述。
• 统一并解释辫子群、映射类群以及几何/拓扑表示之间的联系。
• 对从辫子群到曲面映射类群的非循环同态进行分类，尤其关注交错变换和中心化子。
• 利用这些分类结果，重新推导辫子群和映射类群外自同构群的关键结果。

提出的方法

• 使用 Garside 群论分析辫子群中的字问题和共轭问题等算法问题。
• 应用 Salvetti 复形构造方法，通过超平面排列研究 Artin 群的上同调。
• 采用拓扑和代数方法构造辫子群的线性表示，包括 Bigelow 和 Krammer 的表示。
• 利用几何表示作为到映射类群的同态，特别是通过曲面上的德恩扭转。
• 分析映射类群中像子群的中心化子，以对可能的同态进行分类。
• 引入标准表示的交错变换作为生成和分类非循环同态的机制。

实验结果

研究问题

• RQ1 从辫子群到曲面映射类群的非循环同态具有怎样的结构？
• RQ2 映射类群中像子群的中心化子如何决定此类同态的分类？
• RQ3 在何种拓扑条件下，辫子群到映射类群的标准表示是单射的？
• RQ4 如何利用同态的分类来重新推导外自同构群的结果？
• RQ5 标准表示的交错变换在生成所有非循环同态中起到什么作用？

主要发现

• 当 n 为奇数且 n ≥ 5 时，所有从 B_n 到 M(Σ_{k,r}) 的非循环同态在共轭意义下都等价于标准表示 ρ_M 的交错变换。
• 标准表示 ρ_M: B_n → M(Σ_{k,r}) 是单射当且仅当 r ≥ 1。
• 当 n 为偶数且 n ≥ 6 时，所有从 B_n 到 M(Σ_{k,r}) 的非循环同态在共轭意义下都等价于 ρ_M(r₁,r₂) 的交错变换，其中 r₁ + r₂ = r 且 r₁,r₂ ≥ 1。
• 表示 ρ_M(r₁,r₂): B_n → M(Σ_{k,r}) 是单射当且仅当 r₁ ≥ 1 且 r₂ ≥ 1。
• 当 r > 0 时，ρ_M(r₁,r₂) 的像在 M(Σ_{k,r}) 中的中心化子同构于 M(Ω₁) × M(Ω₂)；当 r = 0 时，其为阶为 2 的循环群。
• 这些分类结果导致了外自同构群结构的新证明：当 n ≥ 5 时，Out(B_n) ≅ ℤ/2ℤ；当 r ≥ 1 时，Out(M(Σ_{g,r})) 是平凡群；当 r = 0 且 g ≥ 3 时，其为 ℤ/2ℤ；当 r = 0 且 g = 2 时，其为 (ℤ/2ℤ)²。