The \(K\)-theory of endomorphisms of spaces
type: Item
instance of: scholarly article
title: The \(K\)-theory of endomorphisms of spaces
zbMATH Open document ID: 1387.19003
author: Filipp Levikov
published in: Homology, Homotopy and Applications
publication date: 2016-08-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/1511.08376
Mathematics Subject Classification ID: 19D10
Mathematics Subject Classification ID: 19D35
Mathematics Subject Classification ID: 55N15
zbMATH DE Number: 6618802
zbMATH Keywords: \(K\)-theory of endomorphisms
zbMATH Keywords: algebraic \(K\)-theory of spaces
zbMATH Keywords: non-linear projective line
reviewed by: Daniel Juan Pineda
MaRDI profile type: Publication
arXiv ID: 1511.08376
OpenAlex ID: W2964108829
DOI: 10.4310/HHA.2016.V18.N1.A17
review text: The author gives an \(\mathrm{End}\)-\(\mathrm{Nil}\) description of Waldhausen algebraic \(K\)-theory of spaces. The set-up is as follows: Let \(M_\bullet\) be a monoid and denote by \(M\) its realization. Let \(\mathbb{T}(M)\) be the category of based spaces with a left action by \(M\) and \(\mathbb{C}(M)\) be the subcategory of \(\mathbb{T}(M)\) consisting of cofibrants. There are several categories related to these: the category of \textit{finite} objects in \(\mathbb{C}(M)\), that of \textit{homotopy finite} objects, and \textit{finitely dominated} objects, these are related as follows: NEWLINE\[NEWLINE\mathbb{C}_f(M)\subset \mathbb{C}_{hf}(M)\subset \mathbb{C}_{fd}(M)\subset \mathbb{C}(M)\subset \mathbb{T}(M).NEWLINE\]NEWLINE The author gives the definition of the endomorphism category, \(\mathrm{End}_?^S(M)=\mathrm{End}_?^S(*,M)\) ``localized'' with respect a to a multiplicative set \(S\). The author proves that \(\mathrm{End}_?^S(*,M)\) is a Waldhausen category and the main theorem is {Theorem.} Let \(?=f, hf, fd\) denote one of the above defined categories, then there is a homotopy equivalence of spectra NEWLINE\[NEWLINE\widetilde{K}(\mathrm{End}^S_?(*,M))\simeq \Omega E^S_?A(*,M),NEWLINE\]NEWLINE where \(A^?(*,M)=\Omega|wS_\bullet\mathbb{C}_?(M)|\), and the latter is Waldhausen \(S\)-construction to the respective subcategories of weak equivalences.
description: scientific article; zbMATH DE number 6618802