[论文解读] 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-叠（Segal n-叠）的一般理论，确立了基础性结果，包括基于极限的n-叠定义、下降数据的有效性、弱n-叠的严格化，以及表明n-叠的(n+1)-预叠本身是(n+1)-叠的下降结果。关键贡献是针对由模型范畴上的左Quillen预层导出的Segal 1-预叠提出了一般下降准则，并将其应用于O-模复形，证明了完美复形可通过拟同构进行粘合。

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-叠（Segal n-叠）理论，适用于各种几何与同伦论背景。
• 通过极限和下降数据的有效性，建立n-叠的精确定义。
• 构造与n-预叠相关的叠，并证明弱n-叠与严格n-叠等价。
• 证明n-叠的(n+1)-预叠本身是(n+1)-叠，从而确立n-叠的下降结果。
• 将一般框架应用于O-模复形，证明完美复形可通过拟同构进行粘合。

提出的方法

• 使用闭模型范畴（CMCs）定义并分析n-叠，利用同伦结构处理极限与纤维化替换。
• 将Segal n-预叠定义为取值于Segal n-范畴的预层，并通过HBKQ构造赋予其模型结构。
• 为n-预叠定义下降数据，并证明使其成为叠的条件，即有效性条件。
• 应用Dwyer-Kan局部化将弱n-叠转换为严格n-叠，从而实现严格化结果。
• 使用Bousfield-Kan局部化和左Quillen预层，从复形的模型范畴构造Segal 1-预叠。
• 证明左Quillen预层的一般下降准则，表明若预层满足某些同伦条件，则其关联的Segal 1-预叠是叠。

实验结果

研究问题

• RQ1 如何以一种通用方式定义n-叠，使其适用于各种几何对象？
• RQ2 何种条件可确保n-预叠的下降数据是有效的，即其来源于全局截面？
• RQ3 弱n-叠是否可在某些条件下严格等价于严格n-叠？
• RQ4 n-叠的(n+1)-预叠是否本身是(n+1)-叠？这对叠的同伦结构有何含义？
• RQ5 O-模复形通过拟同构的粘合能否在n-叠框架下形式化为下降性质？

主要发现

• 在范畴上，n-叠的(n+1)-预叠是(n+1)-叠，确立了n-叠层级中的基本下降结果。
• 任意弱n-叠均与严格n-叠等价，证明了同伦高阶叠的严格化结果。
• 由左Quillen预层导出的Segal 1-预叠是叠，前提是预层满足某些同伦条件。
• 完美O-模复形预叠所关联的叠与该预叠本身等价，确认了完美复形的下降性。
• 从项目化复形预叠所关联的叠到完美复形预叠的态射是等价映射，表明完美复形可通过下降获得。
• 幅度为[a,b]的完美复形的n+1-叠的1-截断是完美复形的导出范畴，但必须保留完整的同伦结构才能捕捉更高阶下降。