[论文解读] Pregroupoids and their enveloping groupoids

Anders Kock|ArXiv.org|Feb 3, 2005

Fuzzy and Soft Set Theory参考文献 6被引用 6

一句话总结

本文引入预群胚作为群胚、主纤维丛和扭子的奠基性代数框架，建立了一个左伴随构造，通过一个全纯嵌入函子将每个预群胚映射为一个包络群胚。关键贡献在于证明了从群胚到预群胚的遗忘函子具有左伴随，且其单位映射是单射，从而在不依赖基点或全局截面的前提下，为扭子和丛构造了规范的群胚包络。

ABSTRACT

We prove that the forgetful functor from groupoids to pregroupoids has a left adjoint, with the front adjunction injective. Thus we get an enveloping groupoid for any pregroupoid. We prove that the category of torsors is equivalent to that of pregroupoids. Hence we also get enveloping groupoids for torsors, and for principal fibre bundles.

研究动机与目标

• 开发一个纯粹代数的、函子性的群胚与主纤维丛框架，避免依赖全局截面或基点。
• 建立扭子范畴与预群胚范畴之间的范畴等价。
• 仅使用等式公理且不依赖选择公理，为任意预群胚、主丛或扭子构造包络群胚函子。
• 为在主丛中研究联络提供与解析微分几何兼容的奠基性框架。

提出的方法

• 将预群胚定义为一个集合 X，配备满射 α:X→A 和 β:X→B，以及一个部分定义的三元运算 yx⁻¹z，满足单位律与连接律。
• 利用公理 (1)–(4) 及其导出恒等式（如结合律 (6) 与对称性 (7)–(8)）对结构进行代数形式化。
• 将包络群胚 X⁺ 构造为从群胚到预群胚的遗忘函子的左伴随，证明其单位映射是单射。
• 证明边群胚构造 XX⁻¹（Ehresmann 的构造）并非伴随函子，但作为包络群胚构造中的关键组成部分。
• 将该框架应用于喷层空间：定义具有给定核分布 D 的映射 1-阶的预群胚，并证明其满足公理。
• 证明两个边群胚（XX⁻¹ 与 X⁻¹X）分别对应于保持 D 的 A 与 B 的自同构。

实验结果

研究问题

• RQ1 能否在不选择基点或全局截面的前提下，为任意预群胚构造一个规范的群胚包络？
• RQ2 扭子范畴是否与预群胚范畴等价？若等价，该等价如何与群胚结构相互作用？
• RQ3 从群胚到预群胚的遗忘函子是否具有左伴随？该伴随的单位映射是否为单射？
• RQ4 主纤维丛的概念能否以代数方式编码为预群胚？其对应的包络群胚是什么？
• RQ5 边群胚 XX⁻¹ 在包络群胚构造中起什么作用？它与完整群胚结构有何关系？

主要发现

• 从群胚到预群胚的遗忘函子具有左伴随，且该伴随的单位映射是单射，从而证明了任意预群胚均存在规范的包络群胚。
• 扭子范畴与预群胚范畴之间存在等价，建立了几何扭子与代数预群胚之间深刻的代数对偶性。
• 包络群胚构造是全纯嵌入的，保留了原始预群胚的所有结构信息。
• 对于主纤维丛，包络群胚构造可恢复标准的过渡群胚，并与解析微分几何时空框架兼容。
• 边群胚 XX⁻¹（Ehresmann 的构造）并非伴随函子，亦非忠实函子，但作为包络群胚构造中的关键组成部分。
• 在具有固定核分布 D 的映射 1-阶情形下，预群胚结构自然定义，其包络群胚捕捉了保持 D 的自同构。