[论文解读] Correction to: HZ-algebra spectra are differential graded algebras

Brooke Shipley|ArXiv.org|Aug 9, 2007

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

一句话总结

此更正确认了作者2007年论文中的函子 $ D $ 是对称单峰的，从而验证了定理1.2原始证明的正确性，该定理表明：在 $ \mathbb{Q} $ 上的交换 $ H\mathbb{Q} $-代数谱与交换微分分次代数（DGAs）弱等价。更正解决了因混淆链复形的上积与空间的同伦上积而引起的困惑，确认了原始结果的正确性，并通过修改后的函子 $ \overline{\Theta} $ 提供了一个非自然的弱等价。

ABSTRACT

This correction article is actually unnecessary. The proof of Theorem 1.2, concerning commutative HQ-algebra spectra and commutative differential graded algebras, in the author's paper [American Journal of Mathematics vol. 129 (2007) 351-379 (arxiv:math/0209215v4)] is correct as originally stated. Neil Strickland carefully proved that D is symmetric monoidal; so Proposition 4.7 and hence also Theorem 1.2 hold as stated. Strickland's proof will appear in joint work with Stefan Schwede; see related work in Strickland's [arxiv:0810.1747]. Note here D is defined as a colimit of chain complexes; in contrast, non-symmetric monoidal functors analogous to D are defined as homotopy colimits of spaces in previous work of the author.

研究动机与目标

• 解决原始定理1.2证明中关于函子 $ D $ 的对称单峰性所产生的混淆。
• 确认原始证明中关于交换 $ H\mathbb{Q} $-代数谱与交换微分分次代数（DGAs）之间等价性的结论是正确的。
• 澄清 $ D $ 定义为链复形的上积（对称单峰）与 $ D $ 定义为空间的同伦上积（非对称单峰）之间的区别，该混淆是初始困惑的根源。
• 通过使用经修改的函子 $ \overline{\Theta} $ 提供一种替代的、非自然的弱等价陈述，这些函子通过可滤和纤维化替换函子构造而成。
• 在 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 中的交换幺半元范畴上建立模型范畴结构，其中弱等价与纤维化由其底层谱检测。

提出的方法

• 重申尼尔·斯特里克兰的证明确立了 $ D $ 是对称单峰的，从而验证了定理1.2中的原始论证。
• 将定义为链复形上积的函子 $ D $（对称单峰）与早期定义为空间同伦上积的 $ D $（非对称单峰）进行比较，从而解决混淆的根源。
• 通过 $ \overline{\Theta} = \operatorname{Ev}_0 fi\phi^*NZc $ 构造一个非自然的弱等价，其中 $ c $ 和 $ f $ 分别为可滤和纤维化替换函子。
• 利用 $ \operatorname{Ev}_0 $、$ i $、$ \phi^*N $ 和 $ Z $ 的对称单峰性，确保复合函子 $ \overline{\Theta} $ 行为良好，尽管由于 $ c $ 和 $ f $ 的存在，其并非自然地对称单峰。
• 应用 [ScSh, 2.3] 中的提升性质，通过自由交换幺半元函子 $ \mathbb{P} $ 和生成的胞腔映射 $ I $、$ J $，在 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 中的交换幺半元范畴上构造模型范畴结构。
• 通过引理4证明 $ \mathbb{P}(J) $-映射是稳定等价，该引理表明轨道构造可被同伦轨道替换而不改变同伦类型，并利用 [Ma] 中的过滤技术建立推出稳定性。

实验结果

研究问题

• RQ1 在定理1.2的证明中，定义为链复形上积的函子 $ D $ 是否是对称单峰的？
• RQ2 尽管作者最初对 $ D $ 的单峰性存在混淆，但希普利2007年论文中定理1.2的原始证明是否仍然有效？
• RQ3 对于任意交换 $ H\mathbb{Q} $-代数谱 $ C $，是否可以构造 $ \overline{\Theta}C $ 与一个交换微分分次 $ \mathbb{Q} $-代数之间的非自然弱等价？
• RQ4 在 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 中的交换幺半元范畴上是否存在一个模型范畴结构，其中弱等价与纤维化由其底层谱检测？
• RQ5 映射 $ \mathbb{P}(J) $ 的推出是否保持稳定等价与层级胞腔映射？

主要发现

• 原始定理1.2的证明是正确的：$ D $ 是对称单峰的，这一点由尼尔·斯特里克兰的证明确认，因此主要结果如原文所述成立。
• 混淆源于将 $ D $ 定义为链复形的上积（对称单峰）与 $ D $ 定义为空间同伦上积（非对称单峰）相混淆，这一区别现已澄清。
• 通过利用对称单峰函子和纤维化替换构造 $ \overline{\Theta}^\prime $ 与 $ \overline{\Theta}^{\prime\prime} $，已证明 $ \overline{\Theta}C $ 与一个交换微分分次 $ \mathbb{Q} $-代数之间存在非自然弱等价。
• 通过 [ScSh, 2.3] 中的提升准则，在 $ Sp^\Sigma(\mathcal{C}h_\mathbb{Q}) $ 中的交换幺半元范畴上建立了模型范畴结构，其中弱等价与纤维化由其底层谱定义。
• 映射 $ \mathbb{P}(J) $ 的推出是稳定等价与层级胞腔映射，这一点通过引理5借助过滤技术，以及引理4关于轨道替换的结果得以证明。
• 映射 $ E\Sigma_n \otimes_{\Sigma_n} X^{(n)} \to X^{(n)}/\Sigma_n $ 是层级等价，且其在与 $ Y $ 的张量积上的诱导映射也是层级等价，从而确保了在对称群作用下的同伦不变性。