[论文解读] The dual braid monoid

David Bessis|ArXiv.org|Jan 18, 2001

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

一句话总结

本文引入了双辫子幺半群（dual braid monoid），这是与有限考克斯特系统相关联的阿廷群的一种新型加尔锡德幺半群结构，其以所有反射 $T$ 取代了经典的生成集 $S$。双辫子幺半群与经典正辫子幺半群共享关键代数性质，包括嵌入性质和标准形，并在类型 $A$ 中恢复了伯尔曼-科-李幺半群，从而为通过反射群对称性研究辫子群提供了新的代数与几何框架。

ABSTRACT

We construct a new monoid structure for Artin groups associated with finite Coxeter systems. This monoid shares with the classical positive braid monoid a crucial algebraic property: it is a Garside monoid. The analogy with the classical construction indicates there is a ``dual'' way of studying Coxeter systems, where the pair (W,S) is replaced by (W,T), with T the set of all reflections. In the type A case, we recover the monoid constructed by Birman-Ko-Lee

研究动机与目标

• 通过用 $T$（所有反射的集合）替换经典的柯特斯系统 $(W,S)$，为有限实反射群及其辫子群构建一种替代代数框架。
• 构造一种新的正辫子幺半群——称为双辫子幺半群——其关系基于双辫子关系，类似于经典正辫子幺半群，但以反射而非单个反射为基础。
• 证明双辫子幺半群是加尔锡德幺半群，从而确保其继承关键结构性质，如嵌入性质、标准形以及字问题的可解性。
• 通过复化超平面排列中正则向量相关的局部幺半群，建立双辫子幺半群的几何解释。
• 证明在类型 $A$ 中，双辫子幺半群与伯尔曼、科和李所构造的幺半群一致，从而统一了两种不同的辫子群结构方法。

提出的方法

• 双辫子幺半群通过使用从反射集 $T$ 导出的双辫子关系的正呈现方式定义，形成在 Garside 元素 $\Delta$ 的所有小于或等于它的元素集合上的预幺半群结构。
• 该构造依赖于幺半群中存在一个 Garside 元素 $\Delta$，使得集合 $P = \{m \in M \mid m \prec \Delta\}$ 构成一个 Garside 预幺半群，从而可通过自由幺半群构造 $\mathbf{M}(P)$ 恢复完整幺半群。
• 论文通过验证 Garside 预幺半群的公理（特别是成对生成元的左、右最小公倍与最大公因数的存在性）证明双辫子幺半群是 Garside 幺半群。
• 一个关键技术工具是将考克斯特元 $c$ 作为 Garside 元素的候选，证明在整除序下，偏序集 $(P_c, \prec)$ 构成一个格。
• 几何解释将每个复化反射空间中的正则向量 $v$ 关联到一个局部幺半群 $M_v$，当 $v$ 位于实区域时，$M_v$ 同构于经典辫子幺半群；当 $v$ 位于特殊层时，$M_v$ 同构于双辫子幺半群。
• 论文对例外类型（如 $H_3$、$I_2$）采用逐个验证，必要时辅以计算机辅助证明，同时为经典类型 $A$、$B$ 和 $D$ 提供一般性论证。

实验结果

研究问题

• RQ1 能否使用全部反射集 $T$ 而非单个反射集 $S$，为阿廷群构造一种新的正辫子幺半群？
• RQ2 该新幺半群（称为双辫子幺半群）是否满足加尔锡德性质，包括嵌入性质和标准形的存在性？
• RQ3 双辫子幺半群与经典正辫子幺半群以及类型 $A$ 中的伯尔曼-科-李幺半群有何关系？
• RQ4 双辫子幺半群在复化超平面排列和局部单值结构方面的几何解释是什么？
• RQ5 双辫子幺半群能否在所有有限柯特斯类型（包括例外类型）中实现代数与几何表征？

主要发现

• 双辫子幺半群是加尔锡德幺半群，这意味着它满足嵌入性质，从而确保其在对应阿廷群中的单射性。
• 双辫子幺半群具有基于 Garside 元素 $\Delta$ 的左最大公因数分解的标准形，从而可实现字问题的算法求解。
• 在类型 $A_n$ 中，双辫子幺半群同构于伯尔曼、科和李所构造的幺半群，因此统一了对同一代数对象的两种不同构造。
• 当正则向量 $v$ 位于复化超平面排列的特定层时，双辫子幺半群在几何上表现为局部幺半群 $M_v$，该层对应于考克斯特元的特征子空间。
• 对于类型 $B$ 和 $D$，通过证明考克斯特元 $c$ 的因子集合上存在格结构，表明双辫子幺半群是加尔锡德幺半群，从而在这些情况下确认了该理论的一般性。
• 由 $\Delta$ 的共轭诱导的图自同构具有有限阶，且 $\Delta^d$ 在阿廷群中是中心元素，这是加尔锡德群的一个关键结构特征。