[論文レビュー] Six model structures for DG-modules over DGAs: Model category theory in homological action

Tobias Barthel, May, J. P.+1 more|arXiv (Cornell University)|Oct 4, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 29被引用数 45

ひとこと要約

この論文は、可換環 R 上の微分付き代数（DG代数）上の微分付き加群（DGモジュール）に対して、6つのモデル構造を確立し、古典的ホモロジー代数を一般化する新しい相対的およびミックスモデル構造を導入する。非コイディエント生成モデル圏を構成するため、小型対象の作用の豊か化版および代数的バージョンを開発し、古典的バー構成がこれらの構造の一つにおいてコイディエントな分解をもたらすことを示し、区別可能な分解を通じて、位相的および代数的設定における明示的計算を可能にする。

ABSTRACT

In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at least to folklore, but in the general case the new relative and mixed model structures offer interesting alternatives to the model structures in common use. The construction of some of these model structures requires two new variants of the small object argument, an enriched and an algebraic one, and we describe these more generally. In Part 2, we present a variety of theoretical and calculational cofibrant approximations in these model categories. The classical bar construction gives cofibrant approximations in the relative model structure, but generally not in the usual one. In the usual model structure, there are two quite different ways to lift cofibrant approximations from the level of homology modules over homology algebras, where they are classical projective resolutions, to the level of DG-modules over DG-algebras. The new theory makes model theoretic sense of earlier explicit calculations based on one of these constructions. A novel phenomenon we encounter is isomorphic cofibrant approximations with different combinatorial structure such that things proven in one avatar are not readily proven in the other.

研究の動機と目的

• 一般の可換環 R 上の微分付きホモロジー代数をモデル圏論を用いて現代化すること。特に、一般の可換環 R 上の微分付き代数上の DGモジュールに対して。
• 微分ねんみん積やスペクトル系列に関する初期研究における基礎的曖昧性を解消し、一貫性のあるモデル理論的枠組みを提供すること。
• 古典的意味でのコイディエント生成でない新しいモデル構造——特に相対的およびミックスモデル構造——を、小型対象の作用の新規バージョンを用いて構成すること。
• 抽象的なモデル圏的道具立てと、特にエイレンバーグ＝ムールスペクトル系列の文脈における代数的トポロジーの具体的計算を結びつけること。
• グーゲンハイムとメイの研究における「区別された分解」がモデル圏的コイディエント近似として果たす役割を明確化すること。

提案手法

• 可換環 R 上の微分付き代数 A 上の DGモジュールに、6つの射影型モデル構造を導入し、弱同値として3つの選択肢を採用： quasi-isomorphisms（準同型）、DG-Rモジュールとしてのホモトピー同値、DG-Aモジュールとしてのホモトピー同値。
• 古典的意味でのコイディエント生成でないモデル構造を構成するため、小型対象の作用の豊か化版および代数的バージョンを開発し、新しい相対的およびミックスモデル構造の構成を可能にする。
• 二重複体ではなく多複体（multicomplexes）を、モデル圏的セル構造の基本となるセル複体として用いることで、二重次数から多次数への微分の一般化を反映する。
• 相対的モデル構造において、古典的バー構成を用いてコイディエント近似を得るが、標準的モデル構造では失敗することを示す。
• ホモロジーにおける古典的射影的分解を、2通りの異なる方法で DGモジュールの分解に持ち上げる。同型なコイディエント近似が得られるが、それらの組合せ的構造は異なることを示す。
• グーゲンハイムとメイの「区別された分解」がモデル圏的コイディエント近似と等価であることを示し、それらの明示的計算への有用性を正当化する。

実験結果

リサーチクエスチョン

• RQ1 一般の可換環 R 上で、モデル圏論が微分ホモロジー代数に体系的に応用可能である方法は何か？特に、体ではなく一般の R 上で。
• RQ2 古典的バー構成が、DGモジュール上の与えられたモデル構造においてコイディエントな分解をもたらすための正確な条件は何か？
• RQ3 ホモロジーの分解から得られる2つの異なるコイディエント近似の構成法が、同型な DGモジュールをもたらすが、異なる組合せ的構造を持つのはなぜか？そして、ホモトピー的性質の証明に及ぼす影響は何か？
• RQ4 グーゲンハイムとメイの「区別された分解」が、モデル圏構造におけるコイディエント置換に対応する意味は何か？そして、それらの計算的有用性をどのように明確化できるか？
• RQ5 モデル理論的基盤を用いて、エイレンバーグ＝ムールスペクトル系列が拡張問題なしに収束することを示すには、スペクトル系列の議論だけでは示せない追加的な証明が必要となるのはなぜか？

主な発見

• 可換環 R 上の微分付き代数上の DGモジュールには6つのモデル構造が存在し、R が体である場合には3つが既知の構造に退化する。
• 相対的モデル構造では、古典的バー構成がコイディエント近似をもたらすが、標準的モデル構造ではそうではない。
• ホモロジーにおける射影的分解を DGモジュールの分解に持ち上げる2つの異なる構成法が存在し、同型な DGモジュールが得られるが、それらの組合せ的構造は異なる。
• グーゲンハイムとメイの「区別された分解」がモデル圏的コイディエント近似に等価であることが示され、明示的計算への応用が正当化された。
• H^*(Ff; R) の Eilenberg-Moore スペクトル系列は E^2 = E^lat を満たし、非自明な加法的拡張は存在しない。これは、同型 H^*(Ff; R) o ext{Tor}^{*}_{H^*(BG;R)}(H^*(BH;R), R) をモデル理論的コイディエント分解を用いて証明することで示された。
• スuspension 写像 ilde{H}^*(Y; R) o H^{*-1}( ext{Map}_*(Y, ext{pt}); R) の核は DH^*(Y; R) に等しく、同様にホモロジーに対しても双対的に成り立つ。これは、トポロジカル K理論における予想を確認するものである。