Waldhausen additivity: classical and quasicategorical

DOI10.1007/S40062-018-0206-6zbMATH Open1423.19002arXiv1207.6613OpenAlexW2963126298WikidataQ129562651 ScholiaQ129562651MaRDI QIDQ2631918FDOQ2631918

Authors: Thomas M. Fiore, Malte Pieper 

Publication date: 16 May 2019

Published in: Journal of Homotopy and Related Structures (Search for Journal in Brave)

Abstract: We use a simplicial product version of Quillen's Theorem A to prove classical Waldhausen Additivity of wS., which says that the "subobject" and "quotient" functors of cofiber sequences induce a weak equivalence wS.E(A,C,B)--> wS.A x wS.B . A consequence is Additivity for the Waldhausen K-theory spectrum of the associated split exact sequence, namely a stable equivalence of spectra K(A)vK(B)--> K(E(A,C,B)). This paper is dedicated to transferring these proofs to the quasicategorical setting and developing Waldhausen quasicategories and their sequences. We also give sufficient conditions for a split exact sequence to be equivalent to a standard one. These conditions are always satisfied by stable quasicategories, so Waldhausen K-theory sends any split exact sequence of pointed stable quasicategories to a split cofiber sequence. Presentability is not needed. In an effort to make the article self-contained, we recall all the necessary results from the theory of quasicategories, and prove a few quasicategorical results that are not in the literature.

Full work available at URL: https://arxiv.org/abs/1207.6613

Recommendations

• The additivity theorem in \(K\)-theory
• Algebraic \(K\)-theory and abstract homotopy theory
• On the algebraic \(K\)-theory of higher categories
• A remark on \(K\)-theory and \(S\)-categories
• Relative homological algebra and Waldhausen \(K\)-theory

zbMATH Keywords

algebraic \(K\)-theoryWaldhausen construction, addtivity, quasicategory

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Topological categories, foundations of homotopy theory (55U40) Algebraic (K)-theory of spaces (19D10)

Cites Work

• A universal characterization of higher algebraic \(K\)-theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• The 2-category theory of quasi-categories
• Triangulated categories
• Higher algebraic K-theory: I
• Higher Topos Theory (AM-170)
• Title not available (Why is that?)
• Homotopy invariant algebraic structures on topological spaces
• Title not available (Why is that?)
• The connection between the $K$-theory localization theorem of Thomason, Trobaugh and Yao and the smashing subcategories of Bousfield and Ravenel
• Quasi-categories and Kan complexes
• Dendroidal sets as models for homotopy operads
• Scissors congruence as \(K\)-theory
• Title not available (Why is that?)
• Completeness results for quasi-categories of algebras, homotopy limits, and related general constructions
• Categorical homotopy theory
• Mapping spaces in quasi-categories
• Calculating simplicial localizations
• Homotopy coherent category theory
• Algebraic \(K\)-theory and abstract homotopy theory
• Simplicial homotopy theory
• A Thomason model structure on the category of small \(n\)-fold categories
• On the algebraic \(K\)-theory of higher categories
• Additivity for derivator \(K\)-theory
• Derived Koszul duality and involutions in the algebraic \(K\)-theory of spaces
• Title not available (Why is that?)
• \(K\)-theory of derivators revisited
• A note on \(K\)-theory and triangulated derivators
• On exact \(\infty\)-categories and the theorem of the heart
• Model structures on the category of small double categories
• The additivity theorem in \(K\)-theory
• On fundamental theorems of algebraic \(K\)-theory
• The additivity theorem in algebraic \(K\)-theory
• A spectrum level rank filtration in algebraic \(K\)-theory
• Exact sequences in algebraic K-theory
• On fundamental theorems of algebraic K-theory

Cited In (3)

• 2-Segal objects and the Waldhausen construction
• 𝐾-theory of multiparameter persistence modules: Additivity
• The additivity theorem in \(K\)-theory

This page was built for publication: Waldhausen additivity: classical and quasicategorical

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2631918)