[论文解读] Permutative G-categories in equivariant infinite loop space theory

Bertrand Guillou, J. P. May|arXiv (Cornell University)|Jul 14, 2012

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

一句话总结

本文引入了真正的置换 G-范畴和 E∞ G-范畴作为代数结构，用作同伦论中等变无限循环空间机器的输入。它确立了这些结构在证明等变 Barratt-Priddy-Quillen 定理中的作用，并通过范畴论方法给出了悬停 G-谱的 tom Dieck 分裂定理的新证明，其应用涉及等变代数 K-理论。

ABSTRACT

We explain what genuine permutative G-categories are and, more generally, what E infinity G-categories are. We give examples showing how they arise, and we show that they serve as input for an equivariant infinite loop space machine. As a first application, we prove the equivariant Barratt-Priddy-Quillen theorem as a statement about genuine G-spectra and use it to give a new, categorical, proof of the tom Dieck splitting theorem for suspension G-spectra. Other examples are geared towards equivariant algebraic K-theory.

研究动机与目标

• 定义并表征真正的置换 G-范畴和 E∞ G-范畴，作为适合等变稳定同伦论的代数结构。
• 确立这些范畴作为等变无限循环空间机器的输入。
• 将该框架应用于证明在真实 G-谱背景下的等变 Barratt-Priddy-Quillen 定理。
• 为悬停 G-谱的 tom Dieck 分裂定理提供一种新的范畴论证明。
• 构建与等变代数 K-理论相关的例子。

提出的方法

• 将真正的置换 G-范畴定义为具有相容 G-作用和置换结构的对称张量范畴。
• 引入 E∞ G-范畴作为对称张量结构的推广，以编码 G-作用和乘法结构中的更高一致性。
• 使用等变无限循环空间机器，从这些范畴构造真实 G-谱。
• 在等变设定下应用 Barratt-Priddy-Quillen 定理，将轨道范畴的群完备化与真实 G-谱联系起来。
• 通过范畴结构和悬停 G-谱的性质推导 tom Dieck 分裂定理。
• 从等变代数 K-理论构造例子，以说明该框架的适用性。

实验结果

研究问题

• RQ1 如何定义置换 G-范畴，以捕捉等变同伦论中真正的 G-对称性和乘法一致性？
• RQ2 E∞ G-范畴在等变无限循环空间机器中扮演何种精确角色？
• RQ3 等变 Barratt-Priddy-Quillen 定理在真实 G-谱的背景下如何体现？
• RQ4 能否从置换 G-范畴的结构出发，通过范畴论方法推导出 tom Dieck 分裂定理？
• RQ5 该框架对等变代数 K-理论有何影响？

主要发现

• 真正的置换 G-范畴为通过等变无限循环空间机器构造真实 G-谱提供了范畴论框架。
• 等变 Barratt-Priddy-Quillen 定理被确立为关于真实 G-谱的陈述，将轨道范畴的群完备化与悬停谱联系起来。
• 从 E∞ G-范畴的结构及其与悬停 G-谱的相互作用出发，导出了 tom Dieck 分裂定理的新范畴论证明。
• 该框架产生了与等变代数 K-理论相关的具体例子，展示了其在算术和几何背景下的实用性。
• E∞ G-范畴被证明编码了稳定等变同伦论所必需的更高的一致性，推广了经典无限循环空间理论。