[論文レビュー] Tambara Functors and Commutative Ring Spectra

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

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

ひとこと要約

この論文は、任意のタマーバ関手が真の可換環スペクトルの第0不変ホモトピー群として実現可能であることを確立し、タマーバ関手のホモトピー論的実現を証明する。さらに、アイレンバーグ＝マクレイン可換環スペクトルのホモトピー圏がタマーバ関手の圏と同値であることを示し、非アーベル的群の場合にラックス対称モノイダル関手によるそのようなスペクトルの構成に内在する構造的制限を明らかにする。

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.

研究の動機と目的

• すべてのタマーバ関手が真の可換環スペクトルの第0不変ホモトピー群として生じるかどうかを特定すること。
• 不変ホモトピー論的実現として、不変可換環スペクトルを用いたタマーバ関手の実現を確立すること。
• 群が非自明な場合にアイレンバーグ＝マクレインスペクトルに対するラックス対称モノイダル構成の存在を調査すること。
• タマーバ関手、グリーン関手、マッケイ関手の間の代数的関係を明確化すること。

提案手法

• 生成子と関係を用いて、代表的マッケイ関手上の自由タマーバ関手を構成する。
• 有限G-集合のスuspensionスペクトル上の自由可換環スペクトルを、自由タマーバ関手のホモトピー的アナログとして実現する。
• 可換環スペクトルのホモトピー上の余極限を、タマーバ関手の圏における余極限として実現するため、ホモトピー上の押し出しと直和を用いる。
• 第0ポストニコフ切断を適用して、可換環スペクトルの写像とタマーバ関手の写像との関係を確立する。
• 写像の双対対応を用いて、アイレンバーグ＝マクレイン可換環スペクトルのホモトピー圏がタマーバ関手の圏と同値であることを証明する。
• 非自明な群の場合に、EMスペクトルに対するラックス対称モノイダル構造の失敗を、障害理論的議論を用いて分析する。

実験結果

リサーチクエスチョン

• RQ1 すべてのタマーバ関手が真の可換環スペクトルの第0不変ホモトピー群として実現可能か？
• RQ2 アイレンバーグ＝マクレイン可換環スペクトルのホモトピー圏はタマーバ関手の圏と同値か？
• RQ3 群が非自明な場合に、マッケイ関手にアイレンバーグ＝マクレインスペクトルを割り当てるラックス対称モノイダル関手が存在するか？
• RQ4 タマーバ関手におけるノーム構造と移動構造は、導来スマッシュ積と自由可換環スペクトルの構成とどのように関係するか？
• RQ5 制限関手の左随伴と、元の可換グリーン関手上のノーム関手との関係は何か？

主な発見

• すべてのタマーバ関手が真の可換環スペクトルの第0不変ホモトピー群として生じることを確認し、不変ホモトピー論における基礎的問題に肯定的に答えている。
• アイレンバーグ＝マクレイン可換環スペクトルのホモトピー圏がタマーバ関手の圏と同値であることを示し、このようなスペクトルの完全な分類を代数的データによって確立した。
• マッケイ関手上の導来自由可換環スペクトルは、そのマッケイ関手上の自由タマーバ関手をもたらし、自由タマーバ関手のホモトピー的構成を提供する。
• G-タマーバ関手からH-タマーバ関手への制限関手の左随伴は、元の可換グリーン関手上でのノーム関手$N_H^G$と一致する。
• 群が非自明な場合、アイレンバーグ＝マクレインスペクトルに対するラックス対称モノイダル構成は存在しない。なぜなら、そのような構成は、特定のグリーン関手に複数の異なるタマーバ関手構造が存在することと矛盾するからである。
• 巡回群$C_p$に対して、同じ可換グリーン関手上に非可算個の異なるタマーバ関手構造が存在する。これは、ノーム構造がグリーン関手のデータによって一意に決定されないことを示している。