[论文解读] Derived Koszul duality and TQ-homology completion of structured ring spectra

Michael Ching, John E. Harper|arXiv (Cornell University)|Feb 24, 2015

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 6

一句话总结

本文通过证明：当限制在 $0$-连通的 ${\mathcal{O}}$-代数谱上时，通过 ${\mathsf{TQ}}$-同调建立的 ${\mathcal{O}}$-代数谱与 ${\mathsf{K}}$-余代数谱之间的伴随关系成为等价关系，从而确立了结构化环谱的导出 Koszul 对偶性。关键结果解决了 Francis-Gaitsgory 的一个猜想的 $0$-连通情形，并建立了 Quillen 与 Sullivan 的有理同伦论的谱类比。

ABSTRACT

Working in the context of symmetric spectra, we consider any higher algebraic structures that can be described as algebras over an operad O. We prove that the fundamental adjunction comparing O-algebra spectra with coalgebra spectra over the associated comonad K, via topological Quillen homology (or TQ-homology), can be turned into an equivalence of homotopy theories by replacing O-algebras with the full subcategory of 0-connected O-algebras. This resolves in the affirmative the 0-connected case of a conjecture of Francis-Gaitsgory. This derived Koszul duality result can be thought of as the spectral algebra analog of the fundamental work of Quillen and Sullivan on the rational homotopy theory of spaces, and the subsequent p-adic and integral work of Goerss and Mandell on cochains and homotopy type---the following are corollaries of our main result: (i) 0-connected O-algebra spectra are weakly equivalent if and only if their TQ-homology spectra are weakly equivalent as derived K-coalgebras, and (ii) if a K-coalgebra spectrum is 0-connected and cofibrant, then it comes from the TQ-homology spectrum of an O-algebra. We construct the spectral algebra analog of the unstable Adams spectral sequence that starts from the TQ-homology groups TQ_*(X) of an O-algebra X, and prove that it converges strongly to pi_*(X) when X is 0-connected.

研究动机与目标

• 解决 Francis-Gaitsgory 关于结构化环谱的导出 Koszul 对偶性的猜想的 $0$-连通情形。
• 在 $0$-连通的 ${\mathcal{O}}$-代数谱与其 ${\mathsf{TQ}}$-同调谱作为 ${\mathsf{K}}$-余代数的同伦理论之间建立等价关系。
• 构造一个谱类比的不稳定 Adams 族谱序列，使其对 $0$-连通的 ${\mathcal{O}}$-代数谱 $X$ 强收敛于 $\pi_*(X)$。
• 为通过 ${\mathsf{TQ}}$-同调理解完备化与同伦型提供同伦论框架，适用于结构化环谱。
• 将有理同伦论与 $p$-进同伦论中的基础结果（如 Quillen 与 Sullivan 理论）推广至 $E_n$-环谱及谱上的运算代数。

提出的方法

• 在对称谱的范畴内定义并研究运算 ${\mathcal{O}}$ 对应的 ${\mathcal{O}}$-代数谱。
• 将拓扑 Quillen 同调（${\mathsf{TQ}}$-同调）用作导出阿贝尔化函子，定义为不可约分商的总左导出函子。
• 通过 ${\mathcal{O}}$-代数与其 ${\mathsf{TQ}}$-同调谱之间的伴随关系，构造 ${\mathcal{O}}$-代数上的余单子 ${\mathsf{K}}$。
• 证明当限制在 $0$-连通的 ${\mathcal{O}}$-代数上时，${\mathcal{O}}$-代数与 ${\mathsf{K}}$-余代数之间的伴随关系成为 Quillen 等价。
• 利用总化与同伦极限技术分析余单纯化解，特别是 $\operatorname{Tot}$ 与 $\operatorname{holim}_{\Delta}$，以比较同伦型。
• 通过 Reedy 纤维化替换与 Quillen 等价性论证，证明从 ${\mathsf{TQ}}_*(X)$ 开始的不稳定 Adams 族谱序列对 $0$-连通 $X$ 强收敛于 $\pi_*(X)$。

实验结果

研究问题

• RQ1 通过 ${\mathsf{TQ}}$-同调建立的 ${\mathcal{O}}$-代数谱与 ${\mathsf{K}}$-余代数谱之间的伴随关系能否成为 Quillen 等价？
• RQ2 如 Francis-Gaitsgory 所猜想的那样，结构化环谱的导出 Koszul 对偶框架是否在 $0$-连通情形下成立？
• RQ3 能否构造一个谱类比的不稳定 Adams 族谱序列，使其对 $0$-连通的 ${\mathcal{O}}$-代数谱 $X$ 强收敛于 $\pi_*(X)$？
• RQ4 ${\mathsf{TQ}}$-同调谱在弱等价意义下，能在多大程度上分类 $0$-连通的 ${\mathcal{O}}$-代数谱？
• RQ5 ${\mathsf{TQ}}$-同调及其相关余单子 ${\mathsf{K}}$ 的同伦性质，如何反映 $E_n$-环谱与运算代数的代数拓扑结构？

主要发现

• 当限制在 $0$-连通的 ${\mathcal{O}}$-代数谱的全子范畴上时，${\mathcal{O}}$-代数谱与 ${\mathsf{K}}$-余代数谱之间的伴随关系成为 Quillen 等价。
• $0$-连通的 ${\mathcal{O}}$-代数谱 $X$ 与另一谱弱等价，当且仅当它们的 ${\mathsf{TQ}}$-同调谱作为导出 ${\mathsf{K}}$-余代数弱等价。
• 每个 $0$-连通且预纤维化的 ${\mathsf{K}}$-余代数谱都可表示为某个 ${\mathcal{O}}$-代数的 ${\mathsf{TQ}}$-同调谱。
• 从 ${\mathsf{TQ}}_*(X)$ 开始的不稳定 Adams 族谱序列对任意 $0$-连通的 ${\mathcal{O}}$-代数谱 $X$ 强收敛于 $\pi_*(X)$。
• ${\mathsf{TQ}}$-同调作为导出不可约分函子的构造，提供了 Quillen 有理同伦论与 Goerss–Mandell 的 $p$-进理论的谱类比。
• 证明依赖于高级同伦论技术，包括总化、Reedy 纤维化替换，以及单纯集与紧致豪斯多夫空间之间的 Quillen 等价性，以建立所需的弱等价。