[論文レビュー] Stable Infinity Categories

Jacob Lurie|arXiv (Cornell University)|Aug 9, 2006

Algebraic structures and combinatorial models参考文献 36被引用数 28

ひとこと要約

この論文は、ホモトピー的構造と加法的構造を同時に符号化する導来圏の一般化として、安定∞-圏の基礎理論を確立する。安定∞-圏のホモトピー圏が三角的であることを証明し、それらの間の正確な関手を特徴づけ、スペクトルの∞-圏が球面スペクトルによって自由に生成されることを示し、導来的およびホモトピー的代数学の普遍的枠組みを提供する。

ABSTRACT

This paper is an expository account of the theory of stable infinity categories. We prove that the homotopy category of a stable infinity category is triangulated, and that the collection of stable infinity categories is closed under a variety of constructions. We also explain how to construct the derived category of an abelian category (with enough projective objects) as the homotopy category of a suitable stable infinity category; moreover, we characterize this stable infinity category by a universal mapping property.

研究の動機と目的

• 導来圏のホモトピー的および加法的特徴を同時に捉える高階圏的枠組みとして、安定∞-圏を形式化すること。
• 安定∞-圏のホモトピー圏が三角的であることを確立し、古典的な導来圏構造を回復すること。
• 有限コロイドを保存する関手として正確な関手を定義・研究し、そのような関手の∞-圏が極限およびフィルター付き列挙にについて閉じていることを示すこと。
• スペクトルの∞-圏を有限スペクトルのInd-圏として構成し、単一の対象によって生成される安定∞-圏の普遍性を示すこと。
• ∞-圏的Dold-Kan対応を確立し、フィルター付き対象が安定∞-圏におけるスペクトル系列およびチェーン複体と関係することを示すこと。

提案手法

• 有限極限および余極限を備え、射に沿った上向き押し出し（pushout）が引き戻し（pullback）に等しい（「安定性」条件）という性質を満たす∞-圏として、安定∞-圏を定義する。
• 上向き押し出しと引き戻しの正方形の同値性を用いて、安定∞-圏のホモトピー圏が三角的であることを示す。
• 有限余極限（あるいは同値に有限極限）を保存する関手として正確な関手を特徴づけ、そのような関手の∞-圏が、∞-圏の圏において極限およびフィルター付き列挙にについて閉じていることを証明する。
• ホモトピー圧縮定理を用いて安定性を確立し、スペクトルの∞-圏を有限スペクトルのInd-圏として構成する。
• チェーン複体の代わりに安定∞-圏内のフィルター付き対象を用いることで∞-圏的Dold-Kan対応を確立し、フィルター付き対象がスペクトル系列を導くことを示す。
• コfinalityの議論および∞-圏的余極限技術（例えば、図式の∞-圏および自明なファイブレーションを介して）を用いて、特に導来∞-圏の普遍写像性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして∞-圏を用いて、導来圏のホモトピー的および加法的構造を公理化できるか？
• RQ2 安定∞-圏のホモトピー圏におけるt-構造と、その∞-圏自体の局所化との正確な関係は何か？
• RQ3 スペクトルの∞-圏は有限スペクトルからどのように普遍的に構成できるか？ そして、どのような普遍的性質を満たすか？
• RQ4 古典的Dold-Kan対応の∞-圏的類似は何か？ そして、スペクトル系列とどのように関係するか？
• RQ5 適切な集合論的仮定（例えばκ-コンパクト生成）のもとで、安定∞-圏において任意の集合の対象からt-構造を生成することは可能か？

主な発見

• 任意の安定∞-圏のホモトピー圏は三角的であり、導来圏の三角的構造に対する高階圏的根拠を提供する。
• 安定∞-圏間の正確な関手は有限余極限を保存し、そのような関手の∞-圏は、∞-圏の圏において極限およびフィルター付き列挙にについて閉じている。
• スペクトルの∞-圏は有限スペクトルのInd-圏として構成され、その安定性はInd-対象に関する一般結果から導かれる。
• スペクトルの∞-圏は、コロイド（余極限）に関して自由に生成される（安定∞-圏として）、球面スペクトルによって、単一の生成子をもつ安定∞-圏の普遍的枠組みを提供する。
• ∞-圏的Dold-Kan対応が確立された：安定∞-圏にt-構造を備えた場合、フィルター付き対象はスペクトル系列を導き、単体的対象は普遍的性質を通じてフィルター付き対象に対応する。
• 適切な集合論的仮定（例えばκ-コンパクト生成）のもとで、安定∞-圏において任意の集合の対象からt-構造を生成可能であり、古典的結果を一般化する。