A universal characterization of higher algebraic K-theory

Mathematics – K-Theory and Homology

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

Added homotopy invariance section (homotopy K-theory, KV-theory), various minor revisions and improvements

Scientific paper

In this paper we establish a universal characterization of higher algebraic K-theory in the setting of stable infinity categories. Specifically, we prove that connective algebraic K-theory is the universal additive invariant, i.e., the universal functor with values in a stable presentable infinity category which inverts Morita equivalences, preserves filtered colimits, and satisfies Waldhausen's additivity theorem. Similarly, we prove that non-connective algebraic K-theory is the universal localizing invariant, i.e., the universal functor that moreover satisfies the "Thomason-Trobaugh-Neeman" localization theorem. In addition, by adapting the standard cosimplicial affine space to the setting of stable categories, we generalize the classical notion of algebraic homotopy invariance and prove that Karoubi-Villamayor's algebraic K-theory is the universal additive homotopy invariant and that Weibel's homotopy K-theory is the universal localizing homotopy invariant. To prove these results, we construct and study various stable symmetric monoidal infinity categories of "non-commutative motives". In these infinity categories, Waldhausen's S. construction corresponds to the suspension functor and the various algebraic K-theory spectra becomes corepresentable by the unit object. Moreover, these infinity categories are enriched over Waldhausen's A-theory of a point and the homotopy K-theory of the sphere spectrum, respectively. We give several applications of our theory. We obtain a complete classification of all natural transformations from higher algebraic K-theory to THH and TC. Notably, we obtain a canonical construction and universal description of the cyclotomic trace map. We also exhibit a lax symmetric monoidal structure on the different algebraic K-theory functors, implying in particular that E_n ring spectra give rise to E_{n-1} K-theory spectra.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

A universal characterization of higher algebraic K-theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A universal characterization of higher algebraic K-theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A universal characterization of higher algebraic K-theory will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-526180

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.