[論文レビュー] Symmetric Powers and Norms of Mackey Functors

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

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

ひとこと要約

この論文は、-equivariant安定ホモトピー論を用いて、Mackey関手上の導来対称冪およびノーム構成の代数的記述を提供し、Mackey関手の対称冪がそれ自身の自由Tambara関手の次数n部分に一致することを確立している。主な貢献は、乗法的プッシュフォワードを用いたTambara関手の新しい特徴付けであり、これにより、-equivariant拡張冪に類似した自由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-対称モノイド構造を幾何的に定義すること。
• Tambara関手上の制限関手とノーム関手の随伴関係を、Mackey関手のデータから代数的に再構成すること。
• Mackey関手の乗法的プッシュフォワードを導入し、それらを用いてTambara関手を乗法的Mackey関手として特徴付けること。

提案手法

• commutative ring G-スペクトルとTambara関手の間の関係を、導来自由可換環G-スペクトル関手 𝕮 と π₀ 関手を用いて確立する。
• 与えられたMackey関手上の対称冪を、その自由Tambara関手のn番目の次数として定義する。
• Eilenberg-MacLaneスペクトル上の導来ノームのπ₀を用いて、Mackey関手上のノーム関手N_H^Gを構成する。
• 有限G-集合における引き戻し図式を用いて、対称冪およびノームの構造写像を記述する。
• Mackey関手の乗法的プッシュフォワードを導入し、Tambara関手の乗法的構造をモデル化する。
• 引き戻し図式の余極限と自由Tambara関手との同型を確立し、-equivariant拡張冪の構造と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Mackey関手の導来対称冪は、Tambara関手の観点からどのように代数的に記述できるか？
• RQ2 H ≤ G に対して、Mackey関手上のノーム関手N_H^Gの代数的構造は何か？
• RQ3 Mackey関手上のG-対称モノイド構造は、スペクトルの幾何的固定点からどのように生じるか？
• RQ4 Tambara関手上の制限関手とノーム関手の随伴関係は、Mackey関手のデータから代数的に再構成可能か？
• RQ5 乗法的プッシュフォワードは、Tambara関手を乗法的Mackey関手として特徴付ける際に果たす役割は何か？

主な発見

• G-Mackey関手ℳの対称冪Sym_n(ℳ)は、ℳ上の自由Tambara関手のn番目の次数と同型である。
• H ≤ G に対して、Mackey関手上のノーム関手N_H^Gは、Eilenberg-MacLaneスペクトル上の導来ノームのπ₀として代数的に記述され、Tambara関手上の制限関手の左随伴と一致する。
• Mackey関手上のG-対称モノイド構造は、幾何的固定点と有限G-集合における引き戻し図式を用いて記述される。
• Mackey関手ℳ上の自由Tambara関手は、P(G;n)における引き戻し図式の余極限と同型であり、構造写像は乗法的プッシュフォワードによって誘導される。
• Tambara関手は、乗法的プッシュフォワードを用いて乗法的Mackey関手として特徴付けられ、-equivariant拡張冪構造と類似した新しい代数的モデルが得られる。
• 自由Tambara関手の構造写像が、引き戻し図式の余極限によって定義される写像と一致することが示され、-equivariantトポロジーとの整合性が確認された。