[論文レビュー] Equivariant infinite loop space theory, I. The space level story

J. P. May, Mona Merling+1 more|arXiv (Cornell University)|Apr 11, 2017

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

ひとこと要約

この論文は、G が有限群であるとき、適切な構造を備えた G-空間から真の G-スペクトルを構成するため、等変無限ループ空間論を再考・一般化する。Segal の機械と作用的機械の間の直接的な点集合レベルの比較を提供し、同値性を証明することで、従来の非等変な証明が真の G-スペクトルには通用しなかった文献における重要なギャップを解消する。

ABSTRACT

We rework and generalize equivariant infinite loop space theory, which shows how to construct G-spectra from G-spaces with suitable structure. There is a naive version which gives naive G-spectra for any topological group G, but our focus is on the construction of genuine G-spectra when G is finite. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for naive G-spectra for general G but fails hopelessly for genuine G-spectra when G is finite. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving a direct point-set level comparison. We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving some corrections to results in the literature.

研究の動機と目的

• G が有限群であるとき、構造的 G-空間から真の G-スペクトルを構成するため、等変無限ループ空間論を再考・一般化すること。
• 等変設定における Segal の機械と作用的機械に関する文献における詳細な欠落部分を補完すること。
• Segal の機械と作用的機械の間の直接的で点集合レベルの比較を確立し、同等の入力に対して同等の出力を得ることを示すこと。
• 等変および非等変な無限ループ空間論における基礎的結果を修正・更新し、ギャップを埋め、新たな証明を提供すること。

提案手法

• Segal の機械と作用的機械を等変設定に適応させ、有限群 G に焦点を当てる。
• 2つの機械の間の詳細な点集合レベルの比較を構築し、ホモトピー論的近似を避ける。
• 入力構造をモデル化するため、等変 Γ-空間および ΓG-空間の明示的構成を用いる。
• 真の G-スペクトル構造と群作用の整合性を含む、等変ホモトピー論の技術を適用する。
• May と Thomason の非等変な一意性定理を再検討し、真の等変な場合に適応して強化する。
• 文献における重要な結果について、以前に検証されていなかったり不完全な議論を修正する、新たな厳密な証明を提供する。

実験結果

リサーチクエスチョン

• RQ1 等変無限ループ空間論における Segal の機械と作用的機械を、ホモトピー的同値ではなく点集合レベルでどのように比較できるか？
• RQ2 古典的な非等変な比較法（May と Thomason）が、有限群における真の等変設定ではなぜ失敗するのか？
• RQ3 G-空間にどのような構造的条件を課すと、いずれの機械によっても真の G-スペクトルが構成可能になるか？
• RQ4 等変無限ループ空間論における文献のギャップを、厳密で明示的な構成によって体系的に埋めることは可能か？
• RQ5 既存の非等変理論をどのように更新・強化すれば、真の等変設定に適用可能になるか？

主な発見

• 同等の入力 G-空間が与えられたとき、Segal の機械と作用的機械は、直接的な点集合レベルの比較によって同等の真の G-スペクトルを生成する。
• 古典的な May-Thomason の比較が真の等変設定で失敗する理由は、真の G-構造の存在に起因するホモトピー的不変性の持ち上げの破綻に帰着する。
• 等変 Γ-空間および ΓG-空間の新しい明示的構成が提供され、文献における重要な欠落を埋める。
• この論文は、等変無限ループ空間論における基礎的結果を修正・更新し、再検討された証明を提供し、矛盾を解消する。
• 直接的な比較法により、従来のホモトピー論的同値よりも強力でより精確な結果が得られ、等変安定ホモトピー論における新たな応用を可能にする。
• この枠組みは、任意の位相群 G に対してナイーブ G-スペクトルを回復できるほど一般であるが、有限 G における真の G-スペクトルの豊かな構造に焦点を当てる。