[論文レビュー] dw-n-Projective model structures on chain complexes

Marco A. Pérez|arXiv (Cornell University)|Feb 12, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用数 1

ひとこと要約

この論文は、ホモロジー次元、特に射影次元と平坦次元を活用することで、環 R 上の複体の在り方として一意的なアーベルモデル構造を構築する。exact 複体を自明な対象とするとき、各項の射影次元が n 以下である複体が自明にコクリッフな対象となることが示され、射影的項を用いたコクリッフな対象としての先行結果を拡張する。

ABSTRACT

We construct Abelian model structures on the category of chain complexes over a ring $R$, from the notion homological dimensions of modules. Given an integer $n > 0$, we prove that the left modules over a ringoid $\mathfrak{R}$ with projective dimension at most $n$ form the left half of a complete cotorsion pair. Using this result we prove that there is a unique Abelian model structure on the category of chain complexes where the exact complexes are the trivial objects and the complexes with projective dimension at most $n$ form the class of trivially cofibrant objects. In the paper Cotorsion pairs in C($R$-Mod), the authors construct an Abelian model structure on chain complexes, where the trivial objects are the exact complexes and the class of cofibrant objects is given by the complexes whose terms are all projective. We extend this result by finding a new Abelian model structure with the same trivial objects and where the cofibrant objects are given by the class of complexes whose terms are modules with projective dimension at most $n$. We also prove similar results concerning the flat dimension.

研究の動機と目的

• 射影的項をコクリッフな対象として用いた既存のアーベルモデル構造を、各項の射影次元が n 以下である複体に置き換えることで、複体上のアーベルモデル構造を拡張すること。
• 射影次元 ≤ n を満たす R-加群の族が、環oid R 上の左 R-加群の圏における完全なコトルーションペアの左半分をなすことを確立すること。
• exact 複体を自明な対象とし、各項の射影次元 ≤ n を満たす複体を自明にコクリッフな対象とするような、複体の圏上の一意的なアーベルモデル構造の存在を証明すること。
• 類似の結果を平坦次元のケースに拡張し、平坦次元制約に対する双対的構成を提供すること。

提案手法

• 特に射影次元を含むモジュールのホモロジー次元の概念を用いて、複体のクラスを定義する。
• 射影次元が n 以下の左 R-加群の族が、R-加群の圏における完全なコトルーションペアの左半分をなすことを証明する。
• exact 複体を自明な対象とし、各項の射影次元 ≤ n を満たす複体を自明にコクリッフな対象とするように、R 上の複体の圏にアーベルモデル構造を構成する。
• 完全なコトルーションペアを活用して、モデル構造の存在と一意性を確立する。
• 射影モジュールの代わりに平坦モジュールを用いることで、平坦次元へのアプローチを双対化し、構成を拡張する。
• 得られた構造が、因子分解および上昇性の公理を含むアーベルモデル構造の公理を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 複体の各項に射影次元が有界であるという条件を用いて、複体上のアーベルモデル構造を構築できるか？
• RQ2 exact 複体を自明な対象とし、各項の射影次元 ≤ n を満たす複体を自明にコクリッフな対象とするような、一意的なアーベルモデル構造が存在するか？
• RQ3 コクリッフなクラスに射影次元 ≤ n を条件として用いる場合と、射影的モジュールを用いる場合とを比較すると、どのような違いが生じるか？
• RQ4 射影次元の代わりに平坦次元を用いた類似の結果を得られるか？
• RQ5 完全なコトルーションペアは、このようなモデル構造の構築において果たす役割は何か？

主な発見

• 環 R 上の複体の圏には、自明な対象が exact 複体であり、各項の射影次元が n 以下である複体が自明にコクリッフな対象である一意的なアーベルモデル構造が存在する。
• 射影次元が n 以下の加群の族は、左 R-加群の圏における完全なコトルーションペアの左半分をなす。
• 射影的モジュールをコクリッフなクラスとして用いた先行研究を一般化し、有界射影次元を持つモジュールに置き換えた。
• 平坦次元 ≤ n を満たす複体が自明にコクリッフな対象であるような、同様のアーベルモデル構造が平坦次元についての双対的構成によって確立された。
• モデル構造は、自明な対象と複体の各項のホモロジー次元の上限によって完全に特徴づけられる。