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:
Autores principales: | , |
---|---|
Formato: | JOUR |
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_00018708_v218_n1_p266_Cortinas |
Aporte de: |
id |
todo:paper_00018708_v218_n1_p266_Cortinas |
---|---|
record_format |
dspace |
spelling |
todo:paper_00018708_v218_n1_p266_Cortinas2023-10-03T13:52:15Z Comparison between algebraic and topological K-theory of locally convex algebras Cortiñas, G. Thom, A. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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 Cortiñas, G. Thom, A. 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. |
format |
JOUR |
author |
Cortiñas, G. Thom, A. |
author_facet |
Cortiñas, G. Thom, A. |
author_sort |
Cortiñas, G. |
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 |
url |
http://hdl.handle.net/20.500.12110/paper_00018708_v218_n1_p266_Cortinas |
work_keys_str_mv |
AT cortinasg comparisonbetweenalgebraicandtopologicalktheoryoflocallyconvexalgebras AT thoma comparisonbetweenalgebraicandtopologicalktheoryoflocallyconvexalgebras |
_version_ |
1807322505515368448 |