[论文解读] Iterated delooping and desuspension of structured ring spectra

Jacobson R. Blomquist|arXiv (Cornell University)|Oct 28, 2019

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

一句话总结

本文通过同伦复合余单子和单子，建立了结构化环谱与其迭代悬垂/去悬垂构造之间的导出等价性。证明了对 0-连通的 $Ο$-代数和关联余单子上的 $r$-连通余代数，关于迭代悬垂函子的完备化会给出导出等价性；对偶地，通过迭代环函子的余完备化会在 $r$-连通的 $Ο$-代数和环-悬垂单子上的 0-连通代数之间给出导出等价性，使用了对称谱中的精细同伦代数方法。

ABSTRACT

We study completion with respect to the iterated suspension functor on $\mathcal{O}$-algebras, where $\mathcal{O}$ is a reduced operad in symmetric spectra. This completion is the unit of a derived adjunction comparing $\mathcal{O}$-algebras with coalgebras over the associated iterated suspension-loop homotopical comonad via the iterated suspension functor. We prove that this derived adjunction becomes a derived equivalence when restricted to 0-connected $\mathcal{O}$-algebras and $r$-connected $ ildeΣ^r ildeΩ^r$-coalgebras. We also consider the dual picture, using iterated loops to build a cocompletion map from algebras over the iterated loop-suspension homotopical monad to $\mathcal{O}$-algebras. This is the counit of a derived adjunction, which we prove is a derived equivalence when restricting to $r$-connected $\mathcal{O}$-algebras and $0$-connected $ ildeΩ^r ildeΣ^r$-algebras.

研究动机与目标

• 理解结构化环谱上的迭代悬垂与去悬垂运算如何通过完备化与余完备化与同伦类型相关联。
• 在同伦设定下，建立 $Ο$-代数与迭代悬垂-环函子上的余代数（或代数）之间的导出等价性。
• 将经典结果如弗罗本纽斯悬垂定理和博斯菲尔德-卡恩完备化推广到对称谱中的 $Ο$-代数语境。
• 通过纤维化/可换替换和 bar 构造，建立适当的同伦框架，以确保导出伴随关系表现良好。

提出的方法

• 使用迭代悬垂函子 $σ^r = σ^r C$ 和环函子 $τ^r = τ^r F$，配合纤维化与可换替换，以确保其具有同伦意义。
• 通过完备化，在 $Ο$-代数与迭代悬垂-环复合余单子上的余代数之间构造导出伴随。
• 应用类似 cobar 的构造来建模代数的展开，确保在同伦设定下具有适当的（共）bar 结构。
• 在 $Ο$-代数上使用正平坦稳定模型结构来定义同伦理论，并从映射空间构造一个拓扑 $A_∞$-范畴。
• 使用高阶布莱克尔斯-马西定理和连通性估计，证明展开中立方体的笛卡尔性，从而确保完备化过程的收敛性。
• 通过映射空间的路径分支定义 $Ο$-代数的同伦范畴，并证明一个映射是同构当且仅当其底层映射是弱同伦等价。

实验结果

研究问题

• RQ1 在何种条件下，关于迭代悬垂函子的完备化会诱导关联余单子上的 $Ο$-代数与余代数之间的导出等价性？
• RQ2 对偶过程——通过迭代环函子的余完备化——如何与 $Ο$-代数的同伦理论相关联？
• RQ3 哪些连通性条件可确保迭代悬垂或环映射足够高连通，从而产生导出等价性？
• RQ4 经典弗罗本纽斯悬垂定理能否推广到 $Ο$-代数语境下的结构化环谱？
• RQ5 在 $Ο$-代数的导出范畴中，同伦 bar 构造与（共）代数结构如何表现？

主要发现

• 当限制在 0-连通的 $Ο$-代数和 $r$-连通的 $σ^r τ^r$-余代数时，$Ο$-代数与 $σ^r τ^r$-余代数之间的导出伴随关系成为导出等价性。
• 对偶的导出伴随关系——通过迭代环-悬垂单子的余完备化——在 $r$-连通的 $Ο$-代数与 0-连通的 $τ^r σ^r$-代数之间诱导出导出等价性。
• 对偶弗罗本纽斯映射 $F\tilde{\Sigma}^r \tilde{\Omega}^r X \to FX$ 的连通性为 $2k+3-r$，其中 $X$ 是 $k$-连通的，这为收敛性提供了关键估计。
• 本文证明了结构化环谱的高阶胡雷维茨定理：若一个 $n$-立方体是 $({\rm id}+1)(k+1)$-笛卡尔的，则其通过 $UQ$ 的完备化也是 $({\rm id}+1)(k+1)$-笛卡尔的。
• 在适当的连通性假设下，通过 $UQ$ 的完备化过程保持笛卡尔性，其证明依赖于高阶布莱克尔斯-马西定理和共笛卡尔性估计。
• 在同伦范畴中，一个导出 $Ο$-代数映射是同构当且仅当其底层映射 $CA \to A'$ 是弱同伦等价，从而将代数结构与同伦等价联系起来。