[论文解读] Retractability of set theoretic solutions of the Yang-Baxter equation

Ferran Cedó, Eric Jespers+1 more|ArXiv.org|Mar 20, 2009

Algebraic structures and combinatorial models参考文献 7被引用 8

一句话总结

该论文证明了具有阿贝尔自洽杨-巴克斯特定解（IYB）群的平方自由集论非退化解是可收缩的，从而证实了盖法-伊万诺娃在该情形下的一个猜想。此外，论文还构造了一个乘幂置换度为3且IYB群为阿贝尔群但不是广义扭并的解，从而解决了另一开放问题中的一个反例情形。

ABSTRACT

It is shown that square free set theoretic involutive non-degenerate solutions of the Yang-Baxter equation whose associated permutation group (referred to as an involutive Yang-Baxter group) is abelian are retractable in the sense of Etingof, Schedler and Soloviev. This solves a problem of Gateva-Ivanova in the case of abelian IYB groups. It also implies that the corresponding finitely presented abelian-by-finite groups (called the structure groups) are poly-${\mathbb Z}$ groups. Secondly, an example of a solution with an abelian involutive Yang-Baxter group which is not a generalized twisted union is constructed. This answers in the negative another problem of Gateva-Ivanova. The constructed solution is of multipermutation level 3. Retractability of solutions is also proved in the case where the natural generators of the IYB group are cyclic permutations. Moreover, it is shown that such solutions are generalized twisted unions.

研究动机与目标

• 为解决盖法-伊万诺娃关于具有阿贝尔IYB群的平方自由集论解的可收缩性猜想。
• 确定所有具有阿贝尔IYB群的解是否都能表示为广义扭并，以解决第二个开放问题。
• 通过轨道分解和群作用于解集的方式，刻画此类解的结构。
• 证明当IYB群的自然生成元为循环置换时，解是强可收缩的，且为广义扭并。
• 建立当解可收缩时，其关联结构群为多ℤ群。

提出的方法

• 使用由 σ_i = σ_j 定义的收缩关系 ∼，构造解的收缩解 Ret(X,r)。
• 对 |X| 进行归纳，证明具有循环IYB生成元的解的强可收缩性及广义扭并结构。
• 应用完整的循环条件及共轭论证，证明对于在 G_r 作用下的同一轨道中的所有 l，有 σ_l = σ_j。
• 利用结构群 G(X,r) 与 Fa_n ⋊ G_r 的子群之间的同构关系。
• 分析 G_r 作用下的轨道结构及其在 X 的子集上的诱导作用。
• 利用 G_r 在 X 上的自然作用，定义并分析商集 X/∼ 上的诱导解。

实验结果

研究问题

• RQ1 具有阿贝尔IYB群的平方自由集论解是否可收缩？
• RQ2 是否每个具有阿贝尔IYB群的解都能表示为广义扭并？
• RQ3 当IYB群的自然生成元为循环置换时，此类解的结构如何？
• RQ4 乘幂置换度与解的群论结构之间有何关系？
• RQ5 在何种条件下，结构群 G(X,r) 是多ℤ群？

主要发现

• 所有具有阿贝尔IYB群的平方自由集论解都是可收缩的，从而证实了盖法-伊万诺娃在该情形下的猜想。
• 此类解的结构群 G(X,r) 是多ℤ群，因为其为阿贝尔-有限且无挠。
• 明确构造了一个乘幂置换度为3的解，其IYB群为阿贝尔群但不是广义扭并。
• 当IYB群的生成元为循环置换时，解是强可收缩的，且为广义扭并。
• 解的可收缩性在模去收缩关系 ∼ 后仍保持不变，从而支持归纳证明。
• 群 G_r 在 X 上作用并产生多个轨道，这些轨道的结构决定了解的可分解性与可收缩性。