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.

A better comparison of cdh- and ldh-cohomologies

Cech cohomology of partially ordered sets

A comparison of Hochschild homology in algebraic and smooth settings

Nonabelian Hodge isomorphisms for stacks and cohomological Hall algebras

Faltings’ main p -adic comparison theorems for non-smooth schemes

Equivariant aspects of de-completing cyclic homology

Comparing Homologies: Cech'S Theory, Singular Chains, Integral Flat Chains and Integral Currents

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

Comparing tempered and equivariant elliptic cohomology

Cyclic homology, tight crossed products, and small stabilizations

Relative De Rham cohomology in diffeological spaces

Non-equivalences of motivic codimension filtration quotients

Diffuse radio emission in a REFLEX cluster

On the weight zero motivic cohomology

The cohomology of homogeneous spaces in historical context

Local (Co)homology and Čech (Co)complexes with Respect to a Pair of Ideals

A cohomological Hasse principle over two-dimensional local rings

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

Almost Coherence of Higher Direct Images

On Derived Equivalences and Homological Dimensions

Cohomological Dimension of DG-modules