[论文解读] What precisely are $E_{\infty}$ ring spaces and $E_{\infty}$ ring spectra?

J. P. May|ArXiv.org|Mar 16, 2009

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

一句话总结

本文对 $E_{u}$ 环空间和 $E_{u}$ 环谱提供了全面且现代化的阐述，澄清了术语和定义中长期存在的模糊之处。它建立了经典构造与现代谱的对称张量范畴之间的精确关系，证明了典范的 $E_{u}$ 操作族 $(\scr{C}, \scr{L})$ 是该理论的基础，并证明当 $X$ 连通时 $\Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ 是一个同伦等价，从而将无限环空间理论与环谱理论联系起来。

ABSTRACT

E infinity ring spectra were defined in 1972, but the term has since acquired several alternative meanings. The same is true of several related terms. The new formulations are not always known to be equivalent to the old ones and even when they are, the notion of "equivalence" needs discussion: Quillen equivalent categories can be quite seriously inequivalent. Part of the confusion stems from a gap in the modern resurgence of interest in E infinity structures. E infinity ring spaces were also defined in 1972 and have never been redefined. They were central to the early applications and they tie in implicitly to modern applications. We summarize the relationships between the old notions and various new ones, explaining what is and is not known. We take the opportunity to rework and modernize many of the early results. New proofs and perspectives are sprinkled throughout.

研究动机与目标

• 解决 $E_{\infty}$ 环空间与 $E_{\infty}$ 环谱的定义与等价关系中长期存在的模糊问题，这些概念随着时间推移已衍生出多种、有时不等价的含义。
• 利用范畴论与操作理论工具，重新构建并现代化无限环空间理论的基础结果，特别是加法与乘法无限环空间机器。
• 阐明典范 $E_{\infty}$ 操作族 $(\scr{C}, \scr{L})$ 的作用，其中 $\scr{C}$ 为施泰纳操作族，$\scr{L}$ 为线性等距操作族，用于定义 $E_{\infty}$ 环结构。
• 证明现代谱范畴之间的奎伦等价并不保持空间层面的结构，特别是 $E_{\infty}$ 环空间与 $E_{\infty}$ 环谱之间的联系，因此必须对基础等价关系进行仔细重新审视。
• 确立当 $X$ 连通时，映射 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ 是一个同伦等价，从而确认了无限环空间机器与谱构造 $\mathbb{E}$ 之间的一个关键联系。

提出的方法

• 使用典范的 $E_{\infty}$ 操作族对 $(\scr{C}, \scr{L})$，其中 $\scr{C}$ 为施泰纳操作族，$\scr{L}$ 为线性等距操作族，将 $E_{\infty}$ 环空间定义为一对操作族上的代数。
• 应用单子形式化方法，将 $E_{\infty}$ 环空间与 $E_{\infty}$ 环谱重新表达为相关单子上的代数，从而为比较提供范畴论框架。
• 通过 bar 构造 $B(\Sigma^\infty, C, \Omega X)$ 应用无限环空间机器，以实现谱 $\mathbb{E}X$ 并分析其 $C$-作用。
• 构造一个 $C$-函子之间的自然变换 $\chi: \Sigma\Sigma^\infty \to \Sigma^\infty\Sigma$，并证明其自然性与单子作用的相容性，从而确立关键同构。
• 利用图表追踪与自然性，验证复合映射 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ 是一个良定义的谱映射，且与 $C$-作用相容。
• 应用 $\scr{O}[\scr{T}]$ 中 $\eta: G \to \Omega BG$ 的群完备化性质，证明 $\mathbb{E}G$、$\mathbb{E}\Omega BG$ 与 $\Omega\mathbb{E}BG$ 是自然等价的谱。

实验结果

研究问题

• RQ1 现代 $E_{\infty}$ 环谱的各种表述是否与 1972 年原始定义等价，特别是是否保持与 $E_{\infty}$ 环空间的联系？
• RQ2 现代谱范畴之间的奎伦等价在多大程度上保持了 $E_{\infty}$ 环空间与 $E_{\infty}$ 环谱之间的同伦论关系？
• RQ3 当 $X$ 连通时，映射 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ 是否为同伦等价？这对无限环空间机器意味着什么？
• RQ4 典范操作族 $\scr{C}$（施泰纳）与 $\scr{L}$（线性等距）如何相互作用以定义 $E_{\infty}$ 环空间？为何这对操作族是本质的？
• RQ5 能否证明通过 bar 构造定义的 $\mathbb{E}X$ 与悬停函子 $\Sigma$ 可交换，且在保持 $C$-作用的同时产生自然等价？

主要发现

• 当 $X$ 连通时，映射 $\omega: \Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ 是谱的自然同构，确认了无限环空间机器中一个关键的结构性等价。
• 典范的 $E_{\infty}$ 操作族对 $(\scr{C}, \scr{L})$，其中 $\scr{C}$ 为施泰纳操作族，$\scr{L}$ 为线性等距操作族，为定义 $E_{\infty}$ 环空间提供了正确框架，且在此语境下，并非所有 $E_{\infty}$ 操作族都是等价的。
• 通过 bar 复形 $B(\Sigma^\infty, C, X)$ 构造的 $\mathbb{E}X$ 与 $C$-作用相容，且映射 $\chi: \Sigma\Sigma^\infty \to \Sigma^\infty\Sigma$ 是 $C$-函子之间的自然同构。
• 在 $\scr{O}[\scr{T}]$ 中，群完备化 $\eta: G \to \Omega BG$ 诱导出 $\mathbb{E}G$、$\mathbb{E}\Omega BG$ 与 $\Omega\mathbb{E}BG$ 之间的自然等价，表明 $\mathbb{E}_{1}G \simeq BG$ 作为 $\scr{O}$-空间。
• 通过复合映射 $\Sigma\mathbb{E}\Omega X \cong B(\Sigma^\infty\Sigma, C, \Omega X) \to B(\Sigma^\infty\Sigma, \Omega C\Sigma, \Omega X) \to \mathbb{E}X$ 建立了 $\Sigma\mathbb{E}\Omega X \to \mathbb{E}X$ 的等价性，其相容性通过图表追踪得以验证。
• 本文证明了现代谱范畴之间的奎伦等价并不保持连接 $E_{\infty}$ 环空间与 $E_{\infty}$ 环谱的空间层面结构，因此必须对定义进行直接比较。