[论文解读] Suspension spectra and higher stabilization

Jacobson R. Blomquist, John E. Harper|arXiv (Cornell University)|Dec 16, 2016

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

一句话总结

该论文证明了从 pointed spaces 到 spectra 的稳定化函子满足同伦下降性质，通过在稳定化后建立 1-连通 pointed spaces 与 1-连通 $;$-coalgebra spectra 之间的导出等价性，解决了 Tyler Lawson 关于迭代悬垂空间的长期猜想。通过引入一个更高阶的稳定化定理，该定理为由迭代稳定化映射产生的立方图提供了统一的 cartesian-ness 估计。

ABSTRACT

We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the stabilization analog of the Quillen-Sullivan theory main result that the rational chains (resp. cochains) functor participates in a derived equivalence with certain coalgebra (resp. algebra) complexes, after restriction to 1-connected spaces up to rational equivalence. In more detail, we prove that the stabilization of spaces functor participates in a derived equivalence with certain coalgebra spectra (where the stabilization construction naturally lands), after restriction to 1-connected spaces up to weak equivalence. This resolves in the affirmative the infinite case, involving stabilization and suspension spectra, of a question/conjecture posed by Tyler Lawson on (iterated) suspension spaces almost ten years ago. A key ingredient of our proof, of independent interest, is a higher stabilization theorem for spaces that provides strong estimates for the uniform cartesian-ness of certain cubical diagrams associated to n-fold iterations of the spaces-level stabilization map; this is the stabilization analog of Dundas' higher Hurewicz theorem.

研究动机与目标

• 建立经典稳定化函子 $\Sigma^\infty$ 从 pointed spaces 到 spectra 的同伦下降性质。
• 解决 Tyler Lawson 关于迭代悬垂空间无限情形的开放猜想及其与稳定化的关系。
• 证明 1-连通 pointed spaces 与 1-连通 $\tilde{\mathsf{K}}$-coalgebra spectra 之间的导出等价性，其中 $\tilde{\mathsf{K}} = \Sigma^\infty \tilde{\Omega}^\infty$。
• 为 $n$-重迭代空间层面稳定化映射所产生的立方图提供强而统一的 cartesian-ness 估计。
• 建立一个类似于 Dundas 的高阶 Hurewicz 定理的更高阶稳定化定理，适用于稳定化过程。

提出的方法

• 利用由 $({\Sigma}^\infty, \Omega^\infty)$ 伴随关系诱导的 pointed spaces 与 $\tilde{\mathsf{K}}$-coalgebra spectra 之间的导出伴随关系，其中 $\tilde{\mathsf{K}} = \Sigma^\infty \tilde{\Omega}^\infty$。
• 通过迭代稳定化映射使用余单纯化解析，构造空间的 $\tilde{\Omega}^\infty \Sigma^\infty$-完备化。
• 对余单纯图 $\mathfrak{C}(Y)$ 取同伦极限，以恢复谱上的 $\tilde{\mathsf{K}}$-coalgebra 结构。
• 利用伴随关系中的导出余单位与单位映射建立弱同伦等价，从而在 1-连通对象上证明导出等价性。
• 引入一个更高阶稳定化定理，对 $n$-重迭代稳定化图的 cartesian-ness 提供统一估计。
• 依赖对称谱上的内射稳定模型结构，以及导出函子 $\tilde{\Omega}^\infty$ 和 $\tilde{\mathsf{K}}$，以确保纤维性与稳定性。

实验结果

研究问题

• RQ1 稳定化函子 $\Sigma^\infty$ 是否在 1-连通 pointed spaces 上满足同伦下降？
• RQ2 1-连通 pointed spaces 的同伦范畴与 1-连通 $\tilde{\mathsf{K}}$-coalgebra spectra 的同伦范畴之间是否存在导出等价？
• RQ3 $\tilde{\Omega}^\infty \Sigma^\infty$-完备化是否将 1-连通空间恢复为弱同伦等价于原空间？
• RQ4 是否可以为由 $n$-重迭代稳定化映射产生的立方图建立统一的 cartesian-ness 估计？
• RQ5 稳定化函子在映射空间上是否在通过 $\tilde{\mathsf{K}}$-coalgebra 结构后诱导出弱同伦等价？

主要发现

• 稳定化函子 $\Sigma^\infty$ 在 1-连通 pointed spaces 的同伦范畴与 1-连通 $\tilde{\mathsf{K}}$-coalgebra spectra 的同伦范畴之间诱导出导出等价。
• 对于任意 1-连通 $\tilde{\mathsf{K}}$-coalgebra 谱 $Y$，导出余单位映射 $\Sigma^\infty \operatorname{holim}_\Delta \mathfrak{C}(Y) \xrightarrow{\simeq} Y$ 是弱同伦等价，确认了同伦本质满射性。
• 对于任意 1-连通 pointed space $X'$，导出单位映射 $X' \xrightarrow{\simeq} \operatorname{holim}_\Delta \mathfrak{C}(\Sigma^\infty X')$ 是弱同伦等价，表明 $\Sigma^\infty$ 在 1-连通空间上是同伦全忠实的。
• $\tilde{\Omega}^\infty \Sigma^\infty$-完备化的一个 1-连通空间 $X$ 弱同伦等价于 $\operatorname{holim}_\Delta \mathfrak{C}(\Sigma^\infty X)$，建立了自然的弱同伦等价 zigzag。
• 证明了一个更高阶稳定化定理，为 $n$-重迭代稳定化图的 cartesian-ness 提供了强而统一的估计，其形式类似于 Dundas 的高阶 Hurewicz 定理。
• 当 $X'$ 是 $\tilde{\Omega}^\infty \Sigma^\infty$-完备且纤维化时，自然映射 $\Sigma^\infty \colon \operatorname{Map}(X,X') \xrightarrow{\simeq} \operatorname{Map}_{\mathsf{coAlg}_{\tilde{\mathsf{K}}}}(\Sigma^\infty X, \Sigma^\infty X')$ 是弱同伦等价，确认了映射空间上的满射性。