[論文レビュー] Models of G-spectra as presheaves of spectra

Bertrand Guillou, J. P. May|arXiv (Cornell University)|Oct 17, 2011

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

ひとこと要約

本稿は、有限G-集合から明示的に構成されたスペクトル圏から得られるスペクトル的に豊かにされた層の圏とG-スペクトルの圏の間で、Quillen同値性を確立する。同報的無限ループ空間理論と同報的Barratt-Priddy-Quillen定理を用いて、有限G-集合のスパンからスペクトル圏GAを構成し、G-スペクトルがGAからスペクトルへのスペクトル的マックェイ関手—すなわち、GAへの反変関手—に同値であることを示す。主な結果は、G-スペクトルとGA上のスペクトルの層の間を結ぶ、Quillen同値性のズイグザグである。

ABSTRACT

Let G be a finite group. We give Quillen equivalent models for the category of G-spectra as categories of spectrally enriched functors from explicitly described domain categories to nonequivariant spectra. Our preferred model is based on equivariant infinite loop space theory applied to elementary categorical data. It recasts equivariant stable homotopy theory in terms of point-set level categories of G-spans and nonequivariant spectra. We also give a more topologically grounded model based on equivariant Atiyah duality.

研究の動機と目的

• G-スペクトルの圏に対する明示的かつ計算可能なモデルを、スペクトルの層を用いて提供すること。
• Quillen同値性における抽象的または暗黙の定義域圏を、有限G-集合に基づく明確な圏的構成に置き換えること。
• G-スペクトルが、スペクトル的に豊かにされた反変関手としてのスペクトル的マックェイ関手—すなわち、スペクトル圏GAからスペクトルへの関手—に同値であることを確立すること。
• G-スペクトルの懸垂スペクトルΣ∞G(A+)が自己双対的であることを示し、同報的安定ホモトピー論の洗練された代数的モデルを可能にすること。
• 有限G-集合に対する同報的Atiyah双対性を用いて、トポロジカルに根拠を持つモデルを提供し、代数的モデルを補完すること。

提案手法

• 有限G-集合のスパンの2圏に無限ループ空間マシンを適用し、スペクトル圏GAを構成する。
• GEをG-スパンの1-セルがスパン、2-セルがスパンの同型であるG-2圏とする。
• 同報的Barratt-Priddy-Quillen定理を用いて、GAを有限G-集合の懸垂G-スペクトルのスペクトル圏GDAllに結びつける。
• GEにホイッカーリングを施して、単位が厳密な2圏GE′を構成し、豊かにされたモデル圏構造と整合性を保つ。
• Schwede-Shipley定理を用い、GAをスペクトル的に豊かにされた層の定義域として、Quillen同値性を確立する。
• Σ∞G(A+)の自己双対性を活用し、GAとその反対圏の間の双対性を構成し、主要な同値性を可能にする。

実験結果

リサーチクエスチョン

• RQ1 G-スペクトルの圏は、明示的に記述された定義域圏を持つスペクトル的に豊かにされた関手の層の圏とQuillen同値とみなせるか？
• RQ2 同報的無限ループ空間理論を用いて、有限G-集合のスパンといった基本的な圏的データからスペクトル圏をどのように構成できるか？
• RQ3 G-スパンから導かれるスペクトル圏GAと、標準的な懸垂G-スペクトルのスペクトル圏GDAllとの間の正確な関係は何か？
• RQ4 懸垂G-スペクトルΣ∞G(A+)の自己双対性をどのように活用し、G-スペクトルとGA上の層の間のQuillen同値性を構成できるか？
• RQ5 有限G-集合に対する同報的Atiyah双密性を用いて、G-スペクトルのトポロジカルに根拠のあるモデルを構築できるか？

主な発見

• 本稿は、有限G-集合のスパンの2圏から、射の圏に置換的G-圏構造を持つスペクトル圏GAを構成する。
• 同報的Barratt-Priddy-Quillen定理を用いて、GAが懸垂G-スペクトルのスペクトル圏GDAllとQuillen同値であることが示される。
• 懸垂G-スペクトルΣ∞G(A+)がG-スペクトルの圏内で自己双対的であることが証明され、主な同値性を可能にする重要な技術的結果である。
• G-スペクトルの圏GSと、GAからスペクトルへのスペクトル的に豊かにされた反変関手の圏との間で、Quillen同値性のズイグザグが確立される。
• ホイッカーリング構成により、GEから単位が厳密な2圏GE′が得られ、豊かにされたモデル圏構造と整合性を保ちつつ、Quillen同値性を保存する。
• 本稿は、有限G-集合に対するAtiyah双対性を用いてG-スペクトルのトポロジカルモデルを提供し、GB上の層の圏がGSとQuillen同値であることを示している。