[論文レビュー] The Local Joyal Model Structure

Nicholas J. Meadows|arXiv (Cornell University)|Jul 31, 2015

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

ひとこと要約

本稿は、ブールサイト上の単体的シェーブの局所ジョイアルモデル構造を導入し、局所カーン同値を局所ジョイアル同値に置き換えることで、ジャルディーヌモデル構造を一般化する。このモデル構造では、ファイブレーションが局所的クーラー・ファイブレーション、弱同値が局所ジョイアル同値であるQuillenモデル構造が確立されており、これにより経路圏を介した高次元オートマトンのホモトピー論的解析や降下理論が可能になる。

ABSTRACT

It is shown that the Joyal quasi-category model structure for simplicial sets extends to a model structure on simplicial presheaves, for which the weak equivalences are local (or stalkwise) Joyal equivalences.

研究の動機と目的

• quasiカテゴリと経路圏を用いて高次元オートマトンのホモトピー論的枠組みを構築すること。
• 局所カーン同値を局所ジョイアル同値に置き換えることで、ジャルディーヌモデル構造を一般化すること。
• ブールサイト上の単体的シェーブに、局所ジョイアル同値を弱同値とするQuillenモデル構造を確立すること。
• 降下理論とホモトピー不変性を用いて、並列系の局所的から大域的への解析を可能にすること。
• ファイブレーションと弱同値を、局所的性質とジョイアルのτ₀不変量を用いて特徴付けること。

提案手法

• ブール局所化の技法を適応し、単体的シェーブ上の局所ジョイアルモデル構造を構成する。
• 経路圏関手 P: sSet → Cat を、ジョイアル同値を検出するホモトピー不変量として用いる。
• 局所ジョイアル同値を、すべての quasiカテゴリ B と X に対して τ₀(B, X) への写像が全単射を誘導する写像として定義する。
• ジョイアルモデル構造における生成的平凡コフェイブルの集合を用いて、小さな対象の補完法を適用し、写像を分解する。
• 局所ジョイアルモデル構造における平凡ファイブレーションが、まさに局所的平凡ファイブレーションであることを示す。
• 二番目の性質（2-of-3）と引き戻しの議論を用いて、局所的クーラー・ファイブレーションかつ局所ジョイアル同値である写像が、局所的平凡ファイブレーションであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ブールサイト上の単体的シェーブに、ジャルディーヌモデル構造と類似するが、カーン同値の代わりにジョイアル同値を用いた局所ジョイアルモデル構造を構成できるか？
• RQ2 局所ジョイアル同値は、単体的集合の経路圏および基本群への写像とどのように関係するか？
• RQ3 局所ジョイアルモデル構造におけるファイブレーションと弱同値の正確な特徴づけは何か？
• RQ4 局所ジョイアルモデル構造は、高次元オートマトンの降下理論をサポートできるか？
• RQ5 シェーブ化を介して、局所ジョイアルモデル構造は標準的ジョイアルモデル構造とクィレン同値となるか？

主な発見

• sSh(B) 上の局所ジョイアルモデル構造は存在し、sSet 上のジョイアルモデル構造とクィレン同値である。
• 局所ジョイアルモデル構造におけるコフェイブルは、単体的シェーブのモノモルフィズムにちょうど一致する。
• ファイブレーションは、各ストーク上でクーラー・ファイブレーションである、つまり局所的クーラー・ファイブレーションとして特徴づけられる。
• 弱同値は局所ジョイアル同値であり、すべての quasiカテゴリ X に対して τ₀(Y, X) → τ₀(X, X) が全単射である写像 f として定義される。
• 局所的クーラー・ファイブレーションかつ局所ジョイアル同値である写像は、局所的平凡ファイブレーションであることが確認され、モデル構造の公理が成立することが裏付けられる。
• 局所ジョイアルモデル構造における平凡コフェイブルの集合は、ジョイアルモデル構造における生成的平凡コフェイブルの集合の y(b) × φ の順方向の合成の再帰的合成の再帰的帰属によって生成される。