Waldhausen additivity: classical and quasicategorical

DOI10.1007/S40062-018-0206-6MaRDI QIDQ2631918zbMATH OpenOpenAlexWikidataFDO

Authors Thomas M. Fiore, Malte Pieper

Publication date 16 May 2019

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

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

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)

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.

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

Cites work

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

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)