[論文レビュー] HZ-algebra spectra are differential graded algebras

Brooke Shipley|ArXiv.org|Sep 17, 2002

Homotopy and Cohomology in Algebraic Topology参考文献 20被引用数 9

ひとこと要約

この論文は、ℤ上の有界でない微分 graded 代数のホモトピー理論と Hℤ-代数スペクトルのホモトピー理論の間で、Quillen 同値を確立し、それらが同じ導来代数的構造を表していることを示している。モデル圏の技法と単項随伴を用いて、dg 代数と Hℤ-代数スペクトルの間で明示的な Quillen 同値を構成し、モジュールへと拡張することで、有理数的安定ホモトピー理論の代数的モデルが可能になる。

ABSTRACT

We show that the homotopy theory of differential graded algebras coincides with the homotopy theory of HZ-algebra spectra. Namely, we construct Quillen equivalences between the Quillen model categories of (unbounded) differential graded algebras and HZ-algebra spectra. We also construct Quillen equivalences between the differential graded modules and module spectra over these algebras. We use these equivalences in turn to produce algebraic models for rational stable model categories. We show that bascially any rational stable model category is Quillen equivalent to modules over a differential graded Q-algebra (with many objects).

研究の動機と目的

• ℤ上の有界でない微分 graded 代数のモデル圏と Hℤ-代数スペクトルのモデル圏の間で Quillen 同値を確立すること。
• この同値をこれらの代数上のモジュールの圏へと拡張し、dg モジュールと Hℤ-モジュールスペクトルが Quillen 同値であることを示すこと。
• これらの同値を用いて、有理数的安定モデル圏の代数的モデルを構成すること。
• 任意の有理数的安定モデル圏が、多数の対象を持つ微分 graded ℚ-代数上のモジュールの圏と Quillen 同値であることを示すこと。

提案手法

• Hℤ-代数スペクトルのモデル圏と ℤ上の微分 graded 代数のモデル圏の間で、ℚ-代数と単項随伴を含む zig-zag の Quillen 同値を介して、Quillen 随伴を構成すること。
• 合成関手上のモノイド構造を用いて、バービルダン構成と単項随伴を介して Quillen 同値を定義すること。
• Hℤ-代数スペクトルからスペクトルへの忘却関手がファイブレーションと弱同値を保存することを活用し、Quillen 随伴の構成を可能にすること。
• 【HSS, 4.1.7】の基準を適用して、生成子上の導来随伴を確認し、弱同値を検出することで Quillen 同値を検証すること。
• 関手 i と C₀ に強いモノイド構造を備えることで、Quillen 同値が対称モノイド構造を保存することを保証すること。
• ℚ 上のモノイドの単位元と乗法が、スカラー拡張と制限を介して Quillen 同値を誘導することを活用すること。

実験結果

リサーチクエスチョン

• RQ1 ℤ上の微分 graded 代数と Hℤ-代数スペクトルのホモトピー理論は Quillen 同値か？
• RQ2 dg モジュールと Hℤ-モジュールスペクトルの間の Quillen 同値は、代数のレベルにまで拡張可能か？
• RQ3 Quillen 同値は関与する圏の対称モノイド構造を保存するか？
• RQ4 任意の有理数的安定モデル圏は、多数の対象を持つ微分 graded ℚ-代数上のモジュールとして代数的にモデル化可能か？
• RQ5 Hℤ-代数スペクトルのモデル圏と ℤ上の dg 代数のモデル圏を結ぶ zig-zag の Quillen 同値が存在するか？

主な発見

• Hℤ-代数スペクトルのモデル圏は、ℤ上の有界でない微分 graded 代数のモデル圏と Quillen 同値である。
• Quillen 同値はモジュールへと拡張され、ℤ上の dg モジュールのホモトピー理論は Hℤ-モジュールスペクトルのホモトピー理論と Quillen 同値である。
• Quillen 同値は強いモノイド的であり、圏の対称モノイド構造を保存する。
• 任意の有理数的安定モデル圏は、多数の対象を持つ微分 graded ℚ-代数上のモジュールの圏と Quillen 同値である。
• Hℤ-代数スペクトルから ℤ上の dg 代数への合成関手は、ℚ-代数と単項随伴を含む zig-zag の Quillen 同値を介して Quillen 同値である。
• ℚ 上のモノイドの単位元と乗法は、Quillen 同値を誘導し、合成関手間に自然な弱同値を構成可能である。