[論文レビュー] Classifying Dihedral O(2)-Equivariant Spectra

David Barnes|ArXiv.org|Apr 21, 2008

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

ひとこと要約

本稿は、有理的二面体 $O(2)$--equivariant スペクトラのモデル圏と、微分付き可換体 $V_\infty$ と $k \geq 1$ のための $dg\mathbb{Q}W$-加群 $V_k$ からなる代数的モデル圏 $\mathcal{A}(\mathscr{D})$ の間で、モノイダル Quillen 同値を確立する。主な貢献は、有理的二面体 $O(2)$-スペクトラの完全な代数的分類であり、[Gre98] のホモトピー論的分類をモデル圏のレベルにまで引き上げ、モノイダル構造を保ったまま行っている。

ABSTRACT

The category of rational O(2)-equivariant spectra splits as a product of cyclic and dihedral parts. Using the classification of rational G-equivariant spectra for finite groups G, we classify the dihedral part of rational O(2)-equivariant spectra in terms of an algebraic model.

研究の動機と目的

• 有理的二面体 $O(2)$-equivariant スペクトラのホモトピー論的分類を [Gre98] からモデル圏のレベルにまで引き上げること。
• 二面体スペクトラのモデル圏と代数的モデル圏 $\mathcal{A}(\mathscr{D})$ の間でモノイダル Quillen 同値を構成すること。
• 分類の過程でモノイダル構造を保つことにより、代数的対象およびその加群圏の研究を可能にすること。
• Quillen 同値を用いて、有理的 $O(2)$-equivariant スペクトラを循環的および二面体的成分に分解することで、有理的 $O(2)$-equivariant スペクトラの理解のための枠組みを提供すること。

提案手法

• 強力な対称モノイダル Quillen 同値を用いて、有理的 $O(2)$-スペクトラの圏を循環的および二面体的部品に分解する。
• 代数的モデル圏 $\mathcal{A}(\mathscr{D})$ を、微分付き可換体 $V_\infty$ と $k \geq 1$ のための $dg\mathbb{Q}W$-加群 $V_k$ からなり、互換性のある構造写像 $\sigma_V: V_\infty \to \operatorname{colim}_n \prod_{k \geq n} V_k$ を持つものとして定義する。
• 中間の $Sp^\Sigma_+$-加群と $dg\mathbb{Q}$-加群の環圏上の加群圏を経由して、二面体スペクトラのモデル圏 $\mathscr{D}\mathcal{M}_\mathbb{Q}$ と $\mathcal{A}(\mathscr{D})$ の間で、モノイダル Quillen 同値のズイグザグを構成する。
• 環圏 $\mathcal{E}_t$（$dg\mathbb{Q}$-加群上）とそのホモロジー環圏 $\operatorname{H}_*\mathcal{E}_t$ の間の準同型を、$(-1)$-連結被覆函手 $C_0$ を用いて確立する。
• 同値の導来函手が、代数的対象上の加群圏に Quillen 同値を誘導することを証明し、モノイダル構造を保つ。
• 同型 $\operatorname{H}_*\mathcal{E}_t \cong \mathcal{E}_a$ を用いて、代数的モデル $\mathcal{A}(\mathscr{D})$ が $\operatorname{mod--}\mathcal{E}_a$ と同値であることを示し、分類を完了する。

実験結果

リサーチクエスチョン

• RQ1 有理的二面体 $O(2)$-equivariant スペクトラのホモトピー論的分類を、モデル圏のレベルにまで引き上げることは可能か？
• RQ2 有理的二面体 $O(2)$-スペクトラのモデル圏と、$\mathbb{Q}$ および $\mathbb{Q}W$ 上の微分付き可換体加群の代数的モデル圏との間で、モノイダル Quillen 同値が存在するか？
• RQ3 自己準同型環圏 $\mathcal{E}_{\text{top}}$ のホモトピー群は、代数的モデル $\mathcal{A}(\mathscr{D})$ とどのように関係するか？
• RQ4 分類をモノイダル構造を保つように拡張することは可能か、特に代数的対象上の代数的対象およびその加群圏に関して。
• RQ5 導来圏における、トポロジカル環圏 $\mathcal{E}_t$ と代数的環圏 $\mathcal{E}_a$ の正確な関係は何か？

主な発見

• 二面体スペクトラのモデル圏 $\mathscr{D}\mathcal{M}_\mathbb{Q}$ と代数的モデル圏 $\mathcal{A}(\mathscr{D})$ の間で、モノイダル Quillen 同値のズイグザグが存在し、完全な分類を確立する。
• 代数的モデル $\mathcal{A}(\mathscr{D})$ は、微分付き可換体 $V_\infty$ と $k \geq 1$ のための $dg\mathbb{Q}W$-加群 $V_k$ からなり、互換性のある構造写像 $\sigma_V$ を持つ。
• トポロジカル環圏 $\mathcal{E}_{\text{top}}$ のホモロジーは次数 0 に集中しており、$\mathcal{E}_t$ と $\operatorname{H}_*\mathcal{E}_t$ の間の準同型を構成できる。この $\operatorname{H}_*\mathcal{E}_t$ は代数的環圏 $\mathcal{E}_a$ と同型であり、これにより分類が可能になる。
• 同値の導来函手は、代数的対象上の加群圏に Quillen 同値を誘導する：各 $S_{\mathscr{D}}$-代数 $A$ に対して、$A\text{-mod}$ と $\Theta A\text{-mod}$ の間で $\mathcal{A}(\mathscr{D})$ 内にズイグザグの Quillen 同値が存在し、逆も同様である。
• $\operatorname{H}_*\mathcal{E}_t \cong \mathcal{E}_a$ はモノイダルであるため、代数的モデルは元の圏のモノイダル構造を保つ。
• $\mathscr{D}\mathcal{M}_\mathbb{Q}$ 内の写像空間のホモトピー群の計算により、$[\sigma_H^i, \sigma_K^j]^{S_{\mathscr{D}}}_*$ が $H = K$ のとき $\operatorname{Hom}_{\mathbb{Q}}(\mathbb{Q}W^{\otimes i}, \mathbb{Q}W^{\otimes j})^W$ と同型であり、それ以外のときは 0 であることが確認され、モデルの代数的構造が裏付けられる。