[论文解读] Combinatorial homotopy theory for operads

Jovana Obradović|arXiv (Cornell University)|Jun 14, 2019

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

一句话总结

本文通过将超图多面体作为运算的底层空间，为编码非对称操作族的彩色操作族 $\mathcal{O}$ 提供了其极小模型 $\mathcal{O}_\infty$ 的组合表征。该工作通过胞腔剖分推广了关联多面体的 $A_\infty$-操作族结构，并将构造扩展至 $W$-构造及非对称循环操作族 $\mathcal{C}$ 的极小模型，为强同伦代数提供了显式且具有几何意义的解析解。

ABSTRACT

We introduce an explicit combinatorial characterization of the minimal model ${\cal O}_{\infty}$ of the coloured operad ${\cal O}$ encoding non-symmetric operads. In our description of ${\cal O}_{\infty}$, the spaces of operations are defined in terms of hypergraph polytopes and the composition structure generalizes the one of the $A_{\infty}$-operad. As further generalizations of this construction, we present a combinatorial description of the $W$-construction applied on ${\cal O}$, as well as of the minimal model of the coloured operad ${\cal C}$ encoding non-symmetric cyclic operads.

研究动机与目标

• 为编码非对称操作族的彩色操作族 $\mathcal{O}$ 提供其极小模型 $\mathcal{O}_\infty$ 的显式组合描述。
• 通过将操作族结构实现为根树导出的超图多面体，特别是操作族多面体，推广 $A_\infty$-操作族结构。
• 通过操作族多面体的立方体剖分，构造 $\mathcal{O}$ 的组合 $W$-构造（Boardman-Vogt 解析）。
• 将该框架扩展至非对称循环操作族 $\mathcal{C}$，定义其极小模型 $\mathcal{C}_\infty$，并在关系中保持循环对称性。

提出的方法

• 通过与根树的边图相关联的超图多面体构造极小模型 $\mathcal{O}_\infty$，其中每个多面体代表一个运算空间。
• 在 $\mathcal{O}_\infty$ 中，复合结构推广了 Stasheff 关联多面体构造，运算由超图构造与树数据索引。
• $\mathcal{O}$ 上的 $W$-构造通过操作族多面体的立方体剖分实现，编码同伦相干的复合。
• 对于循环操作族，通过引入带有循环序 $\tau$ 的循环操作族树，并在循环对称性下定义等价类，对构造进行调整。
• 微分 $d_{\mathcal{O}_\infty}$ 定义为对构造的顶点分裂，保持底层树与超图结构。
• $\mathcal{C}_\infty$ 的极小模型被构造为在四元组 $({\cal T}, \sigma, \tau, C)$ 的等价类上的自由操作族，复合通过树嫁接与构造合并定义。

实验结果

研究问题

• RQ1 如何利用组合与几何数据显式描述编码非对称操作族的运算族 $\mathcal{O}$ 的极小模型 $\mathcal{O}_\infty$？
• RQ2 能否通过超图多面体的立方体剖分，组合地实现 $\mathcal{O}$ 上的 $W$-构造？
• RQ3 如何将极小模型的概念扩展至非对称循环操作族，同时在关系中保持循环对称性？
• RQ4 超图多面体——特别是根树导出的操作族多面体——在编码操作族的高阶同伦结构中起什么作用？
• RQ5 能否证明所得的极小模型与原始操作族之间存在拟同构关系，同时保持极小微分结构？

主要发现

• 极小模型 $\mathcal{O}_\infty$ 被显式实现为一个微分几何操作族，其运算由根树边图上的超图构造索引，复合结构推广了关联多面体结构。
• $\mathcal{O}$ 上的 $W$-构造被组合地描述为操作族多面体的立方体剖分，为 $\mathcal{O}$ 提供了解析。
• 循环操作族 $\mathcal{C}$ 的极小模型 $\mathcal{C}_\infty$ 被构造为在带有超图构造的循环操作族树的等价类上的自由操作族，保持了循环对称性。
• $d_{\mathcal{C}_\infty}$ 通过分裂构造的顶点作用，将空构造映射为零，确保了极小性。
• 证明了操作族 $\mathcal{C}_\infty$ 是 $\mathcal{C}$ 的极小模型，其微分仅支持在可分解元素上。
• 该构造确立了 $\mathcal{C}_\infty$ 为严格无穷操作族，其几何与组合基础根植于超图多面体。