[论文解读] An alternative approach to equivariant stable homotopy theory

Mark Hovey, David White|arXiv (Cornell University)|Dec 13, 2013

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

一句话总结

本文通过将 G-谱定义为具有连续 G-作用的正交谱，提出了一种简化且与宇宙无关的等变稳定同伦理论方法，避免了对特定 G-宇宙的依赖。它证明了通过 Bousfield 局化得到的标准稳定模型结构，可恢复 Mandell 和 May 的经典理论，表明对于任意宇宙 U，朴素 G-谱与 G_U-谱之间存在等价关系。

ABSTRACT

Building on the work of Martin Stolz, we develop the basics of equivariant stable homotopy theory starting from the simple idea that a G- spectrum should just be a spectrum with an action of G on it, in contrast to the usual approach in which the definition of a G-spectrum depends on a choice of universe.

研究动机与目标

• 通过将 G-谱定义为带有连续 G-作用的正交谱，重新构想等变稳定同伦理论，消除对特定 G-宇宙的依赖。
• 通过 Quillen 等价性，证明朴素 G-谱的范畴与任意 G-宇宙 U 下的 G_U-谱的范畴等价。
• 确立通过 Bousfield 局化从 U-层级模型结构获得的 G-谱上的标准稳定模型结构，与 Mandell-May 的稳定模型结构一致。
• 证明所得模型范畴满足关键同伦性质，如单峰公理、右固性以及好形对象的平坦性。
• 通过使用 Bousfield 局化而非稳定同构，简化 Stolz 的工作，使理论更具概念性、更直观易懂。

提出的方法

• 将 G-谱定义为带有紧李群 G 在其分量空间上连续作用的正交谱。
• 使用评估函子 Ev_V(X) = X(V) = X_n，其上 G-作用由表示 ρ: G → O(n) 导出，并利用其左伴随 F_V 将其与基于宇宙的谱联系起来。
• 在 G-谱上构造一个对称单幕的 U-层级模型结构，其中弱等价和纤维化在 G-空间 X(V) 上逐点检测，V ∈ U。
• 在映射 F_V S^V → S 上应用 Bousfield 局化（其伴随为 id: S^V → Ev_V F_0 S^0），确保与 S^V 的张量积成为 Quillen 等价。
• 通过函子 α 和 β，建立 G-谱上的 U-稳定模型结构与标准 G_U-谱模型结构之间的 Quillen 等价。
• 利用 Mandell-May 和 Elmendorf-May 的已知结果，验证所得模型结构满足单峰公理、右固性以及好形对象的平坦性。

实验结果

研究问题

• RQ1 能否通过将 G-谱定义为带有 G-作用的正交谱，而不固定 G-宇宙，来发展等变稳定同伦理论？
• RQ2 G-谱上的 U-层级模型结构与经典 G_U-谱上的稳定模型结构有何关系？
• RQ3 在映射 F_V S^V → S 上的 Bousfield 局化是否能恢复 G-谱上的标准稳定模型结构？
• RQ4 在 U-稳定模型结构中，关键同伦性质（如单峰公理、右固性、好形对象的平坦性）是否被保持？
• RQ5 所得理论是否与 Mandell-May 框架等价？是否简化了等变稳定同伦理论的基础设定？

主要发现

• G-谱可等价地定义为带有连续 G-作用的正交谱，且不依赖于任何特定宇宙的选择。
• 通过函子 α 和 β，朴素 G-谱的范畴与任意 G-宇宙 U 下的 G_U-谱的范畴之间存在 Quillen 等价。
• 通过在映射 F_V S^V → S 上进行 Bousfield 局化得到的 G-谱上的 U-稳定模型结构，与 Mandell-May 的稳定模型结构 Quillen 等价。
• U-稳定模型结构中的弱等价正是那些在所有闭子群 H ≤ G 的稳定同伦群 π_q^H(−) 上诱导同构的映射。
• 稳定纤维化是满足对所有 V, W ∈ U，图 X(V) → Ω^W X(V⊕W) 为同伦拉回的层级纤维化。
• U-稳定模型结构满足单峰公理，是右固的，且好形对象是平坦的，从而确保了单峰与模对象的良好理论。