[论文解读] From braid groups to mapping class groups

Luis Paris|arXiv (Cornell University)|Dec 1, 2004

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

一句话总结

本文通过 Garside 理论与 Coxeter 群理论，探讨辫群与映射类群之间的结构与代数相似性，研究本质元素、根系与周期性等性质。研究结果表明，在不可约非仿射 Coxeter 群中，一个元素是本质的，当且仅当它由所有 $ w $-奇根生成，且本质元素具有无限阶，其中心化子具有有限指数。

ABSTRACT

This paper is a survey of some properties of the braid groups and related groups that lead to questions on mapping class groups.

研究动机与目标

• 研究辫群的哪些性质可推广至映射类群，特别是通过代数与几何结构。
• 分析 Coxeter 群中本质元素的概念及其在中心化子结构中的作用。
• 利用根系性质与周期性，刻画不可约非仿射 Coxeter 群中的本质元素。
• 阐明词长、根系与群元素在共轭与幂运算下的行为之间的关系。
• 确立元素生成其中心化子的有限指数子群的条件，并将其与本质性概念联系起来。

提出的方法

• 利用 Garside 半群与群研究可除性、格结构及 Garside 元素的存在性。
• 将 Coxeter 群在实向量空间上的典范表示与由 Coxeter 矩阵定义的对称双线性形式相结合。
• 通过根系 $ \Phi = \{w\alpha_s \mid w \in W, s \in S\} $ 定义正根与负根，并引入 $ \Phi_w = \{\beta \in \Phi^+ \mid w\beta \in \Phi^-\} $。
• 基于集合 $ N_w(\alpha) = \{m \in \mathbb{Z} \mid \alpha \text{ 分离 } w^m \text{ 与 } w^{m+1}\} $，引入 $ w $-周期性及 $ w $-奇/偶根的概念。
• 利用词长函数 $ \lg(w) = |\Phi_w| $ 将群元素与根系行为联系起来。
• 通过共轭定义反射 $ r_\beta = wsw^{-1} $，其在向量空间 $ U $ 上的作用为 $ r_\beta(x) = x - 2\langle x, \beta \rangle \beta $。

实验结果

研究问题

• RQ1 辫群的哪些性质可推广至映射类群，特别是在代数结构与元素分类方面？
• RQ2 不可约非仿射 Coxeter 群中的本质元素由什么特征刻画？
• RQ3 根的周期性与分离行为如何影响 Coxeter 群中中心化子的结构？
• RQ4 在何种条件下，无限阶元素生成的循环子群是其中心化子的有限指数子群？
• RQ5 集合 $ w $-奇根是否能完全决定 Coxeter 群中元素 $ w $ 的本质性？

主要发现

• 在不可约非仿射 Coxeter 群中，元素 $ w $ 是本质的，当且仅当它由所有 $ w $-奇根生成。
• 对任意 $ m \geq 1 $，$ w $ 是本质的当且仅当 $ w^m $ 是本质的，表明其在取幂下保持不变。
• 若 $ w $ 是本质的，则 $ w $ 具有无限阶，且循环子群 $ \langle w \rangle $ 在 $ W $ 中 $ w $ 的中心化子中具有有限指数。
• 集合 $ N_w(\alpha) $（即满足 $ \alpha $ 分离 $ w^m $ 与 $ w^{m+1} $ 的整数 $ m $）是有限的，且其奇偶性取决于根的行为。
• 根系 $ \Phi $ 可分解为不相交的并集 $ \Phi^+ \sqcup \Phi^- $，且对所有 $ w \in W $，有 $ \lg(w) = |\Phi_w| $，从而将词长与根数联系起来。
• 典范表示 $ W \to GL(U) $ 是忠实的，并保持双线性形式 $ \langle \cdot, \cdot \rangle $，该形式由 Coxeter 图中的 $ m_{st} $ 值定义。