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.

Integral closure of ideals and annihilators of homology

Homological Integral of Hopf Algebras

Stability of annihilators of cohomology and closed subsets defined by Jacobian ideals

New versions of Frobenius and integral closure of ideals

Integral closures of powers of sums of ideals

Integral closure and local cohomology

A better comparison of cdh- and ldh-cohomologies

Monopoles, twisted integral homology, and Hirsch algebras

Some Homological Conjectures Over Idealization Rings

Annihilator Ideals of Indecomposable Modules of Finite-Dimensional Pointed Hopf Algebras of Rank One

Integral Invariants of 3-Manifolds. II

Absolute Integral Closure

On split quasi-hereditary covers and Ringel duality

Cyclic homology, tight crossed products, and small stabilizations

Chains of integrally closed ideals

Integration of Hochschild cohomology, derived Picard groups and uniqueness of lifts

Compact convergence, deformation of the $L^2$-$\overline{\partial}$-complex and canonical $K$-homology classes

Hodge Theory of Abelian Covers

Differential Modules with Complete Intersection Homology

Colength, multiplicity, and ideal closure operations II

Cdh Descent for Homotopy Hermitian $K$-Theory of Rings with Involution