[论文解读] Note on commutativity in double semigroups and two-fold monoidal categories

Joachim Kock|arXiv (Cornell University)|Aug 17, 2006

semigroups and automata theory参考文献 12被引用 39

一句话总结

该论文证明，在任意双半群中，特定的16元素重排恒等式在某些条件下强制满足交换性，即使在无单位元的情况下亦然。进一步地，它证明了具有弱单位元的严格结合双 fold 半群范畴必然是退化的对称范畴，这意味着具有一个对象和一个箭头的3-群胚无法对所有单连通同伦3类型进行建模。

ABSTRACT

A concrete computation -- twelve slidings with sixteen tiles -- reveals that certain commutativity phenomena occur in every double semigroup. This can be seen as a sort of Eckmann-Hilton argument, but it does not use units. The result implies in particular that all cancellative double semigroups and all inverse double semigroups are commutative. Stepping up one dimension, the result is used to prove that all strictly associative two-fold monoidal categories (with weak units) are degenerate symmetric. In particular, strictly associative one-object, one-arrow 3-groupoids (with weak units) cannot realise all simply-connected homotopy 3-types.

研究动机与目标

• 研究无单位元双半群中的交换性现象，此时经典Eckmann-Hilton论证不再适用。
• 确定在缺乏单位元的情况下，可消去或反演双半群是否必然满足交换性。
• 将分析扩展至更高阶范畴结构，特别是双 fold 半群范畴，并确定其结构约束。
• 考察这些结果对单连通同伦3类型能否由具有弱单位元的严格3-群胚实现的影响。

提出的方法

• 使用几何化的、基于拼图的计算方法，通过十二次滑动和十六个元素，展示双半群中一个非平凡重排恒等式。
• 在图示表示中应用交换律和结合律，推导出16元素交换性恒等式。
• 利用可消去性和反演性质，消除恒等式中的未命名元素，从而证明完全交换性。
• 通过将双半群建模为Cat中的严格双幺半群，将双半群结果转化为范畴设定。
• 利用弱单位元的存在性及其可消去性，构造一个保持结构的等价函子F，从而实现对称性构造。
• 通过完全忠实且强乘法的函子F定义对称同构σ，利用16元素恒等式得出的等式FX ⊗ FY = FY ⊗ FX。

实验结果

研究问题

• RQ1 是否仅通过交换律和结合律，就能在无单位元的双半群中推导出交换性？
• RQ2 即使在缺乏单位元的情况下，可消去或反演双半群是否必然满足交换性？
• RQ3 在具有弱单位元的严格结合双 fold 半群范畴中，会引发何种结构约束？
• RQ4 具有一个对象和一个箭头的3-群胚，若具有弱单位元，是否能实现所有单连通同伦3类型？
• RQ5 双 fold 半群范畴中由Eckmann-Hilton风格论证诱导的对称性是否必然退化？

主要发现

• 在每个双半群中均成立一个16元素重排恒等式：当整个构型旋转时，两个元素的乘积保持不变，且未命名元素的顺序得以保留。
• 所有可消去双半群均为交换的，因为16元素恒等式中的空白元素可利用可消去性质被消去。
• 所有反演双半群均为交换的，因为反演性质允许对未命名元素进行相同消去。
• 每个具有弱单位元的严格结合双 fold 半群范畴必然是退化的对称范畴，即辫子结构是平凡的。
• 具有弱单位元的严格结合一个对象、一个箭头的3-群胚无法实现所有单连通同伦3类型，原因在于诱导出的对称性是退化的。
• 此类双 fold 半群范畴中的对称性源于单位元与交换律同构的复合，但因16元素恒等式而被迫退化。