[論文レビュー] Parametrized higher category theory and higher algebra: Expos\'e II - Indexed homotopy limits and colimits

Jay Shah|arXiv (Cornell University)|Sep 16, 2018

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

ひとこと要約

この論文は、基底∞-圏上のパラメータ化された∞-圏におけるインデックス付きホモトピー極限と余極限の基礎的理論を確立し、特に有限群GのG-equivariantホモトピー理論への応用を含む。G-∞-圏としてのG-空間の族が、可縮G-空間によってG-余極限で自由に生成されることを証明し、マイク・ヒルの予想を裏付けた。

ABSTRACT

We develop foundations for the category theory of $\infty$-categories parametrized by a base $\infty$-category. Our main contribution is a theory of indexed homotopy limits and colimits, which specializes to a theory of $G$-colimits for $G$ a finite group when the base is chosen to be the orbit category of $G$. We apply this theory to show that the $G$-$\infty$-category of $G$-spaces is freely generated under $G$-colimits by the contractible $G$-space, thereby affirming a conjecture of Mike Hill.

研究の動機と目的

• 基底∞-圏上のパラメータ化された∞-圏におけるインデックス付きホモトピー極限と余極限の一般理論を構築すること。
• 有限群Gの軌道圏を基底とすることで、この理論をG-equivariantホモトピー理論の特別な場合に特化すること。
• G-∞-圏としてのG-空間の族が、可縮G-空間によってG-余極限で自由に生成されることを証明すること。
• パラメータ化された高次の圏論を用いて、G-equivariant ∞-圏のためのホモトピー的基礎を提供すること。

提案手法

• コカーテシアング・ファイブレーションの言語を用いて、基底∞-圏上の∞-圏におけるインデックス付き極限と余極限の理論を形式化すること。
• グロテンディーク構成を用いて、パラメータ化された∞-圏を基底上のコカーテシアング・ファイブレーションとしてモデル化すること。
• 有限群Gの軌道圏を基底として用いることで、G-余極限をインデックス付き余極限の特別な場合として定義すること。
• 自由生成の普遍性を用いて、G-∞-圏としてのG-空間の族が、可縮G-空間からG-余極限によって得られることを示すこと。
• パラメータ化された∞-圏における左随伴関手と普遍性の理論を活用し、自由性条件を検証すること。

実験結果

リサーチクエスチョン

• RQ1 基底∞-圏上のパラメータ化された∞-圏におけるホモトピー極限と余極限は、どのように体系的に定義できるか？
• RQ2 基底が有限群Gの軌道圏であるとき、インデックス付き余極限とG-余極限の正確な関係は何か？
• RQ3 G-∞-圏としてのG-空間の族は、可縮G-空間によってG-余極限で自由に生成されるか？
• RQ4 パラメータ化された∞-圏の理論を用いて、equivariantホモトピー理論における基礎的結果を証明できるか？

主な発見

• インデックス付きホモトピー極限と余極限の理論は、パラメータ化された∞-圏の統合的枠組みを提供し、古典的圏論をホモトピー的状況に一般化する。
• 基底が有限群Gの軌道圏であるとき、インデックス付き余極限は、equivariantホモトピー理論における標準的なG-余極限の概念を回復する。
• G-∞-圏としてのG-空間の族は、可縮G-空間によってG-余極限で自由に生成され、マイク・ヒルの予想が裏付けられた。
• この結果は、G-空間が余極限生成という観点から普遍的性質を持つことを確立し、equivariant ∞-圏の構造的洞察を新たに提供する。