Comparison between algebraic and topological K-theory of locally convex algebras

DOI10.1016/J.AIM.2007.12.007MaRDI QIDQ2482059zbMATH OpenOpenAlexWikidataFDO

Publication date 16 April 2008

Published in Advances in Mathematics (Search for Journal in Brave)

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

algebraic \(K\)-theory Karoubi conjecture locally convex algebra operator ideal topological \(K\)-theory

(K)-theory and homology; cyclic homology and cohomology (19D55) Kasparov theory ((KK)-theory) (19K35) (K)-theory and operator algebras (including cyclic theory) (46L80)

Abstract: This paper is concerned with the algebraic K-theory of locally convex algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that the obstruction for the comparison map between algebraic and topological K-theory to be an isomorphism is (absolute) algebraic cyclic homology and prove the existence of an 6-term exact sequence. We show that cyclic homology vanishes in the case when J is the ideal of compact operators and L is a Frechet algebra with bounded app. unit. This proves the generalized version of Karoubi's conjecture due to Mariusz Wodzicki and announced in his paper "Algebraic K-theory and functional analysis", First European Congress of Mathematics, Vol. II (Paris, 1992), 485--496, Progr. Math., 120, Birkh"auser, Basel, 1994. We also consider stabilization with respect to a wider class of operator ideals, called sub-harmonic. We study the algebraic K-theory of the tensor product of a sub-harmonic ideal with an arbitrary complex algebra and prove that the obstruction for the periodicity of algebraic K-theory is again cyclic homology. The main technical tools we use are the diffeotopy invariance theorem of Cuntz and the second author (which we generalize), and the excision theorem for infinitesimal K-theory, due to the first author.

Review text

Let \(L\) be a locally convex algebra over \(\mathbb C\), \(J\) a Fréchet operator ideal, \(A=L\hat{\otimes}J\), where \(\hat{\otimes}\) denotes the projective tensor product. The main result is the six-term exact sequence relating algebraic and topological \(K\)-theory with algebraic cyclic homology of \(A\): \[ \begin{matrix} K_1^{\text{top}}(A)&\longrightarrow&HC_{2n-1}(A)&\longrightarrow&K_{2n}(A)\\ \uparrow&&&&\downarrow\\ K_{2n-1}(A)&\longleftarrow&HC_{2n-2}(A)&\longleftarrow&K_0^{\text{top}}(A),\end{matrix} \] where \(K_*\) is algebraic \(K\)-theory, algebraic cyclic homology groups \(HC_*\) are taken over \(\mathbb Q\) and topological \(K\)-theory \(K_*^{\text{top}}\) is defined in terms of Cuntz' bivariant \(K\)-theory. It is also shown that all other possible definitions of topological \(K\)-theory \(K_*^{\text{top}}\) for locally convex algebras coincide for \(A\). If \(J\) is the ideal of all compact operators and \(L\) is a unital Banach algebra then \(HC_*(A)\) vanishes, giving thus a new proof of Karoubi's conjecture \(K_*(A)=K_*^{\text{top}}(A)\). The paper contains also results on diffeotopy invariance, harmonic operator ideals etc.

Recommendations

Cites work

Cited in

(26)

This page was built for publication: Comparison between algebraic and topological \(K\)-theory of locally convex algebras

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