[论文解读] Parametrized higher category theory and higher algebra: Exposé IV -- Stability with respect to an orbital $\infty$-category

Denis Nardin|arXiv (Cornell University)|Aug 27, 2016

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

一句话总结

本文利用轨道∞-范畴的框架，发展了关于G-范畴（即有限群G的轨道范畴上的预层）的稳定性理论。它通过G-交换幺半群，将G-谱表征为G-空间的G-稳定化，提供了G-谱作为从有限G-空间出发的G-线性函子的普遍接收者的普遍表征，并为Guillou与May关于正交G-谱的结果提供了另一种证明。

ABSTRACT

In this paper we develop a theory of stability for $G$-categories (presheaf of categories on the orbit category of $G$), where $G$ is a finite group. We give a description of Mackey functors as $G$-commutative monoids exploit it to characterize $G$-spectra as the $G$-stabilization of $G$-spaces. As an application of this we provide an alternative proof of a theorem by Guillou and May. The theory here is developed in the more general setting of orbital categories.

研究动机与目标

• 开发G-范畴的稳定性理论，将经典的稳定∞-范畴理论推广至等变设定。
• 通过G-交换幺半群的结构，将G-谱表征为G-空间的G-稳定化。
• 为G-谱的∞-范畴提供一个普遍性质，即其作为从有限G-空间出发的G-线性函子的普遍接收者。
• 通过轨道∞-范畴的新框架，为Guillou与May关于正交G-谱的定理提供另一种证明。

提出的方法

• 本文使用有限群G的轨道范畴OG，将G-范畴定义为OG上的∞-范畴预层。
• 引入了轨道∞-范畴T上的T-半加性与T-稳定性概念，推广了加性和稳定性。
• 通过轨道∞-范畴T的结构，将T-交换幺半群定义为Mackey函子的推广。
• 构造了从有限G-空间的∞-范畴到G-谱的∞-范畴的普遍G-线性函子，表明G-谱是G-空间的G-稳定化。
• 应用Schwede-Shipley定理，证明了从正交G-谱到等变G-谱的某个函子是等价的，其依据是轨道的纤维化悬架谱。
• 利用Goodwillie微积分框架，将从有限G-空间到G-空间的线性函子与G-谱的范畴联系起来。

实验结果

研究问题

• RQ1 如何利用G-范畴将经典∞-范畴中的稳定性概念推广至等变设定？
• RQ2 G-谱的∞-范畴在从有限G-空间出发的G-线性函子方面具有何种普遍性质？
• RQ3 在轨道∞-范畴的背景下，Mackey函子与T-交换幺半群之间有何关系？
• RQ4 能否通过涉及G-交换幺半群的普遍性质，将G-谱表征为G-空间的G-稳定化？
• RQ5 轨道∞-范畴理论如何使G-谱的Guillou-May定理获得新的证明？

主要发现

• G-谱的∞-范畴是有限G-空间的∞-范畴出发的G-线性函子的普遍接收者，确立了G-谱的普遍性质。
• G-谱被表征为G-空间的G-稳定化，其稳定化过程通过G-交换幺半群编码。
• 连接G-谱与G-空间的G-交换幺半群之间的伴随关系是等价的，当且仅当其底层幺半群为群状且谱为连接的。
• 从正交G-谱到等变G-谱的函子是等价的，因为它保持轨道的悬架谱并满足Schwede-Shipley条件。
• 该理论通过将G-谱实现为G-空间的G-稳定化，并利用G-线性函子的普遍性质，为Guillou-May定理提供了新证明。
• G-谱范畴在每个轨道上的纤维由轨道的悬架谱生成，且稳定化函子在这些子范畴上是全忠实的。