[論文レビュー] Positive model structures for abstract symmetric spectra

Sergey Gorchinskiy, Vladimir Guletskiĭ|arXiv (Cornell University)|Aug 17, 2011

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

ひとこと要約

本稿では、抽象的な対称モノイダルモデル圏上での対称スペクトルに対する正の安定モデル構造を、正の射影モデル構造を安定化射による局域化によって構成する一般的手法を確立する。主な結果は、標準的な安定モデル構造における弱同値が正のモデル構造におけるそれらと一致することを示しており、同値なホモトピー圏を保証し、モチビックホモトピー理論および可換環スペクトルへの応用を可能にする。

ABSTRACT

We give a general method of constructing positive stable model structures for symmetric spectra over an abstract simplicial symmetric monoidal model category. The method is based on systematic localization, in Hirschhorn's sense, of a ceratin positive projective model structure on spectra, where positivity basically means the truncation of the zero slice. The localization above is by the set of stabilizing morphisms, or their truncated version.

研究の動機と目的

• 位相的枠組みを超えて、任意の抽象的な対称モノイダルモデル圏に対して、対称スペクトルの正のモデル構造を一般化して構成すること。
• モチビックホモトピー理論などの抽象的状況において、正のモデル構造を体系的かつ普遍的に構成するための方法が欠如している問題を解決すること。
• 得られる正のモデル構造が、標準的な安定ホモトピー圏と同一の安定ホモトピー圏をもたらすように保証すること。
• Hirschhornの局域化技法を用いて、正のモデル構造を体系的に構成する概念的枠組みを提供すること。
• 抽象的安定ホモトピー圏における導来対称冪および可換環スペクトルの構成を可能にすること。

提案手法

• C をコフェイブル生成、左プロパー、セルラーな対称モノイダルモデル圏とし、C 内のコフェイブルな対象 T をとる。
• C 上の対称 T-スペクトルの圏 S を構成し、正の射影モデル構造を備える。
• 射影モデル構造の 0-スライス（またはより高次のスライス）を切り詰めて、正の射影モデル構造を得る。
• 適切にシフトされた T-スペクトル間の安定化 Hovey ζ-射の集合において、この切り詰めモデル構造を局域化する。
• Hirschhornのモデル圏の局域化理論を用いて、結果として得られる構造が、適切に振る舞う安定モデル構造であることを保証する。
• 新しい正のモデル構造における弱同値が、元の安定モデル構造におけるそれらと一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 任意の抽象的な対称モノイダルモデル圏において、対称スペクトルの正のモデル構造を体系的かつ一般化された方法で構成することは可能か？
• RQ2 0-スライスの切り詰めによって定義される正の性質が、抽象的状況においてどのように体系的に実装可能か？
• RQ3 抽象的文脈において、標準的な安定モデル構造における弱同値と正のモデル構造におけるそれらの関係は何か？
• RQ4 局域化プロセスはホモトピー圏を保存するとともに、コフェイブル性や対称冪の保存といった構造的性質を強化するか？
• RQ5 この方法を用いて、可換環スペクトルやモチビック対称スペクトルのための適切に振る舞うモデル構造を構成できるか？

主な発見

• 標準的な安定モデル構造における弱同値は、構成された正のモデル構造におけるそれらと完全に一致する。
• 正のモデル構造のホモトピー圏は、標準的な安定ホモトピー圏と同値であり、本質的なホモトピー的情報が保持される。
• 正のモデル構造におけるコフェイブルな対象について、n-番目のホモトピー的対称冪から真のn-番目の対称冪への自然な準同型は、安定な弱同値である。
• 対称冪は、正にコフェイブルな対象間の安定弱同値を保存するため、抽象的安定ホモトピー圏における導来対称冪が可能になる。
• この方法は、モチビックホモトピー理論を含む、より広範な設定、例えばMorel-Voevodskyのモチビック対称スペクトルの安定圏などに普遍的に適用可能である。
• 局域化プロセスにより、元の集合 S 内のすべての射が正のモデル構造において弱同値となることが保証され、Bousfield 局域化が保存される。