[论文解读] Group operads as crossed interval groups

Jun Yoshida|arXiv (Cornell University)|Jun 8, 2018

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

一句话总结

本文建立了一个从群运算子范畴到交叉区间群范畴的全忠实函子，证明了群运算子恰好是关于对称群运算子的驯服且运算子化的交叉区间群。关键贡献在于一种范畴等价，将群运算子嵌入为交叉区间群中的一个可反射子范畴，统一了代数拓扑与同伦论中编码对称性的两种框架。

ABSTRACT

The goal of the paper is to establish and to investigate a fully faithful embedding of the category of group operads into that of crossed interval groups. For this, we introduce a monoidal structure on the slice of the category of operads over the operad of symmetric groups. Comparing with the monoidal structure on the category of interval sets discussed in the author's previous work, we obtain a monoidal functor connecting these two categories. It will be shown that this actually induces a fully faithful functor on monoid objects and does not change the underlying sets, so we obtain a required embedding. The conditions for crossed interval groups to belong to the essential image will be proposed; namely in terms of commutativity of certain elements. As a result, it will turn out that the group operads form a reflective subcategory of the category of crossed interval groups. Finally, we will discuss monoid objects in symmetric monoidal category and Hochschild homologies on them.

研究动机与目标

• 统一两种编码运算子中对称性的框架：群运算子与交叉区间群。
• 在群运算子与一类特定交叉区间群之间建立范畴等价。
• 证明群运算子恰好对应于在对称群运算子上既为运算子化又驯服的交叉区间群。
• 构建一个从群运算子到交叉区间群的全忠实函子，实现可反射子范畴结构。
• 明确描述该嵌入的必要像，阐明在交叉区间群更广泛语境中定义群运算子的结构性条件。

提出的方法

• 在对称群运算子 $\mathfrak{S}$ 上的运算子范畴 $\mathbf{Op}^{/\mathfrak{S}}$ 的切片范畴上构造一个张量结构 $\rtimes$，使群结构可编码为单对象。
• 定义一个严格张量的函子 $\Psi: (\mathbf{Op}^{/\mathfrak{S}})^{*/} \to \mathbf{Set}^{/\mathfrak{S}}_{\nabla}$，在单对象范畴之间诱导出一个函子。
• 利用 $\Psi$ 的严格张量性，将群运算子的单对象结构提升至交叉区间群范畴，从而得到一个全忠实函子 $\widehat{\Psi}: \mathbf{GrpOp} \to \mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$。
• 通过识别两个条件来刻画 $\widehat{\Psi}$ 的必要像：运算子化（某些元素的交换性）与驯服性（有限性与相容性条件）。
• 应用伴随函子定理，证明 $\widehat{\Psi}$ 具有左伴随，从而确认 $\mathbf{GrpOp}$ 是 $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$ 的一个可反射子范畴。
• 利用函子 $\mathfrak{J}: \widetilde{\Delta} \to \nabla$ 的基变换，将霍赫希尔德链复形与所构造的交叉区间群关联起来，特别是在辫群运算子的情形下。

实验结果

研究问题

• RQ1 如何以全忠实且结构保持的方式将群运算子嵌入交叉区间群范畴？
• RQ2 一个关于 $\mathfrak{S}$ 的交叉区间群需要满足何种必要且充分条件，才能源于群运算子？
• RQ3 群运算子与一类特定交叉区间群之间是否存在范畴等价？若存在，其本质为何？
• RQ4 能否从关联的交叉区间群结构重构出 $\mathcal{G}$-对称张量范畴中一个幺半群的霍赫希尔德链复形？
• RQ5 增强的交叉单纯群 $\mathbfcal Z$ 在通过函子 $\mathfrak{J}^\natural\mathcal{G}$ 将群运算子与霍赫希尔德同调联系起来的过程中起何作用？

主要发现

• 群运算子范畴 $\mathbf{GrpOp}$ 通过函子 $\widehat{\Psi}$ 全忠实嵌入到关于 $\mathfrak{S}$ 的交叉区间群范畴 $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$ 中。
• 群运算子被表征为在 $\mathfrak{S}$ 上既为运算子化又驯服的交叉区间群，提供了结构性分类。
• 该嵌入 $\widehat{\Psi}$ 是全忠实的，并且具有左伴随，使得 $\mathbf{GrpOp}$ 成为 $\mathbf{CrsGrp}^{/\mathfrak{S}}_{\nabla}$ 的一个可反射子范畴。
• 当 $\mathcal{G}$ 为群运算子时，$\mathcal{G}$-对称张量范畴中一个幺半群的霍赫希尔德链复形同构于该抛射对象 $A^{\circledcirc}_\bullet$ 限制到 $\Delta^{\mathrm{op}}$ 所关联的链复形。
• 对于辫群运算子 $\mathcal{B}$，存在一个涉及 $\mathbfcal Z$、$\mathfrak{J}^\natural\mathcal{B}$ 与 $\mathfrak{J}^\natural\mathfrak{S}$ 的典范拉回正方形，确保了霍赫希尔德链构造的典范性。
• 从增强的交叉单纯群 $\mathbfcal Z$ 到 $\mathfrak{J}^\natural\mathcal{G}$ 的映射与增强交叉单纯群之间的映射之间存在双射，确保了在连通情形下霍赫希尔德复形是良定义且与选择无关的。