[论文解读] Symmetric Powers and Norms of Mackey Functors

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

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

一句话总结

本文利用等变稳定同伦论，对Mackey函子上的导出对称幂和范数构造给出了代数描述，证明了Mackey函子的对称幂对应于其上自由Tambara函子的第n个分次部分。关键贡献在于通过乘法上推给出了Tambara函子的新刻画，从而得到了一个与等变扩展幂结构相匹配的自由Tambara函子公式。

ABSTRACT

In this paper we give detailed algebraic descriptions of the derived symmetric power and norm constructions on categories of Mackey functors, as well as the derived G-symmetric monoidal structure. We build on the results of [Ull2], in which it is shown that every Tambara functor over a finite group G arises as the zeroth stable homotopy group of a commutative ring G-spectrum. The norm / restriction adjunctions on categories of Tambara functors promised in [Ull2] are demonstrated algebraically. Finally, we give a new characterization of Tambara functors in terms of multiplicative push forwards of Mackey functors, and use this to obtain an appealing new description of the free Tambara functor on a Mackey functor which closely matches the structure of equivariant extended powers.

研究动机与目标

• 为Mackey函子上的导出对称幂构造提供代数描述。
• 为子群 H ≤ G 的 H-Mackey函子到 G-Mackey函子的范数函子给出内在的代数公式化。
• 通过几何固定点定义并描述Mackey函子上的 G-对称单性结构。
• 从Mackey函子数据代数重构Tambara函子上限制与范数函子之间的伴随关系。
• 引入Mackey函子的乘法上推，并利用其对Tambara函子作为乘法Mackey函子的刻画给出新定义。

提出的方法

• 使用导出自由交换环 G-谱函子 𝕮 和 π₀ 函子，将交换环 G-谱与Tambara函子联系起来。
• 将Mackey函子的对称幂定义为给定Mackey函子上自由Tambara函子的第n个分次部分。
• 通过Eilenberg-MacLane谱上的导出范数的 π₀ 构造Mackey函子上的范数函子 N_H^G。
• 使用有限 G-集合中的拉回图来描述对称幂和范数中的结构映射。
• 引入Mackey函子的乘法上推以建模Tambara函子中的乘法结构。
• 建立拉回图上的余极限与自由Tambara函子之间的同构，其结构与等变扩展幂一致。

实验结果

研究问题

• RQ1 如何从Tambara函子的角度代数地描述Mackey函子的导出对称幂？
• RQ2 对于 H ≤ G，Mackey函子上的范数函子 N_H^G 的代数结构是什么？
• RQ3 Mackey函子上的 G-对称单性结构如何从谱的几何固定点中导出？
• RQ4 能否从Mackey函子数据代数重构Tambara函子上限制与范数函子之间的伴随关系？
• RQ5 乘法上推在将Tambara函子刻画为乘法Mackey函子的过程中起什么作用？

主要发现

• G-Mackey函子 ℳ 的对称幂 Sym_n(ℳ) 同构于 ℳ 上自由Tambara函子的第n个分次部分。
• Mackey函子上的范数函子 N_H^G 被代数地描述为 Eilenberg-MacLane谱上导出范数的 π₀，与Tambara函子上限制的左伴随函子一致。
• Mackey函子上的 G-对称单性结构通过几何固定点和有限 G-集合中的拉回图来描述。
• Mackey函子 ℳ 上的自由Tambara函子同构于 P(G;n) 中拉回图上的余极限，其结构映射由乘法上推诱导。
• 通过乘法上推将Tambara函子刻画为乘法Mackey函子，提供了一种新的代数模型，其结构与等变扩展幂完全对应。
• 自由Tambara函子的结构映射被证明与通过拉回图余极限定义的映射一致，确认了其与等变拓扑的兼容性。