[论文解读] Non-crossing partitions of type (e,e,r)

David Bessis, Ruth Corran|ArXiv.org|Mar 23, 2004

Advanced Combinatorial Mathematics参考文献 13被引用 10

一句话总结

本文引入了一类新型的类型$(e,e,r)$非交叉划分格，为 braid 群$B(e,e,r)$提供了 Garside 结构，从而解决了字问题与共轭问题。该构造推广了经典非交叉划分，并将双 braid 半群框架扩展至类型$G(e,e,r)$的复反射群，其应用涵盖 braid 群理论、簇代数及自由概率论。

ABSTRACT

We investigate a new lattice of generalised non-crossing partitions, constructed using the geometry of the complex reflection group $G(e,e,r)$. For the particular case $e=2$ (resp. $r=2$), our lattice coincides with the lattice of simple elements for the type $D_n$ (resp. $I_2(e)$) dual braid monoid. Using this lattice, we construct a Garside structure for the braid group $B(e,e,r)$. As a corollary, one may solve the word and conjugacy problems in this group.

研究动机与目标

• 通过类型$(e,e,r)$的非交叉划分，为 braid 群$B(e,e,r)$构建组合框架。
• 将双 braid 半群构造推广至复反射群$G(e,e,r)$，其中$D_r$与$I_2(e)$作为特例。
• 在不依赖逐案计算机分析的前提下，为$B(e,e,r)$建立 Garside 结构。
• 建立非交叉划分格与表示论结构（如簇代数与自由概率论）之间的联系。
• 利用 Garside 结构证明 Broué-Malle-Rouquier 生成元在$B(e,e,r)$中不具有有限表示。

提出的方法

• 利用复反射群$G(e,e,r)$的几何性质，构造非交叉划分格$NCP(e,e,r)$。
• 通过$NCP(e,e,r)$中简单元素的格结构，在$B(e,e,r)$上定义 Garside 半群结构。
• 利用$a$-链与 Garside 半群中的可除性概念，分析字的约化性与消去性质。
• 应用右消去与左消去论证，推导出如$21^k3213 = 32132^k1$等关系式。
• 利用映射$B(e,e,n+1) \to B_n$（类型$A$ braid 群）分析如$2^k1$与$32132^k$等字的行为。
• 通过单元素等价类与可除性检查，证明关键字在 BMR 生成集上不可重写。

实验结果

研究问题

• RQ1 能否通过非交叉划分格构造出 braid 群$B(e,e,r)$的 Garside 结构？
• RQ2 格$NCP(e,e,r)$与类型$D_r$和$I_2(e)$的双 braid 半群有何关系？
• RQ3 $NCP(e,e,r)$的数值结构为何？其是否推广了经典的 Catalan 数公式？
• RQ4 能否利用 Garside 框架证明 Broué-Malle-Rouquier 对$B(e,e,r)$的表示是非有限表示的？
• RQ5 是否存在$NCP(e,e,r)$与其他领域（如簇代数或自由概率论）之间的联系？

主要发现

• 格$NCP(e,e,r)$是一个 Garside 格，其简单元素构成$B(e,e,r)$的 Garside 半群结构。
• $NCP(e,e,r)$的基数为广义 Catalan 数，推广了$NCP(1,1,r)$的经典公式。
• 当$e=2$时，格$NCP(2,2,r)$与类型$D_r$的双 braid 半群一致；当$r=2$时，与类型$I_2(e)$的双 braid 半群一致。
• 由 Broué-Malle-Rouquier 表示定义的半群是 Garside，从而可在$B(e,e,r)$中高效求解字问题与共轭问题。
• 由 Broué-Malle-Rouquier 生成元生成的子半群不具有有限表示，其证据为无限长关系如$21^k3213 = 32132^k1$。
• 字$32132^k$无法在生成集$\{1,2,3\}$上被重写，证明任何有限关系集均无法捕捉该半群的完整结构。