[论文解读] A model for genuine equivariant commutative ring spectra away from the group order

Christian Wimmer|arXiv (Cornell University)|May 29, 2019

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

一句话总结

本文通过利用几何固定点和Hill-Hopkins-Ravenel构造中的范数映射，为有理数真正的等变交换环谱建立了代数模型。它表明，在将群阶乘以逆元后，真正 $G$-等变交换环谱的同伦理论等价于由有理 $W_G H$-模构成的图，这些图配备了额外的范数映射，从而为有理数理论提供了计算上可行且对称单体的描述。

ABSTRACT

We use geometric fixed points to describe the homotopy theory of genuine equivariant commutative ring spectra after inverting the group order. The main innovation is the use of the extra structure provided by the Hill-Hopkins-Ravenel norms in the form of additional norm maps on geometric fixed point diagrams, which turns out to be computationally managable.

研究动机与目标

• 为有理数真正等变交换环谱提供一种可计算且对称单体的代数模型。
• 将经典的有理数稳定同伦等价性扩展到具有完整交换环结构的真正等变设置中。
• 将Hill-Hopkins-Ravenel范数带来的额外乘法结构整合到几何固定点框架中。
• 在真正 $G$-等变交换环谱的模型范畴与带有范数数据的有理 $W_G H$-模图范畴之间建立Quillen等价性。
• 证明在群阶乘以逆元后，理论被简化为一种可管理的形式，同时保持了关键的乘法与等变结构。

提出的方法

• 使用几何固定点谱作为关键不变量，以在群阶乘以逆元后分解真正 $G$-谱的同伦理论。
• 利用Hill-Hopkins-Ravenel构造中的范数映射，为几何固定点图增添额外的乘法结构。
• 构建从真正 $G$-谱到以子群 $H \leq G$ 的共轭类为指标的有理 $W_G H$-模图的比较函子。
• 证明从正交 $G$-谱到有限集合的对称 $G$-谱的遗忘函子保持了单纯对象的同伦余极限，从而支持单纯方法的应用。
• 利用在对称 $G$-谱中单纯对象的几何实现保持弱等价性的事实，以正确计算同伦余极限。
• 在正交 $G$-环谱的交换范畴与单纯集中对称 $G$-环谱的交换范畴之间建立一个Quillen等价的来回链，从而支持图模型的构建。

实验结果

研究问题

• RQ1 有理数同伦理论中真正等变交换环谱能否通过几何固定点进行代数建模？
• RQ2 Hill-Hopkins-Ravenel构造中的范数映射如何在有理设置下细化几何固定点图？
• RQ3 真正 $G$-等变交换环谱的模型范畴与带有范数数据的有理 $W_G H$-模图范畴之间是否存在Quillen等价性？
• RQ4 在群阶乘以逆元后，是否能以一种使乘法结构简化为可计算且对称单体模型的方式，简化真正 $G$-谱的乘法结构？
• RQ5 在交换环谱范畴中，单纯对象的同伦余极限能否在底层谱范畴中正确计算？

主要发现

• 在群阶乘以逆元后，真正 $G$-等变交换环谱的同伦理论等价于以子群 $H \leq G$ 的共轭类为指标的有理 $W_G H$-模图范畴。
• 几何固定点函子在真正 $G$-谱的模型范畴与有理 $W_G H$-模范畴的积之间诱导出一个Quillen等价性。
• Hill-Hopkins-Ravenel构造中额外的范数映射为几何固定点图赋予了计算上可管理的乘法结构。
• 从正交 $G$-谱到对称 $G$-谱的单纯集的遗忘函子保持了单纯对象的同伦余极限，从而支持图计算。
• 在正交 $G$-环谱的交换范畴与单纯集中的对称 $G$-环谱的交换范畴之间存在一个Quillen等价的来回链，从而支持单纯模型。
• 在交换环谱中，单纯对象的实现正确计算了同伦余极限，且遗忘函子保持了这一结构。