[論文レビュー] Gluing restricted nerves of $\infty$-categories

Yifeng Liu, Weizhe Zheng|arXiv (Cornell University)|Nov 22, 2012

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

ひとこと要約

本稿では、制限付きマルチシンプレキシアルナーブを用いた∞-圏の部分圏を貼り合わせる一般化された枠組みを構築し、マルチシンプレキシアル構造に由来する単体的集合同士のカテゴリカル同値性を確立する。主な貢献は、デリーニの理論を一般化する高階カテゴリカルな貼り合わせ技術であり、これはエタールコhomologyにおけるアーチンスタックのグロテンディークの六操作の構成を、強化された∞-カテゴリカルな降下理論を用いて可能にする。

ABSTRACT

In this article, we develop a general technique for gluing subcategories of $\infty$-categories. We obtain categorical equivalences between simplicial sets associated to certain multisimplicial sets. Such equivalences can be used to construct functors in different contexts. One of our results generalizes Deligne's gluing theory developed in the construction of the extraordinary pushforward operation in étale cohomology of schemes. Our results are applied in subsequent articles to construct Grothendieck's six operations in étale cohomology of Artin stacks.

研究の動機と目的

• ∞-圏の部分圏を高階カテゴリカルな設定において系統的に貼り合わせる一般化された技術を開発すること。
• エタールコhomologyにおける「特異的押し出し」のデリーニの貼り合わせ理論を、∞-カテゴリカルな枠組みに一般化すること。
• 高階アーチンスタックの文脈においてグロテンディークの六操作を構成するための基礎的ツールを提供すること。
• 古典的な(2,1)-カテゴリカルな手法の制限を超えて、すべてのレベルの射に関して整合性を保つこと。
• マルチシンプレキシアル構造に由来する単体的集合の間のカテゴリカル同値性を確立すること。

提案手法

• n-単体が [n]^k → C における関手で、i番目の方向に E_i の像を持つ、かつすべての k×k の正方形がカルテジアンであるような単体的集合として、制限付きマルチシンプレキシアルナーブ δ*kN(C)cartE1,…,Ek を定義する。
• 単体的集合の単体の圏を導入し、余極限分解を用いて関手を構成する。
• 内部アノイジー的包含とカテゴリカル同値性を用いて、マルチシンプレキシアルナーブの部分複体を完全なナーブと関連付ける。
• 有限ラティスを区間部分ラティス P_p//q への分解を用いて、内部アノイジー性を証明する。
• 部分順序集合上の帰納的議論と押し出し分解を用いて、カテゴリカル同値性を検証する。
• 標準的立方体 □^n からカルテジアン立方体の圏 Cart^n への包含が内部アノイジー的であることを確立し、降下技法を可能にする。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、すべての高階ホモトピー的レベルで整合性を保ちながら、∞-圏の部分圏に定義された関手を体系的に貼り合わせることができるか？
• RQ2 カルテジアン正方形制約を満たすマルチシンプレキシアルナーブが、カテゴリカル同値性を誘導するための条件は何か？
• RQ3 デリーニの「特異的押し出し」の貼り合わせ理論は、洗練されたナーブ構成を用いて∞-カテゴリカルな設定に拡張可能か？
• RQ4 非標準的因子分解（例えば、固有射 followed で開埋め込み）を、整合的かつ高階カテゴリカルな方法で取り扱うにはどうすればよいか？
• RQ5 区間部分ラティスおよびその和集合は、マルチシンプレキシアル構造における内部アノイジー性およびカテゴリカル同値性の証明において果たす役割は何か？

主な発見

• 包含写像 □^n ⊆ Cart^n は内部アノイジー的であり、マルチシンプレキシアル枠組みにおける基礎的ホモトピー同値性を確立する。
• 包含写像 ⋃_p ⋃^n_p,n ⊆ Cart^n は内部アノイジー的であり、さらに ⋃^n ⊆ Cart^n はカテゴリカル同値である。これにより、∞-カテゴリカルな文脈における降下が可能になる。
• 有限ラティス P を区間部分ラティス P_p//q の和集合が覆うとき、その被覆が順序構造と整合的であれば、その和集合はカテゴリカル同値性を誘導する。
• 内部アノイジー的包含は、部分ラティスの和集合の押し出し分解に基づき、直積および交わり／結合演算のラティス的性質に依存して確立される。
• 制限付きマルチシンプレキシアルナーブ δ*kN(C)cartE1,…,Ek の構成は、複数の部分圏にわたる整合的貼り合わせデータを記述する標準的な方法を提供する。
• この枠組みはデリーニの貼り合わせ理論を一般化し、∞-カテゴリカルな強化を用いて、高階アーチンスタックのエタールコhomologyにおけるグロテンディークの六操作の構成を可能にする。