[論文レビュー] An algebraic model for rational naive-commutative equivariant ring spectra

David Barnes, J. P. C. Greenlees+1 more|arXiv (Cornell University)|Aug 29, 2017

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

ひとこと要約

本稿は、代数的モデルとしての有理数 $G$-スペクトルにおける可換代数と、非可換 $E_∞$ 操作子に自明な $G$-作用をもつ有理数的ナーヴィ・可換環 $G$-スペクトルとの間で、Quillen同値を確立する。主な結果は、有理数 $G$-スペクトルとその代数的モデルの間の対称モノイダル Quillen 同値が、可換代数の Quillen 同値に引き伸ばされないことを示しており、これは、イデムポテンス分解および Bousfield 局域化の下でノーム構造が保存されないことに起因する根本的障害を浮き彫りにする。

ABSTRACT

Equipping a non-equivariant topological E_\infty operad with the trivial G-action gives an operad in G-spaces. The algebra structure encoded by this operad in G-spectra is characterised homotopically by having no non-trivial multiplicative norms. Algebras over this operad are called naive-commutative ring G-spectra. In this paper we let G be a finite group and we show that commutative algebras in the algebraic model for rational G-spectra model the rational naive-commutative ring G-spectra.

研究の動機と目的

• 有理数 $G$-スペクトルの代数的モデルが、同等の可換性のどのレベルを捉えているかを特定すること。
• 有理数 $G$-スペクトルとその代数的モデルの間の Quillen 同値が、可換代数の Quillen 同値に引き伸ばされるかどうかを解明すること。
• $N_{∞}$-操作子、Bousfield 局域化、およびイデムポテンス分解における代数的構造の保存との相互作用を分析すること。
• 弱同値が有理数的同値であるような、有理数 $G$-スペクトルにおける可換環 $G$-スペクトルのモデル構造を、$N_{∞}$-操作子理論に依存せずに構成すること。

提案手法

• 等方的組合せ論および左 Bousfield 局域化技術を用いて、$G$-スペクトルおよびその代数的モデルのモデル構造を引き上げる。
• $N_{∞}$-操作子と局域化が可換となる条件を同定し、局域化された圏におけるファイブレーション補完が代数的構造を保存することを保証する。
• 有理数球面スペクトルの可換乗法を用いて、有理数 $G$-スペクトルにおける ${\mathsf{Comm}}$-代数のコフィブレーション生成モデル構造を構成する。
• -equivariantホモトピー余極限および $\Sigma_n$--equivariant弱同値を用い、$S_{\mathbb{Q}}^{\wedge n}/\Sigma_n \to S_{\mathbb{Q}}$ が $G$-スペクトルとしての弱同値であることを示す。
• Barratt-Priddy-Quillen 定理および普遍空間 $E_G\Sigma_n$ を用い、対称冪とホモトピー軌道との関係を確立し、有理数的同値を得る。
• 有理数 $G$-スペクトルの代数的モデルが完全なイデムポテンス分解および左 Bousfield 局域化を経て得られることに依拠しており、これらはノームデータを保存しない。

実験結果

リサーチクエスチョン

• RQ1 有理数 $G$-スペクトルとその代数的モデルの間の対称モノイダル Quillen 同値は、可換代数の Quillen 同値に引き伸ばされるか？
• RQ2 有理数 $G$-スペクトルにおける同等の可換性のどのレベルが、代数的モデルによって捉えられているか？
• RQ3 弱同値が有理数的同値であるような、可換環 $G$-スペクトルのモデル構造を、$N_{∞}$-操作子構造に依存せずに構成できるか？
• RQ4 Bousfield 局域化は、有理数的設定における $N_{∞}$-操作子および $\mathcal{O}$-代数の構造とどのように相互作用するか？

主な発見

• 有理数 $G$-スペクトルの代数的モデルにおける可換代数は、非自明な乗法的ノームをもたない、すなわち有理数的ナーヴィ・可換環 $G$-スペクトルと Quillen 同値である。
• 有理数 $G$-スペクトルとその代数的モデルの間の Quillen 同値は、${\mathsf{Comm}}$-代数の Quillen 同値に引き伸ばされない。これは、等価な設定における対称モノイダル関手が可換モノイドを保存しないという失敗を示している。
• 代数的モデルは、ノームをもつような高次の可換構造（例：ノームを有する構造）を捉えていない。これは、イデムポテンス分解および Bousfield 局域化がノームデータを保存しないからである。
• 有理数 $G$-スペクトルにおける ${\mathsf{Comm}}$-代数のコフィブレーション生成モデル構造が存在し、弱同値が有理数的同値として定義されている。これは、有理数球面スペクトルの可換乗法を用いて構成されている。
• 局所化された圏 $L_E G\text{-}\mathrm{Sp}$ におけるファイブレーション補完関手は、$E$ および $\mathcal{O}$ について適切な条件下で $\mathcal{O}$-代数を保存する。これにより、モデル構造の引き上げが可能になる。
• 本結果は、$E_∞^1$-環スペクトルによる有理数的 $SO(2)$--equivariant楕円コホモロジーのモデル化に向けた基盤を提供し、関連する加群圏の代数的幾何的記述を可能にする。