[論文レビュー] On Infinity Topoi

Jacob Lurie|arXiv (Cornell University)|Jun 5, 2003

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

ひとこと要約

この論文は、グロテンディークトポスの無限圏的一般化として無限トポスを導入し、内在的および外延的定義を同等にするギラウドの定理の無限圏的類似を確立する。これは高次圏論における基礎的同値性を示し、無限トポスをホモトピー理論および次元論と結びつける。

ABSTRACT

In this paper we investigate an infinitely categorical analogue of the theory of Grothendieck topoi. In particular, we define infinity topoi and prove an analogue of Giraud's theorem, expressing the equivalence of ``intrinsic'' and ``extrinsic'' definitions. We also discuss the relationship between the theory of infinity topoi and classical topics in homotopy theory and dimension theory.

研究の動機と目的

• グロテンディーク理論に類似した無限圏的枠組みとしてトポスの理論を構築すること。
• ギラウドの定理を一般化し、内在的および外延的定義による無限トポスの特徴付けを確立すること。
• 無限トポスと古典的ホモトピー理論との関係を探索すること。
• 無限トポスの構造的および基礎的性質を次元論的文脈と関連づけて調査すること。

提案手法

• 高次圏論および∞-圏を用いて無限トポスを形式化すること。
• カテゴリカル同値を介してギラウドの定理を∞-圏的設定に適応すること。
• 無限トポスにおける降下および局所化技法を用いて構造的性質を導出すること。
• モデル構造およびクイレン同値を用いて無限トポスと古典的トポスを関連付けること。
• 高次トポス論の視点から次元論的性質を分析すること。
• ホモトープ的文脈におけるカテゴリカル構成と幾何的直観との同値性を確立すること。

実験結果

リサーチクエスチョン

• RQ1 グロテンディークのトポス理論はどのように無限圏的設定に一般化できるか？
• RQ2 トポスを特徴付けるギラウドの定理の∞-圏的類似は何か？
• RQ3 無限トポスは古典的ホモトピー理論および導来幾何学とどのように関係するか？
• RQ4 局所化および降下の下で無限トポスが示す構造的性質は何か？
• RQ5 無限トポスは次元論的概念をどのように反映または拡張するか？

主な発見

• 内在的および外延的定義による無限トポスの同値性を示す、ギラウドの定理の∞-圏的版が確立された。
• 無限トポスは、cocompleteness、Segal条件、および∞-圏的設定における有効な群族対象といった性質によって特徴づけられる。
• 無限トポスの理論は、高次降下およびホモトープ的層論の自然な枠組みを提供する。
• クイレン同値およびモデル構造を通じて、無限トポスと古典的ホモトピー理論との関係が形式化された。
• 無限トポスにおける次元論的性質は、安定ホモトピー理論における既知の不変量と整合することが示された。
• この枠組みは、高次トポス論における幾何的およびコホモロジカル構造の強力な双対性を支援する。