[论文解读] A general framework for homotopic descent and codescent

Kathryn Hess|arXiv (Cornell University)|Jan 10, 2010

Homotopy and Cohomology in Algebraic Topology参考文献 18被引用 28

一句话总结

本文通过使用单纯化丰富范畴构建了一个通用的 $∞$-范畴框架，统一了同伦下降与余下降理论，推导出广义化的谱序列，涵盖经典例子如 Adams 和 Adams-Novikov 谱序列。其关键贡献在于通过导出（余）完备化，以同伦论方式刻画了下降与余完备化，其条件与 Mandell 定理类似，确保了同伦（余）下降。

ABSTRACT

In this paper we elaborate a general homotopy-theoretic framework in which to study problems of descent and completion and of their duals, codescent and cocompletion. Our approach to homotopic (co)descent and to derived (co)completion can be viewed as $\infty$-category-theoretic, as our framework is constructed in the universe of simplicially enriched categories, which are a model for $(\infty, 1)$-categories. We provide general criteria, reminiscent of Mandell's theorem on $E_{\infty}$-algebra models of $p$-complete spaces, under which homotopic (co)descent is satisfied. Furthermore, we construct general descent and codescent spectral sequences, which we interpret in terms of derived (co)completion and homotopic (co)descent. We show that a number of very well-known spectral sequences, such as the unstable and stable Adams spectral sequences, the Adams-Novikov spectral sequence and the descent spectral sequence of a map, are examples of general (co)descent spectral sequences. There is also a close relationship between the Lichtenbaum-Quillen conjecture and homotopic descent along the Dwyer-Friedlander map from algebraic K-theory to étale K-theory. Moreover, there are intriguing analogies between derived cocompletion (respectively, completion) and homotopy left (respectively, right) Kan extensions and their associated assembly (respectively, coassembly) maps.

研究动机与目标

• 开发一个用于 $∞$-范畴中下降与完备化问题的通用同伦论框架。
• 将经典下降与余下降理论与导出完备化及同伦（余）下降统一起来。
• 构建可解释为导出（余）完备化的通用下降与余下降谱序列。
• 证明广为人知的谱序列——如不稳定与稳定 Adams 谱序列、Adams-Novikov 谱序列以及映射的下降谱序列——均为该通用框架的特例。
• 阐明 Lichtenbaum-Quillen 猜想与沿 Dwyer-Friedlander 映射从代数 K-理论到 étale K-理论的同伦下降之间的关系。

提出的方法

• 通过单纯化丰富范畴建模 $(∞,1)$-范畴，以支持同伦论构造。
• 使用 Eilenberg-Moore 构造定义单子与余单子上的（余）代数，并在适当条件下保持单纯化丰富结构。
• 基于 Mandell 对 $E_{\infty}$-代数与 $p$-完备化结果的定理，建立通过导出（余）完备性实现同伦（余）下降的判别准则。
• 构建通用的下降与余下降谱序列，作为在导出（余）完备化设定下计算同伦群的工具。
• 将该框架应用于已知例子，包括 Adams 与 Adams-Novikov 谱序列，并将其与导出余完备化及同构性猜想联系起来。
• 利用 Postnikov 展现与 Eilenberg-Moore 范畴上的模型范畴结构，确保导出（余）完备化函子的存在性。

实验结果

研究问题

• RQ1 在通过单纯化丰富范畴建模的 $∞$-范畴中，同伦下降或余下降在何种条件下成立？
• RQ2 如何构建并解释基于导出（余）完备化的通用下降与余下降谱序列？
• RQ3 经典谱序列（如 Adams 与 Adams-Novikov 谱序列）在多大程度上可作为所提出通用框架的特例？
• RQ4 Lichtenbaum-Quillen 猜想与沿 Dwyer-Friedlander 映射从代数 K-理论到 étale K-理论的同伦下降之间存在何种关系？
• RQ5 导出余完备化与同伦左 Kan 扩张之间存在何种关系，特别是通过其对应的装配与余装配映射？

主要发现

• 本文建立了基于导出（余）完备性的同伦下降与余下降的通用判别准则，其形式与 Mandell 对 $E_{\infty}$-代数模型的 $p$-完备空间的定理类似。
• 构建了通用的下降与余下降谱序列，可解释为导出（余）完备化与同伦（余）下降的工具，提供统一的计算手段。
• 不稳定与稳定 Adams 谱序列、Adams-Novikov 谱序列以及映射的下降谱序列，均被证明是该通用框架的特例。
• 本文建立了 Lichtenbaum-Quillen 猜想与沿 Dwyer-Friedlander 映射从代数 K-理论到 étale K-理论的同伦下降之间的紧密联系。
• 该框架揭示了导出余完备化与同伦左 Kan 扩张之间、以及完备化与右 Kan 扩张之间的对偶性，其关键在于各自的装配与余装配映射。
• 在包含 Postnikov 展现与拟 fibrant 性假设的条件下，构建了（余）代数 Eilenberg-Moore 范畴上的模型范畴结构，从而确保了导出（余）完备化函子的存在性。