Abstract:In \verb|<a class="link-https" data-arxiv-id="1212.5901" href="https://arxiv.org/abs/1212.5901">arXiv:1212.5901</a>| we associated an algebra $\Gami(\fA)$ to every bornological algebra $\fA$ and an ideal $I_{S(\fA)}\triqui\Gami(\fA)$ to every symmetric ideal $S\triqui\elli$. We showed that $I_{S(\fA)}$ has $K$-theoretical properties which are similar to those of the usual stabilization with respect to the ideal $J_S\triqui\cB$ of the algebra $\cB$ of bounded operators in Hilbert space which corresponds to $S$ under Calkin's correspondence. In the current article we compute the relative cyclic homology $HC_*(\Gami(\fA):I_{S(\fA)})$. Using these calculations, and the results of \emph{loc. cit.}, we prove that if $\fA$ is a $C^*$-algebra and $c_0$ the symmetric ideal of sequences vanishing at infinity, then $K_*(I_{c_0(\fA)})$ is homotopy invariant, and that if $*\ge 0$, it contains $K^{\top}_*(\fA)$ as a direct summand. This is a weak analogue of the Suslin-Wodzicki theorem (\cite{sw1}) that says that for the ideal $\cK=J_{c_0}$ of compact operators and the $C^*$-algebra tensor product $\fA\sotimes\cK$, we have $K_*(\fA\sotimes\cK)=K^{\top}_*(\fA)$. Similarly, we prove that if $\fA$ is a unital Banach algebra and $\ell^{\infty-}=\bigcup_{q<\infty}\ell^q$, then $K_*(I_{\ell^{\infty-}(\fA)})$ is invariant under Hölder continuous homotopies, and that for $*\ge 0$ it contains $K^{\top}_*(\fA)$ as a direct summand. These $K$-theoretic results are obtained from cyclic homology computations. We also compute the relative cyclic homology groups $HC_*(\Gami(\fA):I_{S(\fA)})$ in terms of $HC_*(\elli(\fA):S(\fA))$ for general $\fA$ and $S$. For $\fA=\C$ and general $S$, we further compute the latter groups in terms of algebraic differential forms. We prove that the map $HC_n(\Gami(\C):I_{S(\C)})\to HC_n(\cB:J_S)$ is an isomorphism in many cases.

The stable Albanese homology of the IA-automorphism groups of free groups

The walled Brauer category and stable cohomology of $\mathrm{IA}_n$

The first homology of $\operatorname{IA}_n$ with coefficients in spaces of Jacobi diagrams

Quotient groups of IA-automorphisms of free metabelian groups

On the Eisenstein Cohomology of Arithmetic Groups

Rigidity, Generators and Homology of Interval Exchange Groups

Higher incoherence of the automorphism groups of a free group

Homotopy invariance through small stabilizations

Cyclic homology, tight crossed products, and small stabilizations

The cohomological support locus of pluricaonical sheaves and the Iitaka fibration

Algebraic models for classifying spaces of fibrations

The homology of the partition algebras

Homology of L_{\infty}-Algebras and Cyclic Homology

Automorphisms of categories of free algebras with unit for classical varieties of non-associative algebras

Homotopy cofinality for Non-Abelian homology of group diagrams

Automorphisms of the Category of Free Non-Associative Algebras with Unit

On Hom-Lie antialgebra

Atiyah classes of Lie algebroid homotopy modules

Relative Higher Homology and Representation Theory

Automorphism groups of free groups, surface groups and free abelian groups

Tits groups of Iwahori-Weyl groups and presentations of Hecke algebras