[論文レビュー] A short course on $\infty$-categories

Moritz Groth|arXiv (Cornell University)|Jul 17, 2010

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

ひとこと要約

この論文は、∞-圏の非技術的入門を提供し、Lurieの枠組み（準カテゴリを用いた(∞,1)-圏）に焦点を当てる。ファンクター、極限、余極限といった基礎的概念を展開し、安定化とモノイダル構造の普遍的性質を確立し、生成された現れる∞-圏におけるモノイダルな安定化プロセスの精錬をもたらす。

ABSTRACT

In this short survey we give a non-technical introduction to some main ideas of the theory of $\infty$-categories, hopefully facilitating the digestion of the foundational work of Joyal and Lurie. Besides the basic $\infty$-categorical notions leading to presentable $\infty$-categories, we mention the Joyal and Bergner model structures organizing two approaches to a theory of $(\infty,1)$-categories. We also discuss monoidal $\infty$-categories and algebra objects, as well as stable $\infty$-categories. These notions come together in Lurie's treatment of the smash product on spectra, yielding a convenient framework for the study of $\mathbb{A}_\infty$-ring spectra, $\mathbb{E}_\infty$-ring spectra, and Derived Algebraic Geometry.

研究の動機と目的

• 高次の圏論に馴染みのない研究者向けに、∞-圏論への非技術的入門を提供すること。
• ホモトピー的不変性を持つ数学の枠組みとしての∞-圏の哲学的および構造的基盤を明確にすること。
• Lurieの準カテゴリアプローチに基づき、現れる∞-圏、モノイダル構造、および安定化といった主要な概念を統合すること。
• 現れる∞-圏の文脈において、安定化およびモノイダルファンクターの普遍的性質を確立すること。
• 前加法的および加法的∞-圏を通じた、安定化ファンクターの精錬されたモノイダル因子分解を提示すること。

提案手法

• Lurieの慣習に従い、(∞,1)-圏の主なモデルとして内Kan複体（準カテゴリ）を用いる。
• Grothendieckの構成を用いて、モノイダル∞-圏および代数的対象をcoCartesianファイブレーションでモデル化する。
• 左随伴ファンクターおよび余極限を保存するファンクターを用いて、現れる∞-圏における普遍的構成を定義する。
• ジョインおよびスライスの構成を用いて、∞-圏的設定における極限、余極限、および初期/最終対象を定義する。
• モデル圏の理論（JoyalおよびBergner構造）を用いて、∞-圏と古典的ホモトピー代数との関係を確立する。
• 現れる、点付き、前加法的、加法的、および安定な∞-圏の∞-圏間の随伴関係を通じて、安定化のモノイダル精錬を確立する。

実験結果

リサーチクエスチョン

• RQ1 古典的圏論はどのように∞-圏へ拡張可能であり、ホモトピー的不変性を保つのか？
• RQ2 現れる∞-圏の安定化を特徴付ける普遍的性質は何か？
• RQ3 coCartesianファイブレーションを通じて、∞-圏においてモノイダルおよび対称モノイダル構造はどのように自然に生じるのか？
• RQ4 対称モノイダル∞-圏における代数的対象の役割は何か？そしてそれらはどのように普遍的とされるのか？
• RQ5 安定化プロセスは、前加法的および加法的∞-圏といった中間圏を通じてどのように因子分解されるのか？

主な発見

• 現れる∞-圏上の安定化ファンクターは、モノイダルな精錬を備え、点付き、前加法的、および加法的∞-圏を通じて因子分解可能である。
• E∞-空間の∞-圏、Mon_E∞(S) は、1つの生成子 Δ⁰ に対する自由な前加法的現れる∞-圏である。
• 任意の点付きで現れる∞-圏 C に対して、ファンクター C → C_* は、任意の点付きで現れる∞-圏 D における対称モノイダルで余極限を保存するファンクターの間の同値を誘導する。
• 同様に、ファンクター C → Sp(C) は、D が安定であるとき、Fun^L,⊗(Sp(C), D) → Fun^L,⊗(C, D) の同値を誘導する。
• 群的E∞-空間の∞-圏、Grp_E∞(S) は、加法的で現れる∞-圏の普遍的例である。
• 安定化プロセスは、随伴の合成として因子分解される：Pr^L ⇄ Pr^L_Pt ⇄ Pr^L_Pre ⇄ Pr^L_Add ⇄ Pr^L_St、かつモノイダルな精錬を有する。