[论文解读] Garside structure for the braid group of G(e,e,r)

David Bessis, Ruth Corran|ArXiv.org|Jun 11, 2003

Geometric and Algebraic Topology参考文献 8被引用 6

一句话总结

本文为复反射群 $G(e,e,r)$ 的 braid 群 $B(e,e,r)$ 提出了一种新的正性、齐次的表示形式，引入了映射到反射的共轭生成元。利用该表示，作者建立了一个 Garside 结构，其中广义 Coxeter 元素作为 Garside 元素，从而通过 Garside 群的算法性质，解决了 $B(e,e,r)$ 的字问题与共轭问题。

ABSTRACT

We give a new presentation of the braid group $B$ of the complex reflection group $G(e,e,r)$ which is positive and homogeneous, and for which the generators map to reflections in the corresponding complex reflection group. We show that this presentation gives rise to a Garside structure for $B$ with Garside element a kind of generalised Coxeter element, and hence obtain solutions to the word and conjugacy problems for $B$.

研究动机与目标

• 解决复反射群 $G(e,e,r)$ 的 braid 群 $B(e,e,r)$ 的字问题与共轭问题这一长期悬而未决的问题。
• 构建 $B(e,e,r)$ 的一种新正性、齐次表示，其生成元为原始 Broué-Malle-Rouquier (BMR) 生成元的共轭，且映射到反射。
• 证明该新表示所定义的幺半群为 Garside 幺半群，从而确保该群为 Garside 群，并可解字问题与共轭问题。
• 证明：在原始 BMR 生成元上，不存在有限的正性、齐次表示，能使得其生成的幺半群嵌入到 $B(e,e,r)$ 中，从而证明新表示的必要性。
• 建立新群表示与 $G(e,e,r)$ 的 braid 群之间的代数等价性，确认其作为群论模型的正确性。

提出的方法

• 引入一个新的生成元集合 $\mathcal{A} = \mathcal{A}_0 \cup \mathcal{A}_1$，包含 $a_{pq}$（其中 $0 \leq p < q < n$）和 $a_p^{(i)}$（其中 $0 \leq p < n$，$0 \leq i < e$），其中 $n = r-1$。
• 定义六类关系，包括类 braid 关系与交换关系，这些关系以 $n$-循环序列为参数，确保表示为正性且齐次。
• 应用 Garside 幺半群理论：验证消去性、左除与右除下的格序结构，并证明存在一个 Garside 元素，其左除与右除相同且能生成幺半群。
• 利用 Garside 幺半群结构，推导出其分式群为 Garside 群，从而保证字问题与共轭问题的可解性。
• 通过 GAP 进行计算验证，对完整表示与 Garside 幺半群公理进行逐案检查，尽管后续工作指出几何方法可作为替代方案。
• 通过证明某些无限关系族（如 $21^n3213 = 32132^n1$）无法从原始生成元的任何有限正性齐次表示中推导出，从而证明 BMR 幺半群无法嵌入。

实验结果

研究问题

• RQ1 能否构造出 $B(e,e,r)$ 的正性、齐次表示，使得其所定义的幺半群能嵌入到该群中？
• RQ2 $B(e,e,r)$ 是否存在 Garside 结构？若存在，其 Garside 元素具有何种性质？
• RQ3 是否能通过有限的正性、齐次表示来解决 $B(e,e,r)$ 的字问题与共轭问题？
• RQ4 能否对原始 BMR 表示进行修改，使得通过有限组正性齐次关系，实现幺半群嵌入到群中？
• RQ5 新生成元（即 BMR 生成元的共轭，且在 $G(e,e,r)$ 中映射到反射）的代数与几何意义为何？

主要发现

• 作者构造了 $B(e,e,r)$ 的一种新正性、齐次表示，其生成元为 BMR 生成元的共轭，且映射到 $G(e,e,r)$ 中的反射，从而填补了该群在算法性质上的长期空白。
• 该新表示所定义的幺半群为 Garside 幺半群，因其满足消去性、左除与右除下的格序结构，并拥有一个 Garside 元素，其左除与右除能生成整个幺半群。
• 该 Garside 幺半群的分式群同构于 $B(e,e,r)$，从而确认该表示正确地建模了 $G(e,e,r)$ 的 braid 群。
• Garside 结构为 $B(e,e,r)$ 的字问题与共轭问题提供了显式的算法解法，而这些解法此前尚不为人所知。
• 本文证明：在原始 BMR 生成元上，不存在有限的正性、齐次表示，能使得其生成的幺半群嵌入到 $B(e,e,r)$ 中，原因在于存在一个无限关系族（如 $21^n3213 = 32132^n1$）无法被有限生成。
• 该结构中的 Garside 元素为广义 Coxeter 元素，将经典概念推广至复反射情形，为群元素提供了规范的约化形式。