[論文レビュー] Grothendieck $\infty$-groupoids, and still another definition of $\infty$-categories

Georges Maltsiniotis|arXiv (Cornell University)|Sep 13, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 3被引用数 26

ひとこと要約

この論文は、coherator枠組みを用いてグローテンディークの∞-群コホモロジーを簡略化し、そのアプローチにインspiredされた新しい代数的定義を提示する。∞-群コホモロジーが局所的にプレゼンタブルな圏をなすことを確立し、その局所化がホモトピー圏をもたらすと予想する。また、単位限とコカーテジアン四角形を用いてホモトピー群と弱同値を構成する。

ABSTRACT

The aim of this paper is to present a simplified version of the notion of $\infty$-groupoid developed by Grothendieck in "Pursuing Stacks" and to introduce a definition of $\infty$-categories inspired by Grothendieck's approach.

研究の動機と目的

• グローテンディークの∞-群コホモロジーの概念を、左完全性（セガルに類似）の条件を満たすcoherator圏上のプレシェーブとしての単純化された定義を提示すること。
• coherator枠組みを変更することで、バタニンの作用的定義に密接に関連した（弱い）∞-圏の新しい定義を導入すること。
• ∞-群コホモロジーの圏が局所的にプレゼンタブルであることを示し、これはカン複体や位相空間のモデルでは満たされない重要な構造的要件を満たす。
• 単位限とコカーテジアン四角形を用いて、∞-群コホモロジーにおけるホモトピー群と弱同値を定義し、ホモトピー的解析を可能にする。
• グローテンディークの予想、すなわち∞-群コホモロジーの弱同値による局所化が、古典的ホモトピー圏Hotをもたらすことを支持すること。

提案手法

• 左完全性条件を満たすC上のプレシェーブとして∞-群コホモロジーを定義する、普遍的∞-コグループイドを備えたcoherator圏Cを用いる。
• 特にホモトピー群の文脈において、構造的写像を構成するためにℕ-添え字付き図式における単位限の概念を適用する。
• 写像の整合性を分析し、極限構成における主要な同型を証明するために、コカーテジアン四角形とI-特別四角形を用いる。
• ホモトピー群上の誘導写像を介して弱同値を定義し、∞-群コホモロジーの圏の局所化を目的とする。
• coheratorの普遍的性質を活用して、異なる∞-群コホモロジー構造間の標準的関手を定義し、定義の間の予想される同値性を支持する。
• 極限と余極限の図式を用いた図式的推論により、特定の四角形がI-特別であることを証明する。これは、補題A.4とA.5に依存する。

実験結果

リサーチクエスチョン

• RQ1 グローテンディークの∞-群コホモロジーの概念を、その代数的およびホモトピー的本質を保ちつつ、どのように簡略化できるか？
• RQ2 coheratorに基づく∞-群コホモロジーの定義とバタニンの∞-圏の作用的定義との間の明確な関係は何か？
• RQ3 ∞-群コホモロジーの圏が局所的にプレゼンタブルであることを示せるか？そして、これは位相空間やカン複体モデルの主要な制限を解消するか？
• RQ4 ∞-群コホモロジーの弱同値による局所化が、グローテンディークの予想に従い、古典的ホモトピー圏Hotをもたらすか？
• RQ5 異なる∞-群コホモロジー定義間の標準的関手が∞-同値をどのように誘導するか？そして、これは理論の整合性に何を意味するか？

主な発見

• グローテンディークの∞-群コホモロジーの圏は局所的にプレゼンタブルであり、これはカン複体や位相空間のモデルでは満たされない、顕著な構造的性質である。
• この論文は、∞-群コホモロジーFに対して自然な方法でホモトピー群π_i(F)を構成し、これらの群を介して弱同値の概念を明確に定義可能にする。
• ∞-群コホモロジー間の弱同値は、すべてのホモトピー群上で同型であることで定義され、その圏の弱同値による局所化がホモトピー圏Hotをもたらすと予想される。
• ∞-群コホモロジーにおける構造的写像の構成は、ℕ-添え字付き図式における単位限に依存しており、主要な同型はコカーテジアン四角形によって確立される。
• 特定の四角形がI-特別（したがって弱同値を保存する）であることを証明するには、補題A.4とA.5に依存し、特に臨界インデックスn₀のケースにおいて重要である。
• この枠組みは、グローテンディークのビジョン、すなわち非同値だが標準的に同値な∞-群コホモロジーの定義が複数存在し、同値の同値が無限に続くことを支持する。