[论文解读] On the Q construction for exact quasicategories

Clark Barwick|arXiv (Cornell University)|Jan 21, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 5被引用 17

一句话总结

本文為精确 ∞-范畴建立了 ∞-范畴化的 Q 构造，证明其代数 K-理论可通过该方法构造的 quasi-category 的循环空间计算得出。关键结果表明，直和结构使所得同伦型具备与标准结构一致的无限循环空间结构，并证明了关于通过幂零浸入实现 K-理论等价性的原始 DeVissage 定理。

ABSTRACT

We prove that the K-theory of an exact quasicategory can be computed via a higher categorical variant of the Q construction. This construction yields a quasicategory whose weak homotopy type is a delooping of the K-theory space. We show that the direct sum endows this homotopy type with the structure of a infinite loop space, which agrees with the canonical one. Finally, we prove a proto-devissage result, which gives a necessary and sufficient condition for a "nilimmersion" of stable quasicategories to be a K-theory equivalence. In particular, we prove that a well-known conjecture of Ausoni and Rognes is equivalent to the weak contractibility of a particular quasicategory.

研究动机与目标

• 将 Quillen 的 Q 构造推广至精确 ∞-范畴的设定，将代数 K-理论扩展至高阶范畴。
• 证明 ∞-范畴化 Q 构造产生一个其弱同伦型为 K-理论空间的分次（delooping）的 quasi-category。
• 确立直和结构使 K-理论空间具备与标准结构相容的无限循环空间结构。
• 证明一个原始 DeVissage 定理，给出稳定 ∞-范畴的幂零浸入诱导 K-理论等价性的必要且充分条件。
• 将 Ausoni–Rognes 猜想重新表述为特定 ∞-范畴的弱收缩性，从而为该猜想提供一种新的、具体的表述形式。

提出的方法

• 本文定义了 Quillen 的 Q 构造的 ∞-范畴变体，通过内射与外射态射从精确 ∞-范畴构造一个 quasi-category。
• 引入扭曲箭头 ∞-范畴作为在 ∞-范畴设定中建模 Q 构造的基础工具。
• 证明该构造产生一个其单体（nerve）实现 K-理论空间分次的 quasi-category，利用 ∞-范畴中的同伦代数。
• 使用直和运算为所得同伦型赋予交换幺半群结构，从而实现无限循环空间结构。
• 将 Quillen 的定理 A 和定理 B 应用于 ∞-范畴，证明了相对 Q 构造及关于幂零浸入的原始 DeVissage 结果。
• 通过原始 DeVissage 框架将 Ausoni–Rognes 猜想约化为特定 ∞-范畴的弱收缩性。

实验结果

研究问题

• RQ1 Quillen 的 Q 构造能否以一种能通过 quasi-category 的循环空间计算代数 K-理论的方式，被推广至精确 ∞-范畴？
• RQ2 ∞-范畴化 Q 构造是否产生 K-理论空间的分次？该分次是否与标准的无限循环空间结构相容？
• RQ3 何种条件可确保稳定 ∞-范畴的幂零浸入诱导 K-理论等价？
• RQ4 Quillen 的定理 A 和定理 B 如何被适配至 ∞-范畴设定，以研究 K-理论？
• RQ5 Ausoni–Rognes 猜想是否等价于特定 ∞-范畴的弱收缩性？

主要发现

• ∞-范畴化 Q 构造产生一个其弱同伦型为精确 ∞-范畴 K-理论空间分次的 quasi-category。
• 直和运算使所得 K-理论空间具备与标准结构一致的无限循环空间结构。
• 证明了一个原始 DeVissage 定理，给出了稳定 ∞-范畴的幂零浸入成为 K-理论等价的必要且充分条件。
• 将 Ausoni–Rognes 猜想重新表述为特定 ∞-范畴的弱收缩性，为该猜想提供了新的、具体的表述形式。
• 本文证明了相对 Q 构造，并将 Quillen 的定理 B 适配至 ∞-范畴，为 K-理论计算提供了新工具。