[论文解读] An algebraic model for rational naive-commutative equivariant ring spectra

David Barnes, J. P. C. Greenlees+1 more|arXiv (Cornell University)|Aug 29, 2017

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

一句话总结

本文建立了理性 $G$-谱的代数模型中的交换代数与理性天真交换环 $G$-谱之间的 Quillen 等价性——后者由非等变 $E_∞$ 操作族上的平凡 $G$-作用所控制。关键结果表明，理性 $G$-谱与其代数模型之间的对称张量 Quillen 等价性无法提升为交换代数之间的 Quillen 等价性，揭示了由于幂等分裂与 Bousfield 局域化下范数结构无法保持而导致的根本障碍。

ABSTRACT

Equipping a non-equivariant topological E_\infty operad with the trivial G-action gives an operad in G-spaces. The algebra structure encoded by this operad in G-spectra is characterised homotopically by having no non-trivial multiplicative norms. Algebras over this operad are called naive-commutative ring G-spectra. In this paper we let G be a finite group and we show that commutative algebras in the algebraic model for rational G-spectra model the rational naive-commutative ring G-spectra.

研究动机与目标

• 确定理性 $G$-谱的代数模型捕捉了等变环谱的哪一级对称性。
• 解决理性 $G$-谱与其代数模型之间的 Quillen 等价性是否能提升为交换代数之间 Quillen 等价性的问题。
• 分析 $N_{∞}$-操作族、Bousfield 局域化与幂等分裂下代数结构保持性之间的相互作用。
• 构建一个以理性等价为弱等价的、独立于 $N_{∞}$-操作族理论的交换环 $G$-谱上的模型结构。

提出的方法

• 利用各向同性组合学与左 Bousfield 局域化技术，将 $G$-谱及其代数模型的模型结构进行提升。
• 识别出 $N_{∞}$-操作族与局域化可交换的条件，确保局域化范畴中纤维化替换保持代数结构。
• 利用有理球谱的交换乘法，构造了理性 $G$-谱中 ${\mathsf{Comm}}$-代数上的一个由胞腔生成的模型结构。
• 使用等变同伦上积与 $\Sigma_n$-等变弱等价性，证明 $S_{\mathbb{Q}}^{\wedge n}/\Sigma_n \to S_{\mathbb{Q}}$ 是 $G$-谱的弱等价。
• 应用 Barratt-Priddy-Quillen 定理与普遍空间 $E_G\Sigma_n$，将对称幂与同伦轨道联系起来，建立有理等价性。
• 依赖于理性 $G$-谱的代数模型通过完全幂等分裂与左 Bousfield 局域化构造而成，而这些过程并不保持范数结构这一事实。

实验结果

研究问题

• RQ1 理性 $G$-谱与其代数模型之间的对称张量 Quillen 等价性是否能提升为交换代数之间的 Quillen 等价性？
• RQ2 理性 $G$-谱的代数模型捕捉了等变环谱的哪一级对称性？
• RQ3 能否构建一个以理性等价为弱等价的、独立于 $N_{∞}$-操作族结构的交换环 $G$-谱上的模型结构？
• RQ4 Bousfield 局域化如何与 $N_{∞}$-操作族及有理情形下 $\mathcal{O}$-代数的结构相互作用？

主要发现

• 理性 $G$-谱的代数模型中的交换代数与理性天真交换环 $G$-谱 Quillen 等价，即那些不具有非平凡乘法范数的谱。
• 理性 $G$-谱与其代数模型之间的 Quillen 等价性无法提升为 ${\mathsf{Comm}}$-代数之间的 Quillen 等价性，表明在等变设定下，对称张量函子无法保持交换幺半群。
• 代数模型未捕捉更高阶的交换结构（例如具有范数的结构），因为幂等分裂与 Bousfield 局域化不保持范数数据。
• 在理性 $G$-谱的 ${\mathsf{Comm}}$-代数上存在一个由胞腔生成的模型结构，其弱等价定义为理性等价，该结构通过有理球谱的交换乘法构造而成。
• 在局域化范畴 $L_E G\text{-}\mathrm{Sp}$ 中，纤维化替换函子在 $E$ 与 $\mathcal{O}$ 满足适当条件时保持 $\mathcal{O}$-代数，从而实现模型结构的提升。
• 该结果为通过 $E_∞^1$-环谱建模理性 $SO(2)$-等变椭圆上同调奠定了基础，使得相关模范畴的代数-几何描述成为可能。