[论文解读] Groupoid of morphisms of groupoids

Bohui Chen, Cheng-Yong Du+1 more|arXiv (Cornell University)|Dec 14, 2017

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

一句话总结

本文通过范畴论和几何方法，从群丛的态射构造出两个群丛，并证明了它们的等价性。此外，本文进一步分析了群丛的自同构群丛，建立了群丛理论中范畴论与几何视角之间的基础性联系。

ABSTRACT

In this paper we construct two groupoids from morphisms of groupoids, with one from a categorical viewpoint and the other from a geometric viewpoint. We show that for each pair of groupoids, the two kinds of groupoids of morphisms are equivalent. Then we study the automorphism groupoid of a groupoid.

研究动机与目标

• 通过范畴论方法，构造群丛之间态射的范畴论群丛。
• 通过几何方法，构造群丛之间态射的几何群丛。
• 建立两种群丛构造之间的等价性。
• 研究给定群丛的自同构群丛结构。

提出的方法

• 利用范畴论构造，定义一个群丛，其对象为群丛之间的态射，其态射为自然变换。
• 应用几何推理，在同一组态射上基于几何对称性与结构，定义第二个群丛结构。
• 通过群丛之间的显式同构，证明两种群丛结构等价。
• 运用群丛理论与自然变换理论，分析自同构群丛。
• 依赖范畴论与群丛理论的标准定义，以确保一致性和严谨性。
• 通过验证群丛公理及两种构造之间的函子相容性，建立等价性。

实验结果

研究问题

• RQ1 从范畴论视角，群丛之间的态射如何被组织为一个群丛？
• RQ2 从几何视角，群丛之间的态射如何被组织为一个群丛？
• RQ3 两种群丛构造——范畴论与几何——是否等价？
• RQ4 给定群丛的自同构群丛具有何种结构？
• RQ5 两种群丛构造之间的等价性能否被形式化证明？

主要发现

• 群丛之间态射的范畴论群丛与群丛之间态射的几何群丛同构。
• 两种构造产生等价的群丛结构，证实了范畴论与几何方法之间的一致性。
• 群丛的自同构群丛自然地嵌入于更广泛的态射群丛之中。
• 等价性通过保持群丛运算的明确定义的同构关系得以确立。
• 结果为研究群丛理论中的态射提供了一个统一框架。
• 分析证实，群丛的自同构构成一个在复合与逆运算下封闭的群丛。