[论文解读] Approximation in K-theory for Waldhausen Quasicategories

Thomas M. Fiore|arXiv (Cornell University)|Mar 17, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 19被引用 3

一句话总结

本文在Waldhausen准范畴的背景下建立了全面的一系列逼近定理，将Waldhausen的经典K-理论逼近定理推广至∞-范畴设定。证明了在反映等价性、态射的分解以及保持等价性列的上极限等条件下，一个精确函子在K-理论谱上诱导出逐级弱同伦等价，其关键结果表明，当定义域具备并保持相关上极限时，此类函子会诱导出K-理论谱的稳定等价性。

ABSTRACT

We prove a series of Approximation Theorems in the setting of Waldhausen quasicategories. These theorems, inspired by Waldhausen's 1985 Approximation Theorem, give sufficient conditions for an exact functor of Waldhausen quasicategories to induce a level-wise weak homotopy equivalence of K-theory spectra. The Pre-Approximation Theorem, which holds in the general setting of quasicategories without Waldhausen structures, provides sufficient conditions for a functor F:A->B to restrict to an equivalence of the maximal infinity-groupoids in A and B. Our Approximation Theorems follow from the Pre-Approximation Theorem. The Approximation Theorem in the quasicategorical setting most analogous to Waldhausen's is: if an exact functor F:A -> B satisfies Waldhausen's App 1 and App 2, and the domain A admits colimits of the aforementioned type and F preserves them, then K(F) is a level-wise equivalence. As a corollary, if F is an exact functor with ho(F) an equivalence of ordinary categories, and every morphism in the domain A is a cofibration, then K(F) is a level-wise equivalence. We then introduce a version of App 2 called Cofibration App 2 that only requires factorization of cofibrations Fa >-> b as (equiv) o F(cofibration) and prove an analogous Cofibration Approximation Theorem, and a corollary for certain functors that induce an equivalence of cofibration homotopy categories. We also prove that S_n^infinity is Waldhausen equivalent to \overline{\mathcal{F}_{n-1}^infinity} using the mid anodyne maps known as spine inclusions, and clarify how hypotheses and notions in Waldhausen structures are related in new ways in the context of quasicategories.

研究动机与目标

• 将Waldhausen的经典逼近定理推广至Waldhausen准范畴的设定，为∞-范畴理论中的K-理论逼近提供框架。
• 确定在何种充分条件下，Waldhausen准范畴之间的精确函子会在其K-理论谱上诱导出逐级弱同伦等价。
• 引入并分析一种Cofibration逼近定理的变体，将App 2的条件弱化为仅需分解共纤维化，从而扩大其适用范围。
• 阐明Waldhausen结构与准范畴概念之间的关系，特别是关于脊骨包含与中位内向映射的关系。
• 建立 $ S_n^\infty $ 与 $ \overline{\mathcal{F}_{n-1}^\infty} $ 之间的Waldhausen等价性，为这些K-理论空间提供一种新的准范畴模型。

提出的方法

• 在一般准范畴中引入预逼近定理，要求F反映等价性，将态射分解为 (等价性)∘F(共纤维化)，并保持由连通有限偏序集索引的等价性列的上极限。
• 通过在准范畴设定下验证Waldhausen的App 1与App 2条件，建立主要逼近定理，假设定义域具备并F保持由连通有限偏序集索引的等价性列的上极限。
• 通过引入Cofibration App 2，发展Cofibration逼近定理，该条件仅要求将共纤维化 $ Fa \rightarrowtail b $ 分解为 (等价性)∘F(共纤维化)，并证明相应的K-理论谱等价性。
• 使用 $ S_\bullet^\infty $ 与 $ \overline{S_\bullet^\infty} $ 构造来在准范畴设定中建模K-理论谱，其中后者构造省略了复合结构。
• 应用重心剖分与Kan的Ex函子分析弱收缩性与同伦群，证明若一个单纯集的所有诱导同伦群映射都为零，则该单纯集是弱收缩的。
• 在准范畴与上准范畴中应用Quillen定理A，验证某些函子在最大∞-群胚上诱导出等价性。

实验结果

研究问题

• RQ1 在何种条件下，Waldhausen准范畴之间的精确函子会在K-理论谱上诱导出逐级弱同伦等价？
• RQ2 Waldhausen的经典逼近定理如何推广至准范畴设定，特别是在分解与上极限保持方面的推广？
• RQ3 共纤维化分解在逼近定理中起什么作用？App 2能否被弱化为Cofibration App 2条件？
• RQ4 脊骨包含与中位内向映射如何与准范畴中的Waldhausen结构相关联？它们如何用于证明K-理论模型之间的等价性？
• RQ5 Waldhausen准范畴的同伦范畴在多大程度上控制K-理论谱？当同伦范畴上的等价性何时能提升为K-理论等价性？

主要发现

• 预逼近定理表明，若函子F反映等价性，将态射分解为 (等价性)∘F(共纤维化)，并保持由连通有限偏序集索引的等价性列的上极限，则F在定义域与值域的最大∞-群胚上诱导出等价性。
• 主要逼近定理表明，若F满足App 1与App 2条件，且定义域准范畴具备并F保持由连通有限偏序集索引的等价性列的上极限，则其在K-理论谱上诱导出的映射是逐级弱同伦等价。
• 在较弱的Cofibration App 2条件下证明了Cofibration逼近定理，该条件仅要求将共纤维化 $ Fa \rightarrowtail b $ 分解为 (等价性)∘F(共纤维化)，并得出与K-理论谱相同的结论。
• 推论表明，若F是精确函子，且 $ ho(F) $ 是普通范畴之间的等价，且定义域中的每个态射都是共纤维化，则 $ \mathbf{K}(F) $ 是逐级等价。
• 本文通过脊骨包含（其为中位内向映射）证明了 $ S_n^\infty $ 与 $ \overline{\mathcal{F}_{n-1}^\infty} $ 之间存在Waldhausen等价性，为这些K-理论空间提供了新的准范畴模型。
• 本文澄清了Waldhausen结构与准范畴概念之间的相互作用，表明App 1与App 2中的条件等价于某些准范畴上极限与同伦群条件，特别是在单纯集弱收缩性的背景下。