[论文解读] Stable $\infty$-Operads and the multiplicative Yoneda lemma

Thomas Nikolaus|arXiv (Cornell University)|Aug 9, 2016

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

一句话总结

本文从任意具有有限极限的 ∞-operad 构造出谱与交换群对象的稳定 ∞-operad，证明其在共自由稳定化意义下具有 universality。它建立 Yoneda 嵌入可通过精确的、弱对称张量的函子进入谱，且证明谱上的恒等函子是此类函子中的初始对象——确立了谱 ∞-范畴的基本普遍性质。

ABSTRACT

We construct for every $\infty$-operad $\mathcal{O}^\otimes$ with certain finite limits new $\infty$-operads of spectrum objects and of commutative group objects in $\mathcal{O}$. We show that these are the universal stable resp. additive $\infty$-operads obtained from $\mathcal{O}^\otimes$. We deduce that for a stably (resp. additively) symmetric monoidal $\infty$-category $\mathcal{C}$ the Yoneda embedding factors through the $\infty$-category of exact, contravariant functors from $\mathcal{C}$ to the $\infty$-category of spectra (resp. connective spectra) and admits a certain multiplicative refinement. As an application we prove that the identity functor Sp $ o$ Sp is initial among exact, lax symmetric monoidal endofunctors of the symmetric monoidal $\infty$-category Sp of spectra with smash product.

研究动机与目标

• 将稳定化的普遍性质推广至 ∞-operad，将 Lurie 的结果扩展到对称张量设置。
• 将具有有限极限的 ∞-operad 的共自由稳定 ∞-operad 定义为稳定 ∞-operad。
• 证明谱中的 Yoneda 嵌入可因式分解为精确的、弱对称张量的函子。
• 确立谱 ∞-范畴上的恒等函子在精确的、弱对称张量的自函子中具有初始性。
• 将构造推广至带基点和加法 ∞-operad，包括交换幺半群与群对象。

提出的方法

• 引入 ∞-operad 稳定性的概念，推广稳定对称张量范畴。
• 在具有有限极限的 ∞-operad C 中构造谱对象与交换群对象的 ∞-operad。
• 利用 Sp(C) 作为 C 上共自由稳定 ∞-operad 的普遍性质。
• 应用乘法 Yoneda 引理，证明在稳定对称张量 ∞-范畴上，函子 map(1,−) 具有弱对称张量结构。
• 利用函子 ∞-范畴上的 Day 卷积对称张量结构，识别初始函子。
• 利用 E∞-代数与弱对称张量函子之间的等价性，推导出张量单位的初始性。

实验结果

研究问题

• RQ1 当 C 是具有有限极限和对称张量结构的 ∞-operad 时，谱对象 ∞-范畴 Sp(C) 是否继承对称张量结构？
• RQ2 对于每个稳定 ∞-operad D，函子 Fun^Lex_lax(D, Sp(C)) → Fun^Lex_lax(D, C) 是否为等价？
• RQ3 带稳定对称张量结构的 ∞-范畴的 Yoneda 嵌入是否可因式分解为精确的、弱对称张量的函子至谱？
• RQ4 谱 ∞-范畴上的恒等函子是否在精确的、弱对称张量的自函子中具有初始性？
• RQ5 在弱对称张量函子的语境下，谱 ∞-范畴的普遍性质是什么？

主要发现

• 具有有限极限的 ∞-operad C 中的谱对象 ∞-范畴 Sp(C) 继承了规范的稳定 ∞-operad 结构。
• 对于每个稳定 ∞-operad D，函子 Fun^Lex_lax(D, Sp(C)) → Fun^Lex_lax(D, C) 是等价的，确立 Sp(C) 为 C 上的共自由稳定 ∞-operad。
• 函子 map(1,−): C^op → Sp 具有规范的弱对称张量提升，并在 Fun^Lex_lax(C^op, Sp) 中具有初始性。
• 函子 Sp → Sp 的恒等函子在 Sp 的精确的、弱对称张量的自函子中具有初始性。
• 函子 Ω^∞: Sp → S 在 Fun_lax(Sp, S) 中具有初始性，且 Σ^∞_+: S → Sp 在 Fun_lax(S, Sp) 中具有初始性。
• 在 Fun(C, D) 上的 Day 卷积对称张量结构中，张量单位在 E∞-代数中具有初始性，这蕴含了相应函子的初始性。