[論文レビュー] On the Dreaded Right Bousfield Localization

Clark Barwick|ArXiv.org|Aug 25, 2007

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

ひとこと要約

この論文は、右プロパー性の仮定を必要としない右半モデル圏における右ボウスフィールド局所化の存在を確立する。右半モデル圏において、右プロパー性の仮定なしにこのような局所化が存在することを証明し、左クワイレン・プレシャーファのホモトピー極限のモデルを右半モデル圏として構成する応用を行う。

ABSTRACT

I verify the existence of right Bousfield localizations of right semimodel categories, and I apply this to construct a model of the homotopy limit of a left Quillen presheaf as a right semimodel category.

研究の動機と目的

• 右ボウスフィールド局所化が通常のモデル圏において右プロパー性を要件としているという制限を解消すること。
• 特に右プロパー性が成立しない文脈においても、右ボウスフィールド局所化の理論をプロパーなモデル圏を超えて拡張すること。
• 左クワイレン・プレシャーファのホモトピー極限を右半モデル圏を用いて構成するための枠組みを提供すること。
• 完全なモデル圏構造が存在しない状況へと古典的な右ボウスフィールド局所化を一般化すること。
• 非プロパーな文脈におけるホモトピー論的構成を半モデル圏を用いて基礎づけること。

提案手法

• 目標がファイブレントである場合にのみ因数分解およびライティング公理が成り立つ右半モデル圏の概念を導入する。
• 構造的なホモトピー的圏の一般論を応用し、この文脈における右ボウスフィールド局所化を定義する。
• 右プロパー性を仮定せずに必要な公理を検証することで、局所化を右半モデル圏として構成する。
• コボルント・ホモトピー生成子と導来関手による本質的像を用いて、局所化された圏の小さな生成子の集合を構築する。
• ホモトピークリティカルなセクションが生成子の有限ホモトピーコロイムによって構成可能であることを示すことにより、左クワイレン・プレシャーファに局所化を適用する。
• この構成により、左クワイレン・プレシャーファのホモトピー極限が右半モデル圏としてのモデル構造を有することを確立する。

実験結果

リサーチクエスチョン

• RQ1 モデル圏において右プロパー性が成り立たない状況下でも、右ボウスフィールド局所化を構成できるか？
• RQ2 非右プロパーな圏に適用可能な、右ボウスフィールド局所化の一般枠組みは存在するか？
• RQ3 左クワイレン・プレシャーファのホモトピー極限を右半モデル圏構造を用いてモデル化できるか？
• RQ4 右半モデル圏が特定の対象の集合に関して、適切に振る舞う局所化を支持するための条件は何か？
• RQ5 コボルント生成子をどのように用いて、プレシャーファのホモトピー極限の代表元の小さな集合を構成できるか？

主な発見

• 元の圏が右プロパーでなくても、右ボウスフィールド局所化は右半モデル圏として存在する。
• 局所化は、目標がファイブレントでない場合の因数分解およびライティング公理を除き、すべてのモデル圏公理を検証することで構成される。
• この局所化手順により、左クワイレン・プレシャーファのホモトピー極限が右半モデル圏としてのモデル構造を有する。
• プレシャーファの任意のホモトピークリティカルなセクションは、本質的像のコボルント・ファイブレント代表元から構成されるセクションのホモトピーコロイムとして表現可能である。
• コボルント・ホモトピークリティカルなセクションの小さな集合 $ G $ が、ホモトピー極限のホモトピー圏を生成する。
• この構成はコボルント生成子の選択に依存せず、プレシャーファ内の関手の本質的像にのみ依存する。