[论文解读] Combinatorial $N_\infty$ operads

Jonathan E. Rubin|arXiv (Cornell University)|May 10, 2017

Homotopy and Cohomology in Algebraic Topology参考文献 23被引用 14

一句话总结

该论文通过证明$N_∞$ operads的同伦理论与离散operads的同伦理论等价，建立了$N_∞$ operads的组合分类，并为每个索引系统构造了自由和结合的实现，从而解决了Blumberg与Hill的猜想。关键结果是通过由图子群构建的离散且协纤维化operads，建立了索引系统与$N_∞$ operads之间的完全显式对应关系。

ABSTRACT

We prove that the homotopy theory of $N_\infty$ operads is equivalent to a homotopy theory of discrete operads, and we construct free and associative operadic realizations of every indexing system. This resolves a conjecture of Blumberg and Hill in the affirmative.

研究动机与目标

• 解决$N_\infty$ operads的同伦理论与离散operads的同伦理论等价的猜想。
• 为每个索引系统显式构造自由和结合的operadic实现。
• 为$N_∞$ operads提供一个组合模型，以捕捉所有等变同伦相干交换结构。
• 在同伦范畴中建立索引系统与$N_∞$ operads之间的完全且忠实的对应关系。

提出的方法

• 在图子群集合$\mathcal{T}$上构造自由$G$-operads$\mathbf{F}_{\mathcal{T}}$，这些operads是离散且协纤维化的。
• 使用乘积技巧证明$N_∞$ operads的同伦范畴与离散$G$-operads的同伦范畴等价。
• 定义一个映射$A: \textnormal{Ho}(N_\infty\textnormal{-}\mathbf{Op}^G) \to \mathbf{Ind}(G)$，将每个$N_∞$ operad映射到其关联的索引系统。
• 证明映射$A$是完全且忠实的，因此是范畴等价。
• 应用小对象构造和超限同伦极限，将终端operad$\mathbf{Com}$的$\mathcal{I}$-协纤维化替换实现为$N_∞$ operads。
• 通过单代数bar构造和单纯模型进行比较，证明其与现有$N_∞$ operads的等价性。

实验结果

研究问题

• RQ1 是否$N_\infty$ operads的同伦理论与离散operads的同伦理论等价？
• RQ2 每个索引系统是否都能通过自由或结合构造实现为$N_∞$ operad的索引系统？
• RQ3 Gutiérrez-White与Bonventre-Pereira的构造与本文构造的自由$N_\infty$ operads有何关系？
• RQ4 从$N_\infty$ operads到索引系统的映射在同伦范畴中是否完全且本质满射？
• RQ5 是否可以使用乘积技巧证明$N_\infty$ operads同伦范畴中的满射性？

主要发现

• $N_\infty$ operads的同伦理论与离散$G$-operads的同伦理论等价，为它们的分类奠定了组合基础。
• 每个索引系统$\mathcal{I}$都存在一个自由$N_\infty$ operad$\mathbf{F}_{\mathbf{O}(\mathcal{I})}$，它是终端operad$\mathbf{Com}$的$\mathcal{I}$-协纤维化替换。
• 从$N_\infty$ operads的同伦范畴到索引系统范畴的映射$A$是范畴等价。
• 自由$N_\infty$ operads$\mathbf{F}_{\mathbf{N}(\mathcal{I})}$和$\mathbf{F}_{\mathbf{O}(\mathcal{I})}$是$\mathcal{I}$-协纤维化的，并通过$\mathcal{I}$-无环纤维化映射到$\mathbf{Com}$。
• 通过协纤维化替换和bar构造技术，证明了Gutiérrez与White以及Bonventre与Pereira的构造与本文的自由$N_\infty$ operads等价。
• 分类证明仅依赖于$N_∞$ operads与离散$N$ operads之间的等价性，所有拓扑输入均简化为此核心等价。