[論文レビュー] A Quillen theorem Bn for homotopy pullbacks

Clark Barwick, D Kan|arXiv (Cornell University)|Jan 25, 2011

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

ひとこと要約

この論文は、Quillenの定理Bをホモトピー下付き積へ拡張する。新しい構成 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ を導入し、$f$ が性質 $B_n$ を満たす（特に $\boldsymbol{Y}$ が性質 $C_n$ を持つ場合）ならば、これは zigzag $\boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}$ のホモトピー下付き積として機能する。主な結果は、通常の下付き積 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z}$ が $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ への標準的モノモルフィズム $k$ が弱同値であるとき、ホモトピー下付き積であるということである。

ABSTRACT

We prove an extension of the Quillen Theorem Bn for homotopy fibres to a similar result for homotopy pullbacks and use this to obtain sufficient conditions on a pullback diagram of categories to guarantee that it be a homotopy pullback.

研究の動機と目的

• zigzag 図式 $\boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}$ を持つ圏の間のホモトピーファイバーからホモトピー下付き積へ、Quillen の定理B を一般化すること。
• zigzag $\boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}$ の通常の下付き積 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z}$ がホモトピー下付き積であるための十分条件を確立すること。
• Quillen の Grothendieck の構成に関する基本的補題を活用することで、ホモトピー下付き積の結果について非帰納的証明を提供すること。
• 完全セガール空間におけるセガール条件の検証を簡略化するために、この結果を応用すること。特に、2つに6つ性質を満たし、3-矢印計算を持つ相対圏において有効である。
• そのような相対圏における弱同値の圏が性質 $C_3$ を持つことを示し、$n=3$ の場合に主定理を適用可能にすること。

提案手法

• zigzag $f: \boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}: g$ のホモトピー下付き積の候補として、新しい構成 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ を導入する。
• 関手 $(f\boldsymbol{X}\nabla_n -): \boldsymbol{Y} \to \mathbf{Cat}$ の Grothendieck の構成を用いて、ホモトピー下付き積圏を定義する。
• Quillen の鍵となる補題を活用する：関手 $F: \boldsymbol{D} \to \mathbf{Cat}$ が $\boldsymbol{D}$ のすべての射を弱同値に送る（性質 $Q$ を満たす）ならば、射影 $\pi: \operatorname{Gr}F \to \boldsymbol{D}$ のファイバーはホモトピーファイバーである。
• この補題を $(f\boldsymbol{X}\nabla_n g-)$ の Grothendieck の構成に $\boldsymbol{Z}$ 上で適用し、$(f\boldsymbol{X}\nabla_n gZ)$ が $Z$ 上のホモトピーファイバーであることを示す。
• $\pi: (f\boldsymbol{X}\nabla_n \boldsymbol{Y}) \to \boldsymbol{Y}$ と $g: \boldsymbol{Z} \to \boldsymbol{Y}$ を含む下付き積の正方形を構成し、ファイバーの同型性とホモトピーファイバーの性質を用いて、これがホモトピー下付き積であることを示す。
• $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z} \to (f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ への標準的モノモルフィズム $k$ が弱同値であるならば、下付き積がホモトピー下付き積であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 zigzag $\boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}$ の通常の下付き積 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z}$ がホモトピー下付き積であるための条件は何か？
• RQ2 圏値関手の文脈において、ホモトピーファイバーからホモトピー下付き積へ、Quillen の定理B をどのように拡張できるか？
• RQ3 性質 $B_n$（または $C_n$）は、構成 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ がホモトピー下付き積であることを保証するために果たす役割は何か？
• RQ4 完全セガール空間におけるセガール条件は、この拡張された定理を用いることで、特に単体的構造を持たない相対圏において、より簡略化して検証可能になるか？
• RQ5 関手 $(f\boldsymbol{X}\nabla_n g-)$ の Grothendieck の構成は、ホモトピー下付き積の性質の証明をどのように支援するか？

主な発見

• $f$ が性質 $B_n$ を満たす限り、構成 $(f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ は zigzag $f: \boldsymbol{X} \to \boldsymbol{Y} \from \boldsymbol{Z}: g$ のホモトピー下付き積である。
• $\boldsymbol{Y}$ が性質 $C_n$ を持つならば、$f$ は自動的に性質 $B_n$ を満たすので、より弱い仮定のもとでホモトピー下付き積の条件が満たされる。
• 通常の下付き積 $\boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z}$ がホモトピー下付き積であるのは、標準的モノモルフィズム $k: \boldsymbol{X} \times_{\boldsymbol{Y}} \boldsymbol{Z} \to (f\boldsymbol{X}\nabla_n g\boldsymbol{Z})$ が弱同値であるときである。
• 証明は Quillen の基本的補題に依拠している：関手 $F: \boldsymbol{D} \to \mathbf{Cat}$ がすべての射を弱同値に送る（性質 $Q$ を満たす）ならば、射影 $\pi: \operatorname{Gr}F \to \boldsymbol{D}$ のファイバーはホモトピーファイバーである。
• この結果により、定理 $B_n$ のホモトピーファイバー版に対する非帰納的証明が得られ、それが自然にホモトピー下付き積の場合へ拡張される。
• この定理により、完全セガール空間におけるセガール条件の検証が簡略化され、著者らの後続研究で示されるように、性質 $C_3$ を持つ圏における弱同値のチェックに帰着される。