Cyclic homology, tight crossed products, and small stabilizations

DOI10.4171/JNCG/184MaRDI QIDQ2264076zbMATH OpenOpenAlexFDO

Authors G. Cortiñas

Publication date 20 March 2015

Published in Journal of Noncommutative Geometry (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.3508

zbMATH Keywords

Calkin's theoremcrossed productcyclic homologyKaroubi's coneoperator ideal

Mathematics Subject Classification ID

(K)-theory and homology; cyclic homology and cohomology (19D55) Operator ideals (47L20)

Abstract: In verb|arXiv:1212.5901| we associated an algebra $Gami(fA)$ to every bornological algebra $fA$ and an ideal $I_{S(fA)}riquiGami(fA)$ to every symmetric ideal $Sriquielli$. 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}riquicB$ 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 $H{C}_{\ast }(Gami(fA):I_{S(fA)})$. Using these calculations, and the results of emph{loc. cit.}, we prove that if $fA$ is a $C^{\ast }$-algebra and $c_0$ the symmetric ideal of sequences vanishing at infinity, then $K_{\ast }(I_{c_0(fA)})$ is homotopy invariant, and that if $\ast ge0$, it contains $K_{\ast }^{op}(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^{\ast }$-algebra tensor product $fAsotimescK$, we have $K_{\ast }(fAsotimescK)=K_{\ast }^{op}(fA)$. Similarly, we prove that if $fA$ is a unital Banach algebra and $$, then $K_{\ast }(I_{el{l}^{infty-}(fA)})$ is invariant under H"older continuous homotopies, and that for $\ast ge0$ it contains $K_{\ast }^{op}(fA)$ as a direct summand. These $K$-theoretic results are obtained from cyclic homology computations. We also compute the relative cyclic homology groups $H{C}_{\ast }(Gami(fA):I_{S(fA)})$ in terms of $H{C}_{\ast }(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 $H{C}_n(Gami(C):I_{S(C)})oH{C}_n(cB:J_S)$ is an isomorphism in many cases.

Review text

Given a bornological algebra \(\mathfrak{A}\), consider the algebra \(\Gamma^\infty(\mathfrak{A})\) of \(\mathbb{N}\times\mathbb{N}\) matrices \(A\) over \(\mathfrak{A}\) satisfying: (1) the entries of \(A\) are uniformly bounded; and (2) there is a uniform bound on the number of nonzero entries in each row and column of \(A\). This algebra was introduced by the author and \textit{B. Abadie} in [J. Homotopy Relat. Struct. 10, No. 3, Article ID 69, 459--493 (2015; Zbl 1347.55006)], where the authors also associated an ideal \(I_{S(\mathfrak{A})}\subseteq\Gamma^{\infty}(\mathfrak{A})\) to each symmetric ideal \(S\subseteq \ell^\infty(\mathbb{N},\mathbb{C})\). In this article, the author computes the relative cyclic homology groups \({HC}_*(\Gamma^{\infty}(\mathfrak{A}), I_{S(\mathfrak{A})})\) in terms of \({HC}_*(\ell^\infty(\mathfrak{A}), S(\mathfrak{A}) )\), and he obtains some \(K\)-theoretic results about the `stabilizations' \(I_{S(\mathfrak{A})}\) as corollaries. As an example of the latter, it is shown that if \(\mathfrak{A}\) is a \(C^*\)-algebra, and \(c_0\) the ideal of sequences vanishing at infinity, then the algebraic \(K\)-theory \(K_*(I_{c_0(\mathfrak{A})})\) is homotopy-invariant, and contains the topological \(K\)-theory \(K_*^{\mathrm{top}}(\mathfrak{A})\) as a direct-summand for \(*\geq 0\). An important ingredient in the computation is the description, due to the author and B. Abadie [loc. cit.], of \(I_{S(\mathfrak{A})}\) in terms of the crossed product of \(S(\mathfrak{A})\) by the inverse monoid of partial bijections on \(\mathbb{N}\).

Recommendations

• Homotopy invariance through small stabilizations
• scientific article; zbMATH DE number 1748067
• An adaptive node regeneration technique for the efficient solution of elasticity problems using MDLSM method
• scientific article; zbMATH DE number 445072
• Cyclic cohomology and Chern-Connes pairing of some crossed product algebras

Cites work

• Algebraic geometry of topological spaces. I
• Algebraic v. Topological K-Theory: A Friendly Match
• Bivariant algebraic K-theory
• Commutator structure of operator ideals
• Comparison between algebraic and topological \(K\)-theory of locally convex algebras
• Cyclic cohomology and algebra extensions
• Decomposition of the Hochschild and cyclic homology of commutative differential graded algebras
• Décompositions de l'homologie cyclique des algèbres différentielles graduées commutatives. (Decompositions of cyclic homology of commutative differential graded algebras)
• Excision in algebraic \(K\)-theory
• Excision in cyclic homology and in rational algebraic K-theory
• Fell bundles over inverse semigroups and twisted étale groupoids
• Hilbert modules and modules over finite von Neumann algebras and applications to \(L^ 2\)-invariants
• Homotopy invariance through small stabilizations
• scientific article; zbMATH DE number 3125399 (Why is no real title available?)
• scientific article; zbMATH DE number 595200 (Why is no real title available?)
• scientific article; zbMATH DE number 727428 (Why is no real title available?)
• scientific article; zbMATH DE number 1093754 (Why is no real title available?)
• Inverse semigroups and combinatorial \(C^*\)-algebras
• On Ideals of Operators in Hilbert Space
• On the Generalized Cyclic Eilenberg-Zilber Theorem
• Relative Chern Characters for Nilpotent Ideals
• Some remarks on the invariant basis property
• Topological and bivariant K-theory
• Two-sided ideals and congruences in the ring of bounded operators in Hilbert space

Cited in

(5)

• Small cycle double covers of products. II: Categorical and strong products with paths and cycles
• On the \(C^{\ast}\)-algebra of matrix-finite bounded operators
• Self-stabilization in certain infinite-dimensional matrix algebras
• Homotopy invariance through small stabilizations
• Exel-Pardo algebras with a twist

This page was built for publication: Cyclic homology, tight crossed products, and small stabilizations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2264076)