[論文レビュー] Two results from Morita theory of stable model categories

Andreas Heider|ArXiv.org|Jul 4, 2007

Algebraic structures and combinatorial models参考文献 27被引用数 16

ひとこと要約

この論文は、安定モデル圏の文脈において、代数的モラータ理論の結果の2つの位相的類似を確立する。導来圏が2つの他の対称環スペクトルに依存するリコネキションを許容するための基準を提示し、また、位相的三角的圏がwell-generatedであるための必要十分条件として、複数の対象を持つ対称環スペクトルの導来圏の局所化と三角的同値であることを証明する。

ABSTRACT

We prove two results from Morita theory of stable model categories. Both can be regarded as topological versions of recent algebraic theorems. One is on recollements of triangulated categories, which have been studied in the algebraic case by Jørgensen. We give a criterion which answers the following question: When is there a recollement for the derived category of a given symmetric ring spectrum in terms of two other symmetric ring spectra? The other result is on well generated triangulated categories in the sense of Neeman. Porta characterizes the algebraic well generated categories as localizations of derived categories of DG categories. We prove a topological analogon: a topological triangulated category is well generated if and only if it is triangulated equivalent to a localization of the derived category of a symmetric ring spectrum with several objects. Here `topological' means triangulated equivalent to the homotopy category of a spectral model category. Moreover, we show that every well generated spectral model category is Quillen equivalent to a Bousfield localization of a category of modules via a single Quillen functor.

研究の動機と目的

• 安定モデル圏を用いて、代数的モラータ理論の結果を位相的設定へと拡張すること。
• 導来圏が2つの他の対称環スペクトルを含むリコネキションを許容する条件を特定すること。
• 複数の対象を持つ対称環スペクトルの導来圏の局所化と三角的同値である、well-generatedな位相的三角的カテゴリーを特徴付けること。
• well-generatedなスペクトルモデル圏と、モジュール圏のボウシールド局所化との間のクィレン同値性を確立すること。

提案手法

• 位相的導来圏をモデル化するため、安定モデル圏およびスペクトルモデル圏の枠組みを用いる。
• クィレンのモデル圏理論およびクィレン関手を用いて、モジュール圏間の随伴対およびクィレン対を構成する。
• スカラーの制限および拡張関手を用いて、異なる環スペクトル上のモジュール圏を関連付ける。
• ホム関手および評価関手を用いて、モジュール圏におけるファイブレーション、コアファイブレーション、弱同値を分析する。
• コフェイブルな対象および点ごとのコフェイブル性を用いて、関手によるモデル構造の保存を保証する。
• ボウシールド局所化および適切な性質を用いて、well-generatedなカテゴリーと局所化されたモジュール圏の間のクィレン同値性を構築する。

実験結果

リサーチクエスチョン

• RQ1 導来圏が2つの他の対称環スペクトルに依存するリコネキションを許容する条件は何か？
• RQ2 位相的三角的圏が、複数の対象を持つ対称環スペクトルの導来圏の局所化と三角的同値であるのはいつか？
• RQ3 単一のクィレン関手を介して、well-generatedなスペクトルモデル圏がボウシールド局所化されたモジュール圏とクィレン同値となるのはどのような場合か？
• RQ4 安定モデル圏から得られる三角的圏がwell-generatedであるための条件は何か？
• RQ5 コフェイブルな対象および豊富なモデル構造の性質が、リコネキションの存在に与える影響は何か？

主な発見

• 対称環スペクトルの導来圏にリコネキションが存在するための必要十分条件は、2つの他の対称環スペクトルと、特定の随伴およびホモトピー的条件を満たすクィレン対が存在することである。
• 位相的三角的圏がwell-generatedであるための必要十分条件は、複数の対象を持つ対称環スペクトルの導来圏の局所化と三角的同値であることである。
• すべてのwell-generatedなスペクトルモデル圏は、単一のクィレン関手を介して、モジュール圏のボウシールド局所化とクィレン同値である。
• 対称環スペクトル上のモジュール圏間のホム関手は、源対象がコフェイブルで、基礎となる圏における単位がコフェイブルであるとき、ファイブレーションおよび自明なファイブレーションを保存する。
• スペクトル圏の対象における評価関手は、ファイブレーション、弱同値、極限、余極限を保存する。さらに、コフェイブル性の仮定のもとで、コフェイブレーションおよび自明なコフェイブレーションも保存する。
• リコネキションの存在は、ホモトピー的レベルで三角的リコネキションを誘導するモジュール圏間のクィレン対の存在によって特徴づけられる。