Relations between the homologies of \(C^*\)-algebras and their commutative \(C^*\)-subalgebras
type: Item
instance of: scholarly article
zbMATH Open document ID: 1015.46030
DOI: 10.1017/S0305004101005497
author: Zinaida A. Lykova
published in: Mathematical Proceedings of the Cambridge Philosophical Society
publication date: 2003-04-01T00:00:00Z
Mathematics Subject Classification ID: 46L05
Mathematics Subject Classification ID: 46H25
Mathematics Subject Classification ID: 46L10
Mathematics Subject Classification ID: 46M18
zbMATH DE Number: 1719248
zbMATH Keywords: biprojective Banach algebra
zbMATH Keywords: hereditarily projective Banach algebra
zbMATH Keywords: \(AW^*\)-algebra
zbMATH Keywords: spectrum of a \(C^*\)-algebra
MaRDI profile type: Publication
full work available at URL: s0305004101005497
OpenAlex ID: W1963626671
Recommended article: On the structure of centrally biprojective \(C^*\)-algebras
Recommended article: Homological characteristics of operator algebras
Recommended article: Q3638600
Recommended article: Projective tensor products of $C^*$-algebras.
Recommended article: Equivalent Open Projections and Corresponding Hereditary C∗ -Subalgebras
Recommended article: The Projection Property
Recommended article: On invariant and natural projections
Recommended article: Variations of projectivity for \(C^\ast\)-algebras
Recommended article: Partial isometries and an invariant of \(C^*\)-algebras
Recommended article: Metrically and topologically projective ideals of Banach algebras
title: Relations between the homologies of \(C^*\)-algebras and their commutative \(C^*\)-subalgebras
review text: Biprojective Banach algebras are among the homologically best algebras. A Banach algebra \(A\) is biprojective if it is projective as a Banach \(A\)-bimodule (or equivalently, the product morphism \(\pi:A\widehat{\otimes}A\rightarrow A\) has a right inverse in the category of \(A\)-bimodules) [cf. \textit{A. Ya. Khelemskij}, Math. USSR, Sb. 16, 125-138 (1972; Zbl 0245.46070)]. A Banach algebra \(A\) is called hereditarily projective if every closed left ideal of \(A\) is projective. NEWLINENEWLINENEWLINEThe author shows that if \(A\) is a \(C^*\)-algebra, \(B\) a commutative \(C^*\)-subalgebra of \(A\), \(I\) a closed ideal of \(B\), and the closed linear span \(\overline{AI}\) of \(\{as\); \(a\in A\), \(s\in I\}\) is projective as a left Banach \(A\)-module, then the left Banach \(B\)-module \(I\) is projective. As a corollary she establishes that if a \(C^*\)-algebra has the property that every closed left ideal is projective then the same is true for all its commutative \(C^*\)-subalgebras, and she concludes that no infinite dimensional \(AW^*\)-algebra is hereditarily projective. NEWLINENEWLINENEWLINEIt is shown that if \(A\) is a commutative \(C^*\)-algebra acting on a separable Hilbert space, then \(A\) is separable if and only if the spatial \(C^*\)-tensor product \(A\bigotimes_{\min}A\) is hereditarily projective, if and only if the spectrum of \(A\) is metrizable and has a countable base. NEWLINENEWLINENEWLINEThe author proves that every commutative \(C^*\)-algebra of a biprojective \(C^*\)-algebra has discrete spectrum and is biprojective. Moreover, she gives a new proof for the well-known result that any biprojective \(C^*\)-algebra is a direct sum of \(C^*\)-algebras of the type \(M_n(\mathbb C)\) [cf. \textit{Yu. V. Selivanov}, Funct. Anal. Appl. 10, 78-79 (1976); translation from Funkts. Anal. Prilozh. 10, No. 1, 89-90 (1976; Zbl 0327.46059)].
reviewed by: Mohammad Sal Moslehian
description: scientific article; zbMATH DE number 1719248