The ideal property, the projection property, continuous fields and crossed products (Q855436)

A \(C^{*}\)-algebra has the ideal property if every ideal is generated (as an ideal) by its projections. This class of \(C^{*}\)-algebras contains all \(C^{*}\)-algebras of real-rank zero and all simple unital \(C^{*}\)-algebras, and is of interest in the Elliot classification scheme for nuclear simple \(C^{*}\)-algebras. A subclass consists of those \(C^{*}\)-algebras having the projection property meaning that each ideal should have an approximate identity consisting of projections. These classes do not coincide in general [\textit{C.\,Pasnicu}, Glasg.\ Math.\ J.\ 44, No.\,2, 293--300 (2002; Zbl 1028.46084)], but they do coincide for many classes of \(C^{*}\)-algebras including, as pointed out in the paper under review, all type~I \(C^{*}\)-algebras (where both properties are equivalent to the algebra in question being an AF-algebra). Recall that a \(C^{*}\)-algebra determined by a continuous field \(A=(A(t)_{t\in T},\Theta)\), as defined in Chapter 10 of [\textit{J.\,Dixmier}, ``\(C^{*}\)-algebras'' (North-Holland Mathematical Library 15) (1977; Zbl 0372.46058)], is simply the section algebra \(\Gamma_{0}(\Sigma)\) of a (continuous) \(C^{*}\)-bundle over \(T\). (See, for example, \textit{J.\,M.\,G.\,Fell} [``An extension of Mackey's method to Banach \(*\)-algebraic bundles'' (Mem.\ Am.\ Math.\ Soc.\ 90) (1969; Zbl 0194.44301)].) In the paper under review, the author's main results give necessary and sufficient conditions for \(A=\Gamma_{0}(\Sigma)\) to have either the ideal property or the projection property. If we make the simplifying assumption that \(A(t)\neq\{0\}\) for all \(t\), then these results simplify to the statement(s) that \(A\) has the ideal property (projection property) if and only if \(T\) is totally disconnected and each \(A(t)\) has the ideal property (projection property). The author uses these results to derive a number of related results concerning crossed products and tensor products.