[論文レビュー] The HELP-Lemma and its converse in Quillen model categories

R. M. Vogt|arXiv (Cornell University)|Apr 29, 2010

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

ひとこと要約

この論文は、HELPラマのQuillenモデルカテゴリへの一般化を確立し、ファイブレント対象間の写像が、すべてのコボルダにに関して右ホモトピー拡張被覆性を持つことと、弱同値であることの必要十分条件であることを証明する。その双対的命題はコボルダント対象間の写像に対しても成り立ち、弱同値のホモトピー的特徴づけを被覆性によって与える。

ABSTRACT

We show that a map between fibrant objects in a closed model category is a weak equivalence if and only if it has the right homotopy extension lifting property with respect to all cofibrations. The dual statement holds for maps between cofibrant objects.

研究の動機と目的

• 位相空間から任意の閉モデルカテゴリへの古典的HELPラマの拡張。
• 逆の特徴づけの確立：写像がすべてのコボルダに関して右ホモトピー拡張被覆性を満たすならば、それは弱同値である。
• Eckmann-Hilton双対性を用いてコボルダント対象間の双対的命題を証明する。
• モデルカテゴリにおける被覆性に基づく弱同値のホモトピー的基準を提供する。
• ストロムモデル構造における位相空間上で既知の結果を特別な場合として回復する。

提案手法

• パス対象と右ホモトピーを用いて、モデルカテゴリ内の写像に対する右ホモトピー拡張被覆性（HELP）を定義する。
• パス対象と積構成を含む引き戻し図式を用いて、被覆条件を分析する。
• パス対象 $ P $ と自明なファイブレーション $ q_3 $ を含む引き戻し図式を構成し、被覆性の振る舞いを分析する。
• 自明なファイブレーションがコボルダに対して右被覆性を有することを応用し、$ q_3 $ が自明なファイブレーションであることを示す。
• 右ホモトープな写像が弱同値を保存することを用いて、$ p $ が弱同値であると結論づける。
• ファイブレント対象とコボルダント対象の間の双対性を活用し、双対的命題を導出する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、すべてのコボルダに関して右ホモトピー拡張被覆性を有することは、モデルカテゴリにおける弱同値を特徴づけるか？
• RQ2 位相空間における古典的HELPラマは、任意の閉モデルカテゴリへ一般化可能か？
• RQ3 Quillenモデルカテゴリにおいて、HELPラマの逆は成り立つか：HELP性質は弱同値を意味するか？
• RQ4 ファイブレント対象とコボルダント対象の間の双対性は、弱同値を特徴づける被覆性にどのように現れるか？
• RQ5 ストロムモデル構造における位相空間 $ \mathcal{T}\!op $ において、古典的位相的HELPラマの特別な場合として回復されるか？

主な発見

• 閉モデルカテゴリにおけるファイブレント対象間の写像 $ p: X \to Y $ は、すべてのコボルダに関して右ホモトピー拡張被覆性を持つことと、弱同値であることの必要十分条件である。
• 双対的命題が成り立つ：コボルダント対象間の写像 $ i: A \to B $ は、すべてのファイブレーションに関して左ホモトピー拡張被覆性を持つことと、弱同値であることの必要十分条件である。
• 証明は、パス対象 $ Y^I $、引き戻し $ P $ を含む引き戻し図式を構成し、射影 $ q_3: P \to Y $ が自明なファイブレーションであることを示すことに依存する。
• この構成により、$ q_3 $ が弱同値であり、かつファイブレーションであることが示され、これは $ p $ が弱同値であることを強制する被覆性を意味する。
• 弱同値に右ホモトープな写像は、自身が弱同値であるという事実を用いて、弱同値の性質の推移性を保証する。
• この結果により、弱同値がホモトピー同値であるとされるストロムモデル構造 $ \mathcal{T}\!op $ において、古典的位相的HELPラマの特別な場合が回復される。