On the classification of commutator ideals
type: Item
instance of: scholarly article
title: On the classification of commutator ideals
zbMATH Open document ID: 0653.46066
DOI: 10.1016/0022-1236(88)90119-X
author: Ronghui Ji
author: Jingbo Xia
published in: Journal of Functional Analysis
publication date: 1988-01-01T00:00:00Z
review text: Let \(\Gamma\) be a subgroup of \({\mathbb{R}}\), and let \(\Gamma_+=\Gamma \cap [0,\infty)\). Then the \(C^*\)-algebra generated by isometric representations of \(\Gamma_+\) is known (by work of R. Douglas) to have only one isomorphism class, represented \({\mathcal I}(\Gamma)\). The commutator ideal in \({\mathcal I}(\Gamma)\) is denoted \({\mathcal C}(\Gamma)\). It is simple. Since \({\mathbb{R}}\) is selfdual, a given discrete subgroup \(\Gamma\) of \({\mathbb{R}}\) yields an embedding of \({\mathbb{R}}\) in \({\hat \Gamma}\) inducing the foliation \(C^*\)-algebra \(C_ 0({\mathbb{R}})\rtimes \Gamma\) contained in \(\hat {\mathcal C}(\Gamma)\) a certain AF-crossed product algebra. The foliation algebra is viewed as the smooth part of \(\hat {\mathcal C}(\Gamma)\). The normalized trace \(\tau_{\Gamma}\) induces a homomorphism \((\tau_{\Gamma})_*\) on K-theory (with values in \({\mathbb{R}})\), and it is proved that the range of \((\tau_{\Gamma})_*\) on \(K_ 0\) is \(\Gamma\). This holds for \(K_ 0\) of both \({\mathcal C}(\Gamma)\) and \(\hat {\mathcal C}(\Gamma)\). The corresponding complete isomorphism invariant is identified relative to (i) order isomorphism on the group level (i.e., the discrete subgroups \(\Gamma)\), (ii) \(C^*\)-isomorphism of the corresponding \({\mathcal I}(\Gamma)'s,\) (iii) strong Morita equivalence of the \({\mathcal I}(\Gamma)'s,\) (iv) isomorphism of the respective \({\mathcal C}(\Gamma)'s.\) For a pair of groups \(\Gamma\) and \(\Gamma\) ', isomorphism is specified by a \(c>0\) such that \(c\Gamma =\Gamma '\). This is used to compute the K- theory associated to a pair \(\Gamma_ 0\) and \(\Gamma\) where \(\Gamma_ 0\) is a subgroup of \(\Gamma\) and further specifics for groups \(\Gamma\) which are assumed to contain a pair of elements linearly independent over \({\mathbb{Q}}\). Further classification results for the commutator ideals are obtained.
Mathematics Subject Classification ID: 46L80
Mathematics Subject Classification ID: 47B35
Mathematics Subject Classification ID: 46L55
zbMATH DE Number: 4065715
zbMATH Keywords: Toeplitz algebra
zbMATH Keywords: \(K_ 0\)-group
zbMATH Keywords: order-isomorphism
zbMATH Keywords: \(C^*\)-algebra
zbMATH Keywords: commutator ideal
zbMATH Keywords: AF-crossed product algebra
zbMATH Keywords: foliation algebra
zbMATH Keywords: normalized trace
zbMATH Keywords: K-theory
zbMATH Keywords: Morita equivalence
reviewed by: Palle Jorgensen
MaRDI profile type: Publication
cites work: Q5545277
cites work: Stable isomorphism and strong Morita equivalence of \(C^*\)-algebras
cites work: Mean motion, principal functions, and the zeros of Dirichlet series
cites work: TRANSLATION OPERATORS ON THE HALF-LINE
cites work: \(C^*\)-algebras of operators on a half-space. II: Index theory
cites work: An analogue of the Thom isomorphism for crossed products of a C* algebra by an action of R
cites work: On the \(C^*\)-algebra of a one-parameter semigroup of isometries
cites work: Locally compact transformation groups and 𝐶*- algebras
cites work: The structure of imprimitivity algebras
cites work: Prediction theory and Fourier series in several variables. II
cites work: A structure theory for isometric representations of a class of semigroups.
cites work: On the Mapping Torus of an Automorphism
cites work: Q3930248
cites work: Classification of the C*-algebras associated with minimal rotations
cites work: C*-algebras associated with irrational rotations
cites work: ALMOST PERIODIC FUNCTIONS AND PARTIAL DIFFERENTIAL OPERATORS
cites work: Q3881382
cites work: Q3700327
description: scientific article; zbMATH DE number 4065715