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

This paper is concerned with the algebraic K-theory of locally convex C-algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that if L is locally convex and J a Fréchet operator ideal, then all the different variants of topological K-theory agree on the compl...

Descripción completa

Guardado en:
Detalles Bibliográficos
Publicado: 2008
Materias:
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00018708_v218_n1_p266_Cortinas
http://hdl.handle.net/20.500.12110/paper_00018708_v218_n1_p266_Cortinas
Aporte de:
id paper:paper_00018708_v218_n1_p266_Cortinas
record_format dspace
spelling paper:paper_00018708_v218_n1_p266_Cortinas2023-06-08T14:21:43Z Comparison between algebraic and topological K-theory of locally convex algebras Algebraic and topological K-theory Karoubi's conjecture Locally convex algebra Operator ideal This paper is concerned with the algebraic K-theory of locally convex C-algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that if L is locally convex and J a Fréchet operator ideal, then all the different variants of topological K-theory agree on the completed projective tensor product L over(⊗, ̂) J, and that the obstruction for the comparison map K (L over(⊗, ̂) J) → Ktop (L over(⊗, ̂) J) to be an isomorphism is (absolute) algebraic cyclic homology. We prove the existence of an exact sequence (Theorem 6.2.1). {A figure is presented}. We show that cyclic homology vanishes in the case when J is the ideal of compact operators and L is a Fréchet algebra whose topology is generated by a countable family of sub-multiplicative seminorms and admits an approximate right or left unit which is totally bounded with respect to that family (Theorem 8.3.3). This proves the generalized version of Karoubi's conjecture due to Mariusz Wodzicki and announced in his paper [M. Wodzicki, Algebraic K-theory and functional analysis, in: First European Congress of Mathematics, Vol. II, Paris, 1992, in: Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 485-496]. We also consider stabilization with respect to a wider class of operator ideals, called sub-harmonic. Every Fréchet ideal is sub-harmonic, but not conversely; for example the Schatten ideal Lp is sub-harmonic for all p > 0 but is Fréchet only if p ≥ 1. We prove a variant of the exact sequence above which essentially says that if A is a C-algebra and J is sub-harmonic, then the obstruction for the periodicity of K* (A ⊗C J) is again cyclic homology (Theorem 7.1.1). This generalizes to all algebras a result of Wodzicki for H-unital algebras announced in [M. Wodzicki, Algebraic K-theory and functional analysis, in: First European Congress of Mathematics, Vol. II, Paris, 1992, in: Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 485-496]. The main technical tools we use are the diffeotopy invariance theorem of Cuntz and the second author (which we generalize in Theorem 6.1.6), and the excision theorem for infinitesimal K-theory, due to the first author. © 2007 Elsevier Inc. All rights reserved. 2008 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00018708_v218_n1_p266_Cortinas http://hdl.handle.net/20.500.12110/paper_00018708_v218_n1_p266_Cortinas
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic Algebraic and topological K-theory
Karoubi's conjecture
Locally convex algebra
Operator ideal
spellingShingle Algebraic and topological K-theory
Karoubi's conjecture
Locally convex algebra
Operator ideal
Comparison between algebraic and topological K-theory of locally convex algebras
topic_facet Algebraic and topological K-theory
Karoubi's conjecture
Locally convex algebra
Operator ideal
description This paper is concerned with the algebraic K-theory of locally convex C-algebras stabilized by operator ideals, and its comparison with topological K-theory. We show that if L is locally convex and J a Fréchet operator ideal, then all the different variants of topological K-theory agree on the completed projective tensor product L over(⊗, ̂) J, and that the obstruction for the comparison map K (L over(⊗, ̂) J) → Ktop (L over(⊗, ̂) J) to be an isomorphism is (absolute) algebraic cyclic homology. We prove the existence of an exact sequence (Theorem 6.2.1). {A figure is presented}. We show that cyclic homology vanishes in the case when J is the ideal of compact operators and L is a Fréchet algebra whose topology is generated by a countable family of sub-multiplicative seminorms and admits an approximate right or left unit which is totally bounded with respect to that family (Theorem 8.3.3). This proves the generalized version of Karoubi's conjecture due to Mariusz Wodzicki and announced in his paper [M. Wodzicki, Algebraic K-theory and functional analysis, in: First European Congress of Mathematics, Vol. II, Paris, 1992, in: Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 485-496]. We also consider stabilization with respect to a wider class of operator ideals, called sub-harmonic. Every Fréchet ideal is sub-harmonic, but not conversely; for example the Schatten ideal Lp is sub-harmonic for all p > 0 but is Fréchet only if p ≥ 1. We prove a variant of the exact sequence above which essentially says that if A is a C-algebra and J is sub-harmonic, then the obstruction for the periodicity of K* (A ⊗C J) is again cyclic homology (Theorem 7.1.1). This generalizes to all algebras a result of Wodzicki for H-unital algebras announced in [M. Wodzicki, Algebraic K-theory and functional analysis, in: First European Congress of Mathematics, Vol. II, Paris, 1992, in: Progr. Math., vol. 120, Birkhäuser, Basel, 1994, pp. 485-496]. The main technical tools we use are the diffeotopy invariance theorem of Cuntz and the second author (which we generalize in Theorem 6.1.6), and the excision theorem for infinitesimal K-theory, due to the first author. © 2007 Elsevier Inc. All rights reserved.
title Comparison between algebraic and topological K-theory of locally convex algebras
title_short Comparison between algebraic and topological K-theory of locally convex algebras
title_full Comparison between algebraic and topological K-theory of locally convex algebras
title_fullStr Comparison between algebraic and topological K-theory of locally convex algebras
title_full_unstemmed Comparison between algebraic and topological K-theory of locally convex algebras
title_sort comparison between algebraic and topological k-theory of locally convex algebras
publishDate 2008
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_00018708_v218_n1_p266_Cortinas
http://hdl.handle.net/20.500.12110/paper_00018708_v218_n1_p266_Cortinas
_version_ 1768543061949808640