[論文レビュー] 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理論スペクトルにレベルごとの弱ホモトピー同値を誘導する十分条件を特定すること。
• App 2の条件を弱めた「コボルダリティ近似定理」の変種を導入・分析し、適用範囲を広げること。
• Waldhausen構造と擬カテゴリ的概念の関係、特にスプラインインクルージョンとミッドアノイドンマップの関係を明確化すること。
• S_n^∞ が Waldhausen同値であることを示し、これらのK理論空間の新しい擬カテゴリ的モデルを提供すること。

提案手法

• 一般の擬カテゴリにおける「前近似定理」を導入し、Fが同値を反映し、射を (同値)∘F(コボルダリティ) に分解し、連結な有限順序集合でインデックスされた同値の列の上限を保存する必要があることを要請する。
• ドメインが同値の列の上限を備え、Fがそれらを保存するという仮定の下で、WaldhausenのApp 1およびApp 2条件を擬カテゴリ的設定で検証し、主要近似定理を確立する。
• コボルダリティApp 2を導入することでコボルダリティ近似定理を構築し、F(a)→b というコボルダリティの分解が (同値)∘F(コボルダリティ) に分解できることのみを要件とし、それに対応するK理論スペクトルの同値性を証明する。
• K理論スペクトルの擬カテゴリ的設定におけるモデル化として、S_\bullet^\infty および \overline{S_\bullet^\infty} の構成を用いる。後者は合成を省略する。
• バーチャルサブディビジョンとKanのEx関手を用いて弱収縮性およびホモトピー群を分析し、単体的集合のすべての誘導されたホモトピー群写像が消えるならば、その単体的集合は弱収縮的であることを証明する。
• 擬カテゴリのQuillenの定理Aおよび過剰擬カテゴリのQuillenの定理Aを用いて、特定の関手が最大の∞-群体に同値を誘導することを検証する。

実験結果

リサーチクエスチョン

• RQ1 Waldhausenの擬カテゴリ間の正確な関手が、K理論スペクトルのレベルごとの弱ホモトピー同値を誘導する条件は何か？
• RQ2 Waldhausenの古典的近似定理は、分解および上限保存という観点から、どのように擬カテゴリの設定に一般化できるか？
• RQ3 コボルダリティの分解は近似定理において果たす役割は何か？また、App 2を「コボルダリティApp 2」の条件に弱めることは可能か？
• RQ4 スプラインインクルージョンとミッドアノイドンマップは、擬カテゴリにおけるWaldhausen構造とどのように関係し、K理論モデル間の同値性を証明するためにどのように利用できるか？
• RQ5 Waldhausenの擬カテゴリのホモトピー圏は、K理論スペクトルをどの程度制御するか？また、ホモトピー圏の同値性がK理論同値性に引き上げられるのはどのような場合か？

主な発見

• 前近似定理は、関手Fが同値を反映し、射を (同値)∘F(コボルダリティ) に分解し、連結な有限順序集合でインデックスされた同値の列の上限を保存するならば、Fがドメインとコドメインの最大の∞-群体の間で同値を誘導することを確立する。
• 主近似定理は、FがApp 1およびApp 2を満たし、ドメインの擬カテゴリが同値の列の上限を備え、Fがそれらを保存するならば、K理論スペクトルへの誘導写像がレベルごとの弱ホモトピー同値であることを示す。
• コボルダリティApp 2の弱い条件のもとでコボルダリティ近似定理が証明され、F(a)→b というコボルダリティの分解が (同値)∘F(コボルダリティ) に分解できることのみを要件として、K理論スペクトルに同じ結論が得られる。
• 系として、Fが正確な関手であり、ho(F) が通常の圏の同値であり、ドメイン内のすべての射がコボルダリティであるならば、K(F) はレベルごとの同値であることが示される。
• 本稿は、スプラインインクルージョン（これはミッドアノイドンマップである）を用いて、S_n^\infty が Waldhausen同値であることを証明し、これらのK理論空間の新しい擬カテゴリ的モデルを提供する。
• 本稿は、Waldhausen構造と擬カテゴリ的概念の相互作用を明確にし、App 1およびApp 2の条件が、特に単体的集合の弱収縮性の文脈において、特定の擬カテゴリ的上限およびホモトピー群の条件と同値であることを示している。