[论文解读] Tambara Functors and Commutative Ring Spectra

John Ullman|arXiv (Cornell University)|Apr 17, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用 15

一句话总结

本文证明了每个Tambara函子均可作为真实交换环谱的零阶等变同伦群出现，从而在同伦论中实现了对Tambara函子的构造。此外，本文还表明Eilenberg-MacLane交换环谱的同伦范畴与Tambara函子范畴等价，解决了同伦论中长期存在的一个问题，并揭示了当群非平凡时，通过拟对称张量函子构造此类谱的结构性限制。

ABSTRACT

It is well known that the zeroth stable homotopy group of a genuine equivariant commutative ring spectrum has multiplicative transfers (norms), making it into a Tambara functor. We prove here that all Tambara functors can be obtained in this way. In fact, we prove that the homotopy category of Eilenberg MacLane commutative ring spectra is equivalent to the category of Tambara functors. Several algebraic results on Tambara functors are derived as corollaries. Finally, we rule out the existence of a lax symmetric monoidal construction for Eilenberg MacLane spectra when the group is nontrivial.

研究动机与目标

• 确定所有Tambara函子是否均可作为真实交换环谱的零阶等变同伦群出现。
• 通过等变交换环谱建立Tambara函子的同伦论实现。
• 研究当群非平凡时，Eilenberg-MacLane谱是否存在拟对称张量函子构造。
• 阐明Tambara函子、Green函子与Mackey函子之间的代数关系。

提出的方法

• 通过生成元与关系在表示的Mackey函子上构造自由Tambara函子。
• 将有限G-集的悬垂谱上的自由交换环谱实现为自由Tambara函子的同伦类比。
• 使用同伦上积与交换环谱的并积来实现Tambara函子范畴中的余极限。
• 应用零阶Postnikov截面，将交换环谱之间的映射与Tambara函子之间的映射关联起来。
• 通过映射之间的双射对应，证明Eilenberg-MacLane交换环谱的同伦范畴与Tambara函子范畴等价。
• 使用障碍理论论证分析非平凡群时EM谱上拟对称张量结构的失败。

实验结果

研究问题

• RQ1 每个Tambara函子是否都能作为真实交换环谱的零阶等变同伦群实现？
• RQ2 Eilenberg-MacLane交换环谱的同伦范畴是否与Tambara函子范畴等价？
• RQ3 当群非平凡时，是否存在一个拟对称张量函子将Mackey函子映射到Eilenberg-MacLane谱？
• RQ4 Tambara函子上的范数与转移结构如何与导出 smash 积及自由交换环谱构造相关联？
• RQ5 在底层交换Green函子上，限制的左伴随与范数函子之间存在何种关系？

主要发现

• 每个Tambara函子均可作为真实交换环谱的零阶等变同伦群出现，正面回答了等变同伦论中的一个基础性问题。
• Eilenberg-MacLane交换环谱的同伦范畴与Tambara函子范畴等价，通过代数数据完全分类了此类谱。
• 对Mackey函子的导出自由交换环谱给出该Mackey函子上的自由Tambara函子，从而提供了自由Tambara函子的同伦构造。
• 从G-Tambara函子到H-Tambara函子的限制的左伴随在底层交换Green函子上与范数函子$N_H^G$一致。
• 当群非平凡时，不存在Eilenberg-MacLane谱的拟对称张量函子构造，因为此类构造将与某些Green函子上Tambara函子结构的非唯一性矛盾。
• 对于循环群$C_p$，在同一个底层交换Green函子上存在不可数多个不同的Tambara函子结构，表明范数结构不能由Green函子数据唯一确定。