[論文レビュー] Fibrations and homotopy colimits of simplicial sheaves

Charles Rezk|ArXiv.org|Nov 6, 1998

Homotopy and Cohomology in Algebraic Topology参考文献 7被引用数 30

ひとこと要約

この論文は、Grothendieckサイト上の単体的シェーブの圏において、ホモトピー・プルバックがホモトピー・コロイドに分配することを確立し、位相空間におけるPuppeの結果を一般化する。同論文では、準ファイブレーションのホモトピー的類似物たる「シャープ写像」の概念を導入する。このシャープ写像は逆像関手に関して保存され、グリーディング性質を満たす。これにより、単体的シェーブにおける小オブジェクト法とモデル圏論的技法を用いて分配性の証明が可能になる。

ABSTRACT

We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors between categories of simplicial sheaves preserve homotopy pullback squares. The method we use introduces the notion of a sharp map, which is analogous to the notion of a quasi-fibration of spaces, and seems to be of independent interest.

研究の動機と目的

• 位相空間におけるホモトピー・プルバックとコロイドに関するPuppeの結果を、Grothendieckサイト上の単体的シェーブの設定に一般化すること。
• 単体的シェーブに対して、ベースチェンジとグリーディングに関して良好に振る舞う、準ファイブレーションのホモトピー的一般化たる「シャープ写像」の導入と研究すること。
• 単体的シェーブの圏間の逆像関手がホモトピー・カルテジアン四角形を保存することを示し、層化をホモトピー的文脈に拡張すること。
• 小オブジェクト法を用いて単体的シェーブにモデル圏構造を構成し、ファイブレーションをリフト性質によって特徴付けること。
• シャープ写像がホモトピー・コロイドに関して保存されることを示し、これにより主な分配性結果を証明すること。

提案手法

• すべてのベースチェンジがホモトピー・カルテジアン四角形を与える写像として『シャープ写像』を導入し、位相における準ファイブレーションを一般化する。
• 小オブジェクト法を用いて、単体的シェーブのモデル圏において、コボルダルとファイブレーションへの分解を構成する。
• 生成的アセイクルコボルダル $yb \times \Lambda^k[n] \to yb \times \Delta[n]$ に対する右リフト性質を満たす写像として、自明ファイブレーションを特徴付ける。
• 層トポスのブール性を活用して、単体的シェーブのフィルトレーションを構成し、リフト性質を証明する。
• 自明コボルダルのクラスが、生成的アセイクルコボルダルに沿ったプッシュアウトの順序数反復のリトラクトと完全に一致することを証明する。
• フィルタードコロイドにおけるリフト引数を用いて確立されたシャープ写像のグリーディング性質を応用し、ホモトピー・コロイドに関して保存されることを示す。

実験結果

リサーチクエスチョン

• RQ1 Grothendieckトポス上の単体的シェーブの圏において、ホモトピー・プルバックがホモトピー・コロイドに分配するか？
• RQ2 準ファイブレーションの概念を、ピッチングとベースチェンジといった主要なホモトピー的性質を保つ形で、単体的シェーブに一般化できるか？
• RQ3 単体的シェーブの圏間の逆像関手がホモトピー・カルテジアン四角形を保存するか？
• RQ4 単体的シェーブのモデル圏において、関手的分解を構成する小オブジェクト法が存在するか？
• RQ5 シャープ写像はホモトピー・コロイドに関して保存されるか？ もしそうならば、これはどのようにプルバックのコロイドへの分配性を示唆するか？

主な発見

• 単体的シェーブにおいてホモトピー・プルバックがホモトピー・コロイドに分配する：$Y$ がホモトピー・コロイドの図式であり、すべての四角形 (1.2) がホモトピー・カルテジアンであれば、$X$ もホモトピー・コロイドの図式である。
• 逆像関手 $p^*: s\mathcal{E}' \to s\mathcal{E}$ はホモトピー・カルテジアン四角形を保存するため、層化はホモトピー・プルバックを保存する。
• すべてのベースチェンジがホモトピー・カルテジアン四角形を与える写像としてのシャープ写像は、ホモトピー・コロイドに関して保存され、これが分配性結果の証明の鍵となる。
• 単体的シェーブにおけるモデル圏構造は小オブジェクト法によって構成され、ファイブレーションは $yb \times \Lambda^k[n] \to yb \times \Delta[n]$ に対するリフト性質によって特徴付けられる。
• $s{\operatorname{Sh}}{\mathcal{B}}$ における自明コボルダルのクラスは、生成的アセイクルコボルダルに沿ったプッシュアウトの順序数反復のリトラクトと完全に一致する。
• シャープ写像は、ホモトピー的整合性のある図式に沿ってグリーディング可能であり、これは位相における準ファイブレーションのピッチング性質を一般化する。