[論文レビュー] On fibrant objects in model categories

Valery Isaev|arXiv (Cornell University)|Dec 16, 2013

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

ひとこと要約

本稿は、モデル圏におけるファイブラン対象間の弱同値の特徴付けを提供し、すべての対象がファイブランであるとき、弱同値は生成するコフェイブルレーションによって完全に記述可能であることを示している。すべての対象がファイブランであるようなモデル構造を構成するための方法を確立し、単純で検証可能な条件を満たすことで、生成する自明なコフェイブルレーションの明示的構成が可能となり、このような設定におけるモデル圏公理の検証が簡略化される。

ABSTRACT

In this paper, we study properties of maps between fibrant objects in model categories. We give a characterization of weak equivalences between fibrant object. If every object of a model category is fibrant, then we give a simple description of a set of generating cofibrations. We show that to construct such model structure it is enough to check some relatively simple conditions.

研究の動機と目的

• 生成するコフェイブルレーションを用いて、モデル圏におけるファイブラン対象間の弱同値を特徴付けること。
• すべての対象がファイブランであるようなモデル圏を構成するための構成的メソッドを提供すること。
• このようなモデル構造がそのコフェイブルレーションのクラスによって一意に決定され、弱同値のクラスにおいて最小であることを示すこと。
• すべての対象がファイブランである場合に、生成する自明なコフェイブルレーションの明示的で単純な構成を提供すること。
• すべての対象がファイブランであるモデル構造のクラスが、左決定的モデル構造のクラスよりも厳密に狭いことを示すこと。

提案手法

• 写像間のホモトピー関係を定義するため、相対的シリンダー対象とホモトピー拡張性質の使用。
• 純粋な準同型とホモトピー関係に沿った上昇性質の導入により、ファイブラン対象を分析。
• I に属する定義域に関して ∼*（ホモトピー関係の反射的推移的閉包）に対する右上昇性質を有する、J_I-cell と呼ばれる写像のクラスの定義。
• X∐X → X への [id_X, id_X] のファクタリゼーションを通じたシリンダー対象の構成。
• ホモトピー拡張性質および対称性の性質（例えば、C(X) 上の反転 s の存在）の検証により、モデル構造公理との整合性を保証。
• これらの条件を用いて、生成するコフェイブルレーションおよびシリンダー対象に関する簡単なチェックを通じて、位相空間および厳密 ω-圏上のモデル構造を構築する。

実験結果

リサーチクエスチョン

• RQ1 モデル圏におけるファイブラン対象間の弱同値はどのように特徴付けられるか？
• RQ2 すべての対象がファイブランであるようなモデル構造は、単純で局所的な条件の検証のみで構築可能か？
• RQ3 すべての対象がファイブランである場合に、生成する自明なコフェイブルレーションを明示的にどのように構成できるか？
• RQ4 すべての対象がファイブランであるモデル構造と左決定的モデル構造の間にはどのような関係があるか？
• RQ5 単射がコフェイブルレーションであるような左決定的モデル構造が存在するからといって、単体的集合においてすべての対象がファイブランであるモデル構造が存在するとは限らないのはなぜか？

主な発見

• ファイブラン対象間の弱同値は、生成するコフェイブルレーションに関して ∼* に対する右上昇性質によって特徴付けられ、弱同値の簡単な基準を提供する。
• すべての対象がファイブランであるとき、弱同値のクラスはコフェイブルレーションのクラスによって一意に決定され、すべての同様のモデル構造の中で最小である。
• ホモトピー拡張性質およびシリンダー対象を用いることで、定義域および被定義域の濃度に制限を課すことなく、生成する自明なコフェイブルレーションの集合を明示的に構成可能である。
• すべての対象がファイブランであるモデル構造の存在は、左決定性よりも厳密に制限が厳しい。例えば、単体的集合において単射をコフェイブルレーションとする場合、シリンダー構成に障害があるため、このような構造は存在しない。
• 定理 4.2 および命題 4.6 における構成法により、生成するコフェイブルレーションおよびシリンダー対象に関する簡単なチェックを通じて、モデル圏公理の検証が可能であることが示されており、これは位相空間上の標準的モデル構造で確認されている。