On the Q construction for exact quasicategories
Abstract
We prove that the K-theory of an exact quasicategory can be computed via a higher categorical variant of the Q construction. This construction yields a quasicategory whose weak homotopy type is a delooping of the K-theory space. We show that the direct sum endows this homotopy type with the structure of a infinite loop space, which agrees with the canonical one. Finally, we prove a proto-devissage result, which gives a necessary and sufficient condition for a "nilimmersion" of stable quasicategories to be a K-theory equivalence. In particular, we prove that a well-known conjecture of Ausoni and Rognes is equivalent to the weak contractibility of a particular quasicategory.
- Publication:
-
arXiv e-prints
- Pub Date:
- January 2013
- DOI:
- 10.48550/arXiv.1301.4725
- arXiv:
- arXiv:1301.4725
- Bibcode:
- 2013arXiv1301.4725B
- Keywords:
-
- Mathematics - K-Theory and Homology;
- Mathematics - Category Theory
- E-Print:
- 22 pages. Revised and expanded with the proto-devissage result. Comments always welcome