[論文レビュー] Fibrations of $\infty$-categories

David Ayala, John Francis|arXiv (Cornell University)|Feb 9, 2017

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

ひとこと要約

この論文は、∞-圏と双モジュールからなる∞-圏 $‘{ m Corr}’$ を導入し、それが指数的ファイブレーションを分類することを示している。これは、LurieによるコCartesianおよびCartesianファイブレーションの分類を一般化するものである。さらに、左ファイブレーションと右ファイブレーションをそれぞれ分類する部分圏 $‘{ m LCorr}’$ と $‘{ m RCorr}’$ を特定し、それらが普遍ファイブレーションを担うことを証明している。

ABSTRACT

We construct a flagged $\infty$-category ${\sf Corr}$ of $\infty$-categories and bimodules among them. We prove that ${\sf Corr}$ classifies exponentiable fibrations. This representability of exponentiable fibrations extends that established by Lurie of both coCartesian fibrations and Cartesian fibrations, as they are classified by the $\infty$-category of $\infty$-categories and its opposite, respectively. We introduce the flagged $\infty$-subcategories ${\sf LCorr}$ and ${\sf RCorr}$ of ${\sf Corr}$, whose morphisms are those bimodules which are \emph{left final} and \emph{right initial}, respectively. We identify the notions of fibrations these flagged $\infty$-subcategories classify, and show that these $\infty$-categories carry universal left/right fibrations.

研究の動機と目的

• ∞-圏とそれらの間の双モジュールからなるフラッグ付き ∞-圏 ${\sf Corr}$ を構成し、それが ∞-圏の指数的ファイブレーションを分類すること。
• LurieのコCartesianおよびCartesianファイブレーションに対するアンストレート化構成を、より広いクラスの指数的ファイブレーションへと拡張すること。
• ${\sf Corr}$ 内の部分圏 ${\sf LCorr}$ と ${\sf RCorr}$ を特定し、それぞれ左ファイブレーションと右ファイブレーションを分類すること。
• ${\sf LCorr}$ と ${\sf RCorr}$ がそれぞれ普遍的な左ファイブレーションおよび右ファイブレーションを担うことを証明すること。
• bimodules と ∞-圏的設定における最終性条件を用いて、ファイブレーションのホモトピー的不変な枠組みを確立すること。

提案手法

• ∞-圏とそれらの間の双モジュールのモラタ ∞-圏として ${\sf Corr}$ を構成する。
• 引き戻しに右随伴が存在するファイブレーションとして指数的ファイブレーションを定義し、基底変換が左随伴であることを保証する。
• アンストレート化構成を用いて、${\sf Corr}$ への関手と指数的ファイブレーションがちょうど一対一に対応することを示す。
• 双モジュールが左最終的および右初期的であることを条件として、フラッグ付き ∞-部分圏 ${\sf LCorr}$ と ${\sf RCorr}$ を導入する。
• 上げ上げ条件と最終性の結果（例えば、補題 5.9 や補題 5.15）を適用し、関手が初期的または最終的であるための特徴づけを行う。
• 随伴の合成と局所化を用いて、左ファイブレーション置換関手 $\mathcal{J} \to \mathcal{J}^{\hat{}}_{\sf l.fib}$ が初期的であり、$\mathcal{K}$ 上の初期関手の ∞-部分圏における最終対象であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ∞-圏の指数的ファイブレーションは、対応の∞-圏を用いてどのように分類可能か？
• RQ2 ∞-圏的設定において、指数的ファイブレーションと双モジュールの間の明確な関係は何か？
• RQ3 ${\sf Corr}$ のどの部分圏が左ファイブレーションと右ファイブレーションを分類し、それぞれどのような普遍的性質を満たすか？
• RQ4 最終性と初期性の条件は、${\sf LCorr}$ と ${\sf RCorr}$ 内の普遍ファイブレーションを検出するためにどのように機能するか？
• RQ5 アンストレート化構成は、コCartesianおよびCartesianファイブレーションを超えて、指数的ファイブレーションへと拡張可能か？

主な発見

• ${\sf Corr}$ は指数的ファイブレーションを分類し、LurieによるコCartesianおよびCartesianファイブレーションの分類を一般化する。
• ${\sf LCorr} \subset {\sf Corr}$ は左ファイブレーションを分類し、普遍的な左ファイブレーションを担う。
• ${\sf RCorr} \subset {\sf Corr}$ は右ファイブレーションを分類し、普遍的な右ファイブレーションを担う。
• 左ファイブレーション置換関手 $\mathcal{J} \to \mathcal{J}^{\hat{}}_{\sf l.fib}$ は初期的であり、$\mathcal{K}$ 上の初期関手の ∞-部分圏における最終対象である。
• 右ファイブレーション置換関手 $\mathcal{J} \to \mathcal{J}^{\hat{}}_{\sf r.fib}$ は最終的であり、$\mathcal{K}$ 上の最終関手の ∞-部分圏における最終対象である。
• 写像 $\mathcal{J}_0 \times_{\mathcal{K}} \mathcal{K}_{/x} \to \mathcal{J} \times_{\mathcal{K}} \mathcal{K}_{/x}$ の最終性が、クラスファイバー空間の同値性を検出するために十分であり、これは補題 5.9 および補題 5.15 を通じて得られる。