Homotopy invariance through small stabilizations

TL;DR

This paper constructs a new algebra associated with bornological algebras, proves homotopy invariance of certain K-theory groups for specific ideals, and explores their relation to topological K-theory and cyclic homology.

Contribution

It introduces the algebra mi(), establishes homotopy invariance of Weibel's K-theory groups for certain ideals, and links algebraic K-theory with cyclic homology in this context.

Findings

KH_*(I_{S()}) are homotopy invariant for S including c_0 and rp

KH_*(I_{S()}) contains K_*^{top}() as a direct summand under certain conditions

The cyclic homology groups measure the failure of K-theory maps to be isomorphisms

Abstract

We associate an algebra $\Gami(\fA)$ to each bornological algebra $\fA$. The algebra $\Gami(\fA)$ contains a two-sided ideal $I_{S(\fA)}$ for each symmetric ideal $S\triqui\elli$ of bounded sequences of complex numbers. In the case of $\Gami=\Gami(\C)$, these are all the two-sided ideals, and $I_S\mapsto J_S=\cB I_S\cB$ gives a bijection between the two-sided ideals of $\Gami$ and those of $\cB=\cB(\ell^2)$. We prove that Weibel's $K$-theory groups $KH_*(I_{S(\fA)})$ are homotopy invariant for certain ideals $S$ including $c_0$ and $\ell^p$. Moreover, if either $S=c_0$ and $\fA$ is a local $C^*$-algebra or $S=\ell^p,\ell^{p\pm}$ and $\fA$ is a local Banach algebra, then $KH_*(I_{S(\fA)})$ contains $K_*^{\top}(\fA)$ as a direct summand. Furthermore, we prove that for $S\in\{c_0,\ell^p,\ell^{p\pm}\}$ the map $K_*(\Gamma^\infty(\fA):I_{S(\fA)})\to KH_*(I_{S(\fA)})$ fits into a long exact sequence with the relative cyclic homology groups $HC_*(\Gamma^\infty(\fA):I_{S(\fA)})$. Thus the latter groups measure the failure of the former map to be an isomorphism.