[論文レビュー] Algebraic models for higher categories

Thomas Nikolaus|arXiv (Cornell University)|Mar 6, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 6

ひとこと要約

この論文はモデル圏における代数的ファイブレーション対象を導入し、これらの対象上の組合せ的モデル構造を構成する。代数的ケイアン複体と代数的準同型圏をそれぞれ∞-群体と(∞,1)-圏の代数的モデルとして提案し、単体的集合と代数的ケイアン複体の間のクィレン同値性によりホモトピー仮説を証明する。

ABSTRACT

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an algebraic model for oo-groupoids and algebraic quasi-categories as an algebraic model for (oo,1)-categories. We furthermore give an explicit proof of the homotopy hypothesis.

研究の動機と目的

• 一般のモデル圏における代数的ファイブレーション対象の枠組みを構築し、標準的モデル圏におけるファイブレーション対象の非代数的かつ非扱いにくい性質に対処すること。
• ケイアン複体の制限（非一意的な合成や余極限の欠如）を、指定された埋め込みを備えることで解決し、代数的ケイアン複体を導出すること。
• 代数的準同型圏を(∞,1)-圏の扱いやすいモデルとして確立し、代数的ケイアン複体が∞-群体をモデル化するのと同様の役割を果たすようにすること。
• 代数的設定においてホモトピー仮説を証明し、代数的ケイアン複体が同値の意味で∞-群体をモデル化することを示すこと。
• ジョイアルの単体的集合上のモデル構造を含む他のモデル圏への一般化を試み、(∞,1)-オペラドや∞-スタックへの応用を示唆すること。

提案手法

• モデル圏Cにおける代数的ファイブレーション対象を、すべての昇降問題に対する埋め込みの選択を備えたファイブレーション対象として定義し、それらがなす圏をAlgCと表す。
• C上のモノイドTを用いてAlgCがCにモノイド的であることを確立し、モノイド的定理を用いてAlgCが良い圏的性質を引き継ぐことを保証する。
• Cのモデル構造を引き上げることで、AlgCに組合せ的モデル構造を構成し、すべての対象がファイブレーション的であり、(co)極限が存在することを保証する。
• CからAlgCへの包含がクィレン同値であることを証明し、AlgCがCが定める(∞,1)-圏と同一視できることを示す。
• 一般の構成を、クィレンおよびジョイアルのモデル構造を備えた単体的集合に適用し、代数的ケイアン複体と代数的準同型圏を導出する。
• 代数的準同型圏から代数的ケイアン複体への忘却関手Vを定義し、左随伴Gを構成し、(G,V)がクィレン随伴であることを示す。

実験結果

リサーチクエスチョン

• RQ1 モデル圏におけるファイブレーション対象に代数的構造（すなわち、指定された埋め込み）を付与することで、高次圏の扱いやすい代数的モデルが得られるか？
• RQ2 モデル圏における代数的ファイブレーション対象の圏は、元のモデル圏とクィレン同値か？
• RQ3 代数的ケイアン複体の構成は、ホモトピー仮説を満たす有効な代数的モデルであり、∞-群体を正しくモデル化するか？
• RQ4 代数的ファイブレーション対象の一般枠組みを、(∞,1)-圏や∞-スタックをモデル化する他のモデル圏へ拡張できるか？
• RQ5 代数的準同型圏と代数的ケイアン複体の関係は何か？この関係を用いて、精錬されたホモトピー仮説を証明できるか？

主な発見

• モデル圏Cにおける代数的ファイブレーション対象の圏は、組合せ的モデル構造を備えており、Cが定める(∞,1)-圏の扱いやすいモデルである。
• 代数的ケイアン複体は、すべての小さな極限と余極限を備えた局所的生成圏であり、ケイアン複体の圏における主要な制限を解消する。
• 代数的ケイアン複体から単体的集合への忘却関手はクィレン同値である。これにより、代数的ケイアン複体が∞-群体をモデル化することが確立される。
• 代数的設定においてホモトピー仮説が成立する：空間の基本的∞-群体は、その代数的ケイアン複体モデルと同値である。
• 代数的準同型圏の圏は、左随伴関手Gを介して代数的ケイアン複体の圏とクィレン同値であり、Gは弱同値を保存する。
• Cにおけるファイブレーション置換モノイドT（CとAlgCの随伴から生じる）は、ホモトピー論的構成における図式の代数的置換を体系的に提供する。