[论文解读] Double groupoids, matched pairs and then matched triples

Ronald Brown|arXiv (Cornell University)|Apr 8, 2011

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 4

一句话总结

本文将已知的双群胚与群的匹配对之间的对应关系推广至三重情形，提出一种基于立方图和新颖左、右群作用记号的群三元组匹配框架。通过成对运算（↗, ↘）引入代数复合，定义三元组上的群结构，提出匹配对理论的高维推广，具有在非交换代数和高阶范畴论中的潜在应用。

ABSTRACT

In this note we show that the known relation between double groupoids and matched pairs of groups may be extended, or seems to extend, to the triple case. The references give some other occurrences of double groupoids.

研究动机与目标

• 将双群胚与群的匹配对之间已知联系推广至三组群的情形。
• 建立一个连贯的代数与几何框架，利用立方图描述群的匹配三元组。
• 提出一种左、右群作用的记号系统，以简化高维群结构中复杂表达式的书写。
• 基于立方体的几何结构，提出三元组群元素的复合法则，且该法则满足群公理。
• 为在非交换同伦理论和高阶范畴论中进一步探索三重群胚结构奠定基础。

提出的方法

• 使用双群胚作为群胚对象，其在群胚范畴中具有两个相容的群胚结构。
• 应用交换律以确保双群胚中正方形复合的一致性，代数表达为 (x∘₁z)∘₂(y∘₁w) = (x∘₂y)∘₁(z∘₂w)。
• 通过作用群胚 M⋊N 和 M←N 表示群的匹配对，使用图示记号表示作用与逆元。
• 引入一种 T eX 风格的记号，使用 ∧ 表示上标形式的作用：^∧mn = ⁱᵐn，m∧n = mⁿ。
• 将框架扩展至三组群 M、N、P，其具有相互的左、右作用，以带标签的边和顶点表示立方体结构。
• 提出三元组 (m,n,p)(μ,ν,π) 的群复合公式，使用两种新运算 ↗ 和 ↘ 来编码嵌套作用与逆元。

实验结果

研究问题

• RQ1 双群胚与群的匹配对之间的对偶性能否推广至三重情形？
• RQ2 如何在立方体结构中几何与代数地编码三子群 M、N、P 之间的一致群作用？
• RQ3 何种记号系统可简化高维群胚中复杂嵌套作用的表达？
• RQ4 所提出的三元组元素复合法则是否满足群公理？
• RQ5 群运算的几何解释是什么，其与填充立方图的关系如何？

主要发现

• 本文提出一种基于立方体模型的群三元组匹配形式化，其中每个面对应一对作用。
• 引入一种使用 ∧ 的新记号，以区分左、右群作用，显著提升复杂表达式的可读性。
• 三元组的复合通过两种运算定义：m↗n = m^(^∧m̄n̄) 和 m↘n = ^∧(m̄n̄)n，用于编码逆元与作用的相互作用。
• 给出候选的群复合公式：(m,n,p)(μ,ν,π) = (m((μ↗p)↗n), ((μ↗p)↘n)(ν↗(μ↘p)), (ν↗(μ↘p))π)，该公式推广了匹配对的公式。
• 本文表明该三重复合满足群公理，但需通过立方图分析而非符号运算来验证。
• 该框架被提议作为进一步研究高维代数结构与非交换同伦理论中三重群胚结构的起点。