[論文レビュー] Fibrations in $\infty$-category theory

Clark Barwick, Jay Shah|arXiv (Cornell University)|Jul 14, 2016

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

ひとこと要約

この論文は、$∞$-圏論における8種類のファイブレーション—左、右、カーン、内部、同型化、コカートェシアン、カートェシアン、フラットファイブレーション—について包括的かつ解説的な概説を提供し、$∞$-圏論における明示的かつ計算可能な構成を可能にする方法を示している。主な貢献は、普遍的特徴づけを補完するための強力で具体的な構成を実現するために、これらのファイブレーションを体系的かつ的確に用いることにある。特に、圏的パターンとホモトピー不変関手の使用を通じて実現される。

ABSTRACT

In this short expository note, we discuss, with plenty of examples, the bestiary of fibrations in quasicategory theory. We underscore the simplicity and clarity of the constructions these fibrations make available to end-users of higher category theory.

研究の動機と目的

• クヴァシカテゴリ―理論で用いられる多様なファイブレーションの種類を明確にし体系化すること。これらは$∞$-圏論における明示的構成に不可欠である。
• ホモトピー同調の複雑さを避けるために、複雑なホモトピー同調の問題を回避する明示的かつ計算可能な構成を可能にするファイブレーションの、あまりに軽視されている力を浮き彫りにすること。
• 特にコカートェシアンおよびカートェシアンファイブレーションが、$∞$-圏における関手および随伴関手の構成をどのように容易にするかを示すこと。
• 抽象的な普遍的性質（例：$∞$-圏の自由生成）と、ファイブレーションを通じての明示的かつ関手的構成との間の橋渡しをすること。
• 研究者にとって実用的なガイドを提供し、ファイブレーションが高次圏論における複雑な構成を簡素化・明確化する方法を提示すること。

提案手法

• 論文は、クヴァシカテゴリ―における8種類のファイブレーション—左、右、カーン、内部、同型化、コカートェシアン、カートェシアン、フラットファイブレーション—を分類・比較し、詳細な例を提示する。
• 関手の間の関係をモデル化し、ホモトピー同値の下での挙動を分析するために、圏的パターン$π^*\rho_*$および$(ρ')_*(π')^*$を用いる。
• 単純なクウォーレン関手と単体的集合間のホモトピー同値を用いて、適切な条件下で引き戻しと押し出しの構成が弱同値を保存することを示す。
• ルリーの研究結果[7]および[6, 1.4.4(b)]を応用し、対応する写像がホモトピー同値である場合、関手間の誘導された自然変換が弱同値であることを証明する。
• ファイブレーションの構成は、クヴァシカテゴリ―理論に基づき、内部ファイブレーションおよびコカートェシアン・カートェシアン射の上昇性質を用いる。
• ホモトピー同値が$s\textbf{Set}^+_{/\mathfrak{P}_{C'}}$内で与えられれば、関連する関手上での弱同値が誘導されることを活用し、ホモトピーの下で構成の安定性を保証する。

実験結果

リサーチクエスチョン

• RQ1 クヴァシカテゴリ―における異なる種類のファイブレーションは、$∞$-圏論における明示的構成をどのように可能にするか？
• RQ2 単体的集合間のホモトピー同値が誘導する自然変換が、関手のレベルで弱同値であるための条件は何か？
• RQ3 圏的パターン$π^*\rho_*$および$(ρ')_*(π')^*$は、$∞$-圏間の関手をどのようにモデル化し、弱同値をどのように保存するか？
• RQ4 左および右クウォーレン関手はファイブレーションとどのように作用し合い、ホモトピー不変性を保証するか？
• RQ5 コカートェシアンおよびカートェシアンファイブレーションは、$∞$-圏的文脈における随伴関手の構成をどのように支援するか？

主な発見

• ホモトピー同値$f$によって誘導される自然変換$\rho_!\pi^* \to (\rho')_!(\pi')^*$は、すべての対象で弱同値であり、構成のホモトピー不変性を保証する。
• 双対性の下で安定することを確認するため、ファイブレーション的対象上で弱同値であるとされる随伴自然変換$(\pi')_*\rho'^* \to \pi_*\rho^*$がすべてのファイブレーション的対象で成立する。
• ホモトピー同値$f$は、ファイバー積上での$id_X \times_C f$を誘導し、$C$上でのファイブレーションの構造を保存する。
• 関手$\pi^*\rho_*$および$(\rho')_*(\pi')^*$は、圏的パターン$\mathfrak{P}_C$および$\mathfrak{P}_{C'}$によって定義されるモデル構造に関して左クウォーレン関手であり、ホモトピー論と整合性を持つ。
• 任意の写像$X \to C$に沿ったホモトピー同値の引き戻しは、ホモトピー同値$X \times_C K \to X \times_C L$を誘導する。これは、ファイバー構成における弱同値の保存に不可欠である。
• ファイブレーションの使用により、複雑なホモトピー同調の道具を必要とせずに、$∞$-圏論における明示的かつ計算可能な構成が可能になる。