[論文レビュー] Homotopy limits and colimits and enriched homotopy theory

Michael Shulman|arXiv (Cornell University)|Oct 5, 2006

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

ひとこと要約

この論文は、豊広化ホモトピー理論における古典的な明示的構成（バー構成）と抽象的な導来函手アプローチの間の同値性を確立する。豊広化ホモトピー的圏を、豊広化モデル圏の一般化として導入し、古典的構成が豊広化設定でも正しい導来函手をもたらすことを証明することで、古典的および現代的ホモトピー理論を統一する。

ABSTRACT

Homotopy limits and colimits are homotopical replacements for the usual limits and colimits of category theory, which can be approached either using classical explicit constructions or the modern abstract machinery of derived functors. Our first goal in this paper is expository: we explain both approaches and a proof of their equivalence. Our second goal is to generalize this result to enriched categories and homotopy weighted limits, showing that the classical explicit constructions still give the right answer in the abstract sense. This result partially bridges the gap between classical homotopy theory and modern abstract homotopy theory. To do this we introduce a notion of "enriched homotopical categories", which are more general than enriched model categories, but are still a good place to do enriched homotopy theory. This demonstrates that the presence of enrichment often simplifies rather than complicates matters, and goes some way toward achieving a better understanding of "the role of homotopy in homotopy theory."

研究の動機と目的

• ホモトピー理論における古典的な明示的構成（例：バー構成）と抽象的な導来函手アプローチの一致を確立すること。
• これらの二つのアプローチの同値性を豊広化圏および重み付きホモトピー余極限へと一般化すること。
• 豊広化ホモトピー的圏の理論を導入し、発展させること。これは、豊広化ホモトピー理論のための、豊広化モデル圏よりも広い枠組みである。
• 豊広化がホモトピー理論を単純化することを示し、ホモトピーの役割をより深く理解する支援をすること。
• 古典的および現代的ホモトピー的枠組みにおけるホモトピー極限および余極限の統一的取り扱いの基盤を提供すること。

提案手法

• 単体的または位相的圏におけるホモトピー余極限の計算に、古典的な明示的手法としてバー構成を用いる。
• 変形理論と局所化を用いて導来函手フレームワークを適用し、普遍的性質によってホモトピー極限をグローバルに定義する。
• ファイブレーションやコファイブレーションを要件としない、豊広化モデル圏の一般化としての豊広化ホモトピー的圏を導入する。
• バー構成が導来函手の普遍的性質を満たすことを示し、豊広化二重バー構成が正しいホモトピー余極限を計算することを確立する。
• リーディー・モデル構造とリーディー・コファイブレーショ条件を用いて、豊広化設定におけるバー構成のホモトピー的よい性質を検証する。
• 函手のテンソル積とカーン拡張を用いて、バー構成を余極限函手の導来函手と関連づけ、主要な同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 古典的な明示的構成（例：バー構成）によるホモトピー極限は、豊広化圏において導来函手によって定義されたものと同じ対象を計算するか？
• RQ2 完全なモデル圏構造を要件としない豊広化設定へと、導来函手によるホモトピー極限の定義を拡張できるか？
• RQ3 豊広化圏において、古典的なバー構成が正しいホモトピー余極限をもたらすために必要な構造的条件は何か？
• RQ4 豊広化はホモトピー理論の複雑さにどのように影響を与えるか—単純化するのか、それとも複雑化するのか？
• RQ5 リーディー・コファイブレーショが、豊広化設定におけるバー構成に基づくホモトピー余極限の正しさを保証するために果たす役割は何か？

主な発見

• 豊広化圏における古典的バー構成は、余極限函手の導来函手が定義する同じ対象を計算する。
• 豊広化二重バー構成は、余極限函手の導来函手の普遍的性質を満たし、二つのアプローチの同値性を確立する。
• バー構成を用いて構成された図式 $\mathscr{Q}F$ は $\mathscr{M}^{\Delta\mathscr{D}}$ においてリーディー・コファイブレーショであるため、ホモトピー余極限が適切に定義される。
• 二つのリーディー・コファイブレーショな図式のテンソル積はリーディー・コファイブレーショである。これは $\mathscr{Q}F$ のコファイブレーショの証明を可能にする重要な技術的結果である。
• フレーミングや分解を用いて、単体的モデル圏から任意のモデル圏へと証明を一般化でき、広範な適用可能性を示している。
• 豊広化ホモトピー的圏は、豊広化モデル圏よりも広い枠組みでありながら、導来函手やホモトピー極限を支持する適切なフレームワークを提供する。