[論文レビュー] The Equivalence Extension Property and Model Structures

Christian Sattler|arXiv (Cornell University)|Apr 23, 2017

Logic, programming, and type systems参考文献 13被引用数 15

ひとこと要約

本稿は、位相空間や最小複体、Kanの$<code>\operatorname{Ex}^\infty$関手に依存せずに、単体的集合上のKanモデル構造の初等的で構成的な構成を提示する。同定拡張性質—立方体的集合における接着構成から導かれる—を、ファイブラーシーとモデル構造の公理を確立する中心的な技術的道具として導入し、カテゴリー論的枠組みの中で、純粋に圏論的および組合せ論的メソッドを用いてKanモデル構造の新しい証明に至る。

ABSTRACT

We give an elementary construction of a certain class of model structures. In particular, we rederive the Kan model structure on simplicial sets without the use of topological spaces, minimal complexes, or any concrete model of fibrant replacement such as Kan's Ex^infinity functor. Our argument makes crucial use of the glueing construction developed by Cohen et al. in the specific setting of certain cubical sets.

研究の動機と目的

• 位相空間や具体的なファイブランティッド置換関手（例：$\operatorname{Ex}^\infty$）を用いない、単体的集合上のKanモデル構造の構成的で初等的な導出を提供すること。
• 同定拡張性質—立方体型理論における接着構成の圏論的一般化—を、モデル構造の構成に用いる主要な技術的道具として開発・応用すること。
• 弱因子分解系と関手的シリンダーからQuillenモデル構造を構成するための十分条件を確立すること、特に洗練されたリーディー圏の文脈において。
• 選択公理や非構成的仮定に依存せずに、ファイブラーシーと弱同値の2つ中2の性質が、拡張性質と局所的ファイブラーシー条件のみから導かれるかどうかを示すこと。

提案手法

• 同定拡張性質を、ファイブレーションに沿って同値を拡張できる圏論的上昇条件として導入し、一方のファイブレーションが拡張可能である場合に、その同値をコフェイブレーションに沿って拡張可能とする。
• モノイダル構造と端点および接続を持つ区間対象から導かれる、圏$\cal{E}$上の関手的シリンダー構造を用いる。
• 2つの弱因子分解系を定義する：$\mathbf{C} = \cal{M}$（コフェイブレーションを生成）と$\mathbf{F}$（$\{<\delta_0,\delta_1\}> \widehat{\otimes} \cal{M}$に対して上昇するファイブレーションとして定義）、$\mathbf{TC}$と$\mathbf{TF}$を中間クラスとする。
• 拡張性質が成り立つこととファイブレーションが局所的であること（A.2）を仮定する基準（定理2.6）を適用する。
• 生成する平凡なコフェイブレーションの余域が表現可能である場合の上昇により、局所的ファイブレーションの概念を定義し、ファイブランティッド置換条件を満たすことを保証する。
• $\Delta$の洗練されたリーディー圏構造を活用し、単体的集合におけるモノイド的同型が境界包含のコベース変換の$\omega$-合成として表せることを保証する。これは、拡張性質の検証における重要なステップである。

実験結果

リサーチクエスチョン

• RQ1 単体的集合上のKanモデル構造は、位相空間や明示的なファイブランティッド置換関手（例：$\operatorname{Ex}^\infty$）に依存せずに再構成可能か？
• RQ2 立方体型理論における接着構成は、モデル構造の構成に用いる圏論的原則へとどのように抽象化可能か？
• RQ3 生成する平凡なコフェイブレーションの余域が小さな対象でない場合に、ファイブレーションの弱因子分解系が局所的であるための条件は何か？
• RQ4 同定拡張性質は、洗練されたリーディー圏上のプレシアーヴェの圏におけるモデル構造の構成に統一的原則として機能できるか？

主な発見

• 単体的集合上のKanモデル構造は、位相空間や$\operatorname{Ex}^\infty$に言及せず、同定拡張性質と関手的シリンダーのみを用いて再構成された。
• 同定拡張性質は、ファイブレーションが平凡なコフェイブレーションに沿って上昇可能であるための十分条件として確立され、弱因子分解系からモデル構造を構成する手がかりとなった。
• $\{<\delta_0,\delta_1\}> \widehat{\otimes} \cal{M}$として定義されるファイブレーションは通常のKanファイブレーションと一致し、その局所性（A.2）は、表現可能な余域を持つホーン包含に対する上昇により確認された。
• この構成は構成的であり、選択公理を除いては使用せず、単体的集合におけるモノイド的同型の分解に限っては、退化の特定に排中律の公理を用いている。
• 補題8.5では、単体的集合が、同定拡張性質と$\Delta$の洗練されたリーディー構造のみを用いて、通常のKanファイブレーションに等しいファイブレーションを持つ適切なCisinskiモデル構造を備えることが示された。