[论文解读] On the category of finitely generated free groups

Kazuo Habiro|arXiv (Cornell University)|Sep 21, 2016

Geometric and Algebraic Topology参考文献 8被引用 8

一句话总结

本文提供了范畴 𝔽（有限生成自由群的范畴）与交换霍普夫代数的 PROP（记为 𝔽）之间同构的直接组合证明，且该证明不依赖于 Lawvere 理论。通过使用群论与范畴论构造，显式构建了同态集上卷积幺半群之间的同构，从而在纯粹的组合框架下建立了群论与霍普夫代数结构之间的基础联系。

ABSTRACT

It is well known that the opposite F^{op} of the category F of finitely generated free groups is a Lawvere theory for groups, and also that F is a free symmetric monoidal category on a commutative Hopf monoid, or, in other words, a PROP for commutative Hopf algebras. In this paper, we give a direct, combinatorial proof of the latter fact, without using Lawvere theories.

研究动机与目标

• 在不依赖 Lawvere 理论的前提下，为有限生成自由群范畴 𝔽 与交换霍普夫代数的 PROP 之间的同构提供一个自包含的组合证明。
• 在 𝔽 与交换霍普夫代数的 PROP 中，建立同态集上卷积幺半群之间的直接同构。
• 将该方法推广至不具有（余）积的范畴，其动机源于低维拓扑中的拓扑应用。
• 为未来关于群型范畴的改进工作（如由流体体与弦图导出的范畴）奠定基础。

提出的方法

• 将 PROP 𝔽 定义为由一个交换霍普夫幺半群生成的自由对称张量范畴，其对象由非负整数索引，态射由生成元的张量积给出。
• 构造一个对称张量函子 T: 𝔽 → 𝔽，通过显式群同构 τm,n: Fₙ^m → 𝔽(m,n)ₚₚₗ 将 𝔽 中的霍普夫幺半群结构映射到 𝔽 中的对应结构。
• 定义一个满的幺半群同态 αm,n: Fₙ^m → 𝔽(m,n)ₚₚₗ，其中 Fₙ^m 表示由 n 个生成元的自由群的 m 重积。
• 通过验证诱导映射 τm,n 为群同构，并确保图 (33) 交换，从而证明函子 T 是同构，保证其与张量结构的相容性。
• 利用 𝔽 显式地具有有限余积（coproducts）的事实（不依赖于 𝔽 的结构）来支持该同构。
• 建立与拓扑范畴 𝒫（圆的 bouquet）、ℋ（流体体嵌入模同伦等价）及 𝒜（流体体中弦图的范畴）之间的联系，表明 𝔽 是这些结构的商或零度部分。

实验结果

研究问题

• RQ1 能否在不使用 Lawvere 理论的前提下证明有限生成自由群范畴与交换霍普夫代数的 PROP 之间的同构？
• RQ2 是否存在一种纯粹的组合构造，用于建立 𝔽 与交换霍普夫代数的 PROP 中同态集上卷积幺半群之间的同构？
• RQ3 范畴 𝔽、ℋ 与 𝒜 通过函子 π₁^ℋ 与 Z 如何相互关联？弦图范畴 𝒜 的零度部分起什么作用？
• RQ4 同构 𝔽 ≅ 𝔽 能否推广至缺乏（余）积的范畴，特别是在拓扑情境中？

主要发现

• 本文确立了有限生成自由群范畴 𝔽 与交换霍普夫代数的 PROP 之间的直接同构，确认 𝔽 ≅ 𝔽 作为对称张量范畴。
• 该同构通过显式群同构 τm,n: Fₙ^m → 𝔽(m,n)ₚₚₗ 构造，且证明其与张量结构及霍普夫结构相容。
• 该证明通过仅依赖群论与范畴论构造，避免使用 Lawvere 理论，因而更具可推广性。
• 证明了 𝔽 可直接具有有限余积，而无需参考 𝔽 的结构，从而支持其作为 PROP 的角色。
• 流体体嵌入模同伦的范畴 ℋ 通过 π₁^ℋ 映射到 𝔽，且 ℋ 模同伦的商同构于 𝔽，表明 𝔽 是某一拓扑范畴的同伦商。
• 流体体中弦图范畴 𝒜 的零度部分同构于 𝔽^op 的有理线性化，暗示 𝔽 是量子不变量范畴化中的基础组成部分。