[論文レビュー] The homotopy theory of equivalence relations

Finnur Lárusson|arXiv (Cornell University)|Nov 12, 2006

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

ひとこと要約

この論文は、同値関係の圏（分割された集合とみなされる）に対して、ファイブレーションを商写像、コフェイブルレーションを単射、弱同値を商集合上の双対写像とする基礎的なモデル構造を確立する。主な貢献は、このモデル構造が適切でかつ結合的である（が、セルラー的ではない）ことの証明であり、ホモトピー余極限が通常の余極限と一致すること、抽象的ホモトピー理論のための明確でアクセス可能なモデルを最小限の技術的負担で提供することにある。

ABSTRACT

We give a detailed exposition of the homotopy theory of equivalence relations, perhaps the simplest nontrivial example of a model structure.

研究の動機と目的

• 同値関係を、最も単純な非自明なモデル圏として用いることで、抽象的ホモトピー理論への自己完結的でアクセス可能な入門を提供すること。
• 同値関係の圏が、明確な幾何的・圏論的解釈を持つ、うまく整ったモデル構造を備えていることを示すこと。
• 高次の構造（例えば単体的集合）が不必要に複雑になる幾何的・図式的ホモトピー理論の応用において、基礎的ツールとして機能すること。
• この文脈におけるホモトピー極限と余極限の振る舞いを明確にし、余極限が分解写像を保存することを示すこと。

提案手法

• 単射写像をコフェイブルレーション、同値類を保存する商写像をファイブレーション、商集合上の双対写像を誘導する写像を弱同値とする。
• 分割された集合の圏において、クイレンのモデル圏の公理を検証する。
• モデル構造が適切であることを示す：コフェイブルレーションに沿った押し出しは弱同値を保存し、ファイブレーションに沿った引き戻しも弱同値を保存する。
• 生成コフェイブルレーションおよび生成分解コフェイブルレーションの小さな集合を構成することで、モデル構造が結合的であることを証明する。
• 同値関係の層の圏における点ごとのファイブレーション構造を用いてホモトピー極限を構成する。
• 写像パス空間構成を用いてホモトピー被覆を、積への写像の等化子として実現し、ホモトピー等化子と同型であることを示す。

実験結果

リサーチクエスチョン

• RQ1 同値関係の圏にモデル構造を定義できるか。また、クイレンの公理を満たすか。
• RQ2 得られるモデル構造は適切か、結合的か、セルラー的か。
• RQ3 このモデル構造において、通常の余極限がホモトピー余極限を計算するか。
• RQ4 ホモトピー極限はどのように振る舞い、明示的に構成可能か。
• RQ5 層の圏における点ごとのファイブレーション構造は、同値関係の圏において果たす役割は何か。

主な発見

• 同値関係のモデル構造のホモトピー圏は、集合の圏と同値であり、π₀レベルの情報しか反映しない。
• モデル構造は適切である：コフェイブルレーションに沿った押し出しと、ファイブレーションに沿った引き戻しの両方が弱同値を保存する。
• モデル構造は結合的だがセルラー的ではない。これは、単体的集合や位相空間の標準的モデル構造とは異なる。
• ホモトピー余極限は通常の余極限と一致する。余極限が分解写像を保存するためである。
• ホモトピー極限は通常の極限によって保存されない。写像パス空間を用いて構成され、一対の写像のホモトピー等化子と同型である。
• 層の圏において、ホモトピー極限と余極限は点ごとに計算可能であり、点ごとの分解写像は余極限における分解写像を誘導する。