Simplicial Waldhausen categories and topological -theory
arXiv:1705.05192
Abstract
Utilizing simplicial Waldhausen theory, we prove that the geometric realization of the topologized category of bounded chain complexes over complex numbers (resp. real numbers) is an infinite loop space that represents connective complex (resp. real) topological K-theory. The key ingredient in our proof is a generalized Waldhausen comparison theorem.
arXiv commentA counterexample of Theorem 0.2 was pointed out by a referee