[論文レビュー] On the classification of fibrations

Martin Blomgren, Wojciech Chachólski|arXiv (Cornell University)|Jun 20, 2012

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

ひとこと要約

本稿では、モデル圏におけるファイブレーションのホモトピー論的分類を、ファイブレーションの圏 Fib(X,F) のコア構成を導入することによって確立する。このコア構成により、そのホモトピー型が弱同値な写像空間 map(X, Bwe(F,F)) に射影され、Bwe(X,X) 上にセクションを持つことが示される。主な結果は、ホモトピー的有限性と Dwyer-Kan ハンマック構成を用いて写像空間をモデル化することで、任意のモデル圏に一般化可能な概念的枠組みを提供する。

ABSTRACT

Classification questions are often about understanding components of a category. It is much more desirable however to be able to understand the entire homotopy type of this category and not just the set of its components. In this paper we prove that this is possible for the category of functors indexed a small category I which assign to any morphism in I a weak equivalence in a given model category. We identify the homotopy type of this category with the mapping space out of the nerve of I into the classifying space of the space of weak equivalences of values of these functors. We use it to reprove the classical classification of fibration theorem of Stasheff and its generalizations by Dwyer-Kan.

研究の動機と目的

• モデル圏におけるファイブレーションのホモトピー論的分類を提供し、古典的な成分別結果を、モジュライ空間の完全なホモトピー型へと拡張する。
• ファイブレーションの圏 Fib(X,F) に対するコア構成を開発し、そのホモトピー型を小さな部分圏によって近似する。
• [X, Bwe(F,F)] を用いた古典的ファイブレーション分類を、写像空間と弱同値の分類空間を含む完全なホモトピー論的記述へ一般化する。
• ホモトピー的有限性と Dwyer-Kan ハンマック技法を用いた概念的枠組みを構築し、任意のモデル圏に適用可能であることを確立する。
• Fib(X,F) のコアのホモトピー型の神経が、Bwe(X,X) へ写像され、そのセクションを有し、ホモトピー・ファイバーが map(X, Bwe(F,F)) に弱同値であることを示す。

提案手法

• ファイブレーションの圏 Fib(X,F) に対する「コア」の概念を導入し、そのホモトピー型を近似する小さな部分圏を構成する。
• Dwyer-Kan ハンマック構成を用いて、モデル圏における写像空間をモデル化し、特に弱同値のトポロジカルモノイドを対象とする。
• ホモトピー的有限性を適用し、モデル圏における関手圏 Fun(I, X_we) に対してコアの存在を保証する。
• 関手的ファクタライゼーションとホモトピー・プルバックを用いて、ある単体的図式のホモトピー余極限が収縮することを確立する。
• ファンクター的なファイブレーション補完と、モデル圏における極限・余極限に関する閉性を用いて、適切に定義されたホモトピー型を保証する。
• 四角形が成分ごとにホモトピー・プルバックであれば、その図式におけるホモトピー・プルバック性質の検証が可能になる。

実験結果

リサーチクエスチョン

• RQ1 固定された底対象とファイバーを持つファイブレーションの圏 Fib(X,F) の完全なホモトピー型は、モデル圏においてどのように分類可能か？
• RQ2 弱同値の分類空間 Bwe(F,F) は、ファイブレーションの分類において果たす役割は何か？
• RQ3 Fib(X,F) の神経は、そのホモトピー型が計算可能であるような小さな圏によって近似可能か？
• RQ4 Fib(X,F) に対するコアの存在は、写像空間 map(X, Bwe(F,F)) と分類空間 Bwe(X,X) とどのように関係するか？
• RQ5 モデル圏のどのような一般的な構造的性質が、古典的な成分別結果を超えた統一的ファイブレーション分類を可能にするか？

主な発見

• 圏 Fib(X,F) は、その神経が Bwe(X,X) へ写像され、セクションを有し、ホモトピー・ファイバーが map(X, Bwe(F,F)) に弱同値であるようなコアを持つ。
• コア構成により、Fib(X,F) のホモトピー型が小さな圏によって捉えられ、有効なホモトピー的解析が可能になる。
• 小さな圏 S 上の単体的図式 EGS のホモトピー余極限は収縮する。これは、分類における全空間の収縮性を支持する。
• 写像空間 map(X, Bwe(F,F)) は、ファイブレーションの圏 Fib(X,F) の成分を分類する。これは、Stasheff と May の古典的結果を一般化する。
• ファンクター的ファクタライゼーションと極限・余極限に関する閉性により、使用されたホモトピー論的構成が適切に定義され、安定性が保証される。
• 特定の図式のホモトピー・プルバック構造により、適切な条件下で分類空間間の誘導写像が弱同値であることが示される。