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...
Guardado en:
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 |