[論文レビュー] Descente pour les n-champs (Descent for n-stacks)

André Hirschowitz, Carlos Simpson|ArXiv.org|Jul 9, 1998

Homotopy and Cohomology in Algebraic Topology被引用数 61

ひとこと要約

この論文は、閉じたモデル圏を用いてn-スタック（セガールn-スタック）の一般理論を構築し、極限に基づくn-スタックの定義、降下データの効果性、弱n-スタックの厳密化、およびn-スタックの(n+1)-プレスタックが(n+1)-スタックであることを示す降下結果といった基礎的結果を確立する。主な貢献は、左クィルレン層を介したモデル圏のプレシェーブのセガール1-プレスタックに対する一般降下基準であり、O-加群の複体に適用することで、完全複体が quasi-isomorphism を通じて貼り合わせられることを示している。

ABSTRACT

We develop the theory of n-stacks (or more generally Segal n-stacks which are $\infty$-stacks such that the morphisms are invertible above degree n). This is done by systematically using the theory of closed model categories (cmc). Our main results are: a definition of n-stacks in terms of limits, which should be perfectly general for stacks of any type of objects; several other characterizations of n-stacks in terms of ``effectivity of descent data''; construction of the stack associated to an n-prestack; a strictification result saying that any ``weak'' n-stack is equivalent to a (strict) n-stack; and a descent result saying that the (n+1)-prestack of n-stacks (on a site) is an (n+1)-stack. As for other examples, we start from a ``left Quillen presheaf'' of cmc's and introduce the associated Segal 1-prestack. For this situation, we prove a general descent result, giving sufficient conditions for this prestack to be a stack. This applies to the case of complexes, saying how complexes of sheaves of $\Oo$-modules can be glued together via quasi-isomorphisms. This was the problem that originally motivated us.

研究の動機と目的

• さまざまな幾何的およびホモトピー的文脈に適用可能な、モデル圏に基づくn-スタック（セガールn-スタック）の一般理論を構築すること。
• 極限と降下データの効果性を用いた、n-スタックの明確な定義を確立すること。
• n-プレスタックに付随するスタックを構成し、弱n-スタックが厳密n-スタックと同値であることを証明すること。
• n-スタックの(n+1)-プレスタックが自身(n+1)-スタックであることを証明し、n-スタックに対する降下結果を確立すること。
• 一般枠組みをO-加群の複体に適用し、完全複体が quasi-isomorphism を通じて貼り合わせられることを示すこと。

提案手法

• 閉じたモデル圏（CMC）を用いてn-スタックを定義・分析し、ホモトピー的構造を活用して極限とファイブレーション置換を行う。
• セガールn-プレスタックをセガールnカテゴリ値のプレシェーブとして定義し、HBKQ構成を介してモデル構造を導入する。
• n-プレスタックの降下データを定義し、プレスタックがスタックであるための条件（効果性）を証明する。
• Dwyer-Kan局所化を用いて弱n-スタックを厳密なものに変換し、厳密化結果を得る。
• Bousfield-Kan局所化と左クィルレン層を用いて、複体のモデル圏からセガール1-プレスタックを構成する。
• 左クィルレン層に対する一般降下基準を証明し、関連するセガール1-プレスタックが特定のホモトピー的条件を満たせばスタックであることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのような方法で、さまざまな種類の幾何的対象に適用可能な一般的かつ明確なn-スタックの定義が可能か？
• RQ2 n-プレスタックの降下データが効果的である（つまり、グローバルセクションから生じる）ための条件は何か？
• RQ3 弱n-スタックは、どのような条件下で厳密n-スタックと同値になるか？
• RQ4 n-スタックの(n+1)-プレスタックは、自身(n+1)-スタックであるか？ そしてこれはスタックのホモトピー的構造にどのような意味を持つのか？
• RQ5 O-加群の複体の貼り合わせが、quasi-isomorphism を通じてn-スタックの枠組みの中で降下性として形式化できるか？

主な発見

• サイト上のn-スタックの(n+1)-プレスタックは(n+1)-スタックである。これはn-スタックの階層に対する根本的な降下結果を確立する。
• 任意の弱n-スタックは厳密n-スタックと同値である。これはホモトピー的高次スタックに対する厳密化結果を示している。
• モデル圏の左クィルレン層から得られるセガール1-プレスタックは、プレシェーブが特定のホモトピー的条件を満たせばスタックである。
• O-加群の完全複体のプレスタックに付随するスタックは、元のプレスタックと同値であり、完全複体に対する降下が確認された。
• 射影的複体のプレスタックに付随するスタックから完全複体のプレスタックへの射が同値であることを示し、完全複体が降下によって得られることを示している。
• アーリアム[ a,b ]の完全複体のn+1-スタックの1-トレントレーションは、完全複体の導来圏であるが、より高い降下を捉えるには、完全なホモトピー的構造が必要である。