[论文解读] "Set-theoretical" solutions of the quantum Yang-Baxter equation and a class of Garside groups

Fabienne Chouraqui|arXiv (Cornell University)|Nov 25, 2008

Algebraic structures and combinatorial models参考文献 13被引用 4

一句话总结

本文建立了非退化、对合且辫子型的量子杨-Baxter方程的集论解与具有特定二次表格式关系的Garside群之间的一一对应关系。关键结果为：此类解是不可约的，当且仅当其结构群是Δ-纯Garside群，从而将群的代数结构与几何及同调性质联系起来。

ABSTRACT

We establish a one-to-one correspondence between structure groups of non-degenerate, involutive and braided "set-theoretical" solutions of the quantum Yang-Baxter equation and Garside groups with a certain presentation. Moreover, we show that the solution is indecomposable if and only if its structure group is a $Δ-$pure Garside group.

研究动机与目标

• 建立非退化、对合且辫子型的量子杨-Baxter方程的集论解与具有特定关系的Garside群之间的一一对应关系。
• 以结构群的代数结构表征此类解不可约的条件。
• 证明此类解的结构群恒为Garside群，且其生成元的右最小公倍元可作为Garside元。
• 证明此类解的结构群的（上）同调维数由基础集合X的基数所界定。
• 定义并分析表格式幺半群，作为编码此类解及其群的组合框架。

提出的方法

• 将表格式幺半群定义为由有限集X生成的幺半群，其关系为二次关系，且可表示为表格形式。
• 引入表格式幺半群之间的t-同构，以按其结构群的同构分类解。
• 利用Dehornoy的Garside群判定准则，证明非退化、对合且辫子型解的结构群为Garside群。
• 证明生成元的右最小公倍元构成Garside元，从而表明该群在[8]的意义下为Garside群。
• 通过归纳法，基于字长与变换链长，利用定义关系证明幺半群的右可消去性。
• 利用置换解的结构构造显式例子，并验证Garside元Δ为中心生成元。

实验结果

研究问题

• RQ1 非退化、对合且辫子型的量子杨-Baxter方程的集论解所对应的结构群的精确代数特征是什么？
• RQ2 在何种条件下此类解会导出Garside群，且该对应关系如何实现双射？
• RQ3 此类解的不可约性与其结构群的Garside性质之间有何关系？
• RQ4 此类解的结构群的（上）同调维数是多少？其如何由基础集合的大小所界定？
• RQ5 结构群的表示能否通过表格式编码？在t-同构下哪些不变量被保持？

主要发现

• 非退化、对合且辫子型的量子杨-Baxter方程的集论解的同构类，与满足特定条件的Garside表格式幺半群的t-同构类之间存在一一对应关系。
• 此类解的结构群恒为Garside群，且其生成元的右最小公倍元可作为Garside元。
• 此类解的结构群的（上）同调维数上界为基础有限集X的基数。
• 当且仅当其结构群为Picantin所定义的Δ-纯Garside群时，解为不可约的。
• 此类解所关联的幺半群具有右可消去性，该性质通过基于字长与变换链长的归纳法，利用定义关系得以证明。
• 对于置换解，Garside元Δ为所有生成元的共同幂$ x_i^3 $，且群的中心为循环群，由Δ生成。