[论文解读] On the Goodwillie derivatives of the identity in structured ring spectra

Duncan A. Clark|arXiv (Cornell University)|Apr 6, 2020

Homotopy and Cohomology in Algebraic Topology参考文献 44被引用 5

一句话总结

本文在谱上的约化操作符 𝒪-代数范畴中，为恒等函子的Goodwillie导数构造了一个高度同伦相干的操作符结构。证明了这些导数作为高度同伦相干操作符，与 𝒪 本身弱等价，从而解决了Arone和Ching的猜想。该构造使用Bousfield-Kan余单纯化解和强笛卡尔估计，将导数与余单纯图的总化联系起来。

ABSTRACT

The aim of this paper is three-fold: (i) we construct a naturally occurring highly homotopy coherent operad structure on the derivatives of the identity functor on structured ring spectra which can be described as algebras over an operad $\mathcal{O}$ in spectra, (ii) we prove that every connected $\mathcal{O}$-algebra has a naturally occurring left action of the derivatives of the identity, and (iii) we show that there is a naturally occurring weak equivalence of highly homotopy coherent operads between the derivatives of the identity on $\mathcal{O}$-algebras and the operad $\mathcal{O}$. Along the way, we introduce the notion of $\mathbf{N}$-colored operads with levels which -- by construction -- provides a precise algebraic framework for working with and comparing highly homotopy coherent operads, operads, and their algebras.

研究动机与目标

• 在 𝒪-代数范畴中，为恒等函子的Goodwillie导数构造一个自然的、高度同伦相干的操作符结构。
• 证明每个连通 𝒪-代数自然地具有由这些导数作用的左作用。
• 建立恒等函子的导数与原始操作符 𝒪 作为高度同伦相干操作符之间的弱等价关系。
• 引入带有层级的 N-颜色操作符作为比较同伦相干操作符及其代数的框架。

提出的方法

• 通过 𝒪-代数的稳定化伴随函子对 (Q, U)，将恒等函子替换为Bousfield-Kan余单纯化解。
• 利用Blomquist以及Ching-Harper的强笛卡尔估计，将导数表示为余单纯图的同伦极限。
• 构造一个对称序列的余单纯图，其总化模型化了导数。
• 通过从 𝒪 构造的余单纯操作符的总化，定义一个高度同伦相干操作符结构。
• 通过弱等价的Zigzag路径，证明余单纯图的总化与 𝒪 弱等价。
• 引入带有层级的 N-颜色操作符，以形式化同伦相干操作符、操作符及其代数之间的比较。

实验结果

研究问题

• RQ1 能否为 𝒪-代数上恒等函子的Goodwillie导数赋予一个自然的、高度同伦相干的操作符结构？
• RQ2 作为高度同伦相干操作符，恒等函子的导数与原始操作符 𝒪 之间是否存在弱等价？
• RQ3 如何定义恒等函子的导数对连通 𝒪-代数的左作用？
• RQ4 何种代数框架可实现对高度同伦相干操作符及其代数的精确比较？
• RQ5 能否将0连通 𝒪-代数的TQ-完备化描述为恒等函子导数上的代数？

主要发现

• 𝒪-代数上恒等函子的导数具有自然的、高度同伦相干的操作符结构。
• 每个连通 𝒪-代数自然地具有由恒等函子导数作用的左作用。
• 作为高度同伦相干操作符，恒等函子的导数与原始操作符 𝒪 弱等价。
• 该等价关系通过从操作符 𝒪 及其化解构造的余单纯图的总化建立。
• 任何0连通 𝒪-代数的TQ-完备化等价于恒等函子导数上的代数。
• 带有层级的 N-颜色操作符框架为精确比较同伦相干结构提供了代数设定。