Inductive limits of projective C^-algebras

General theory of (C^*)-algebras (46L05) Noncommutative topology (46L85) Projective and injective objects in functional analysis (46M10) Absolute neighborhood extensor, absolute extensor, absolute neighborhood retract (ANR), absolute retract spaces (general properties) (54C55) Shape theory in general topology (54C56) Methods of algebraic topology in functional analysis (cohomology, sheaf and bundle theory, etc.) (46M20) Shape theory (55P55) Absolute neighborhood retracts (55M15)

Abstract: We show that a separable C*-algebra is an inductive limits of projective C*-algebras if and only if it has trivial shape, that is, if it is shape equivalent to the zero C*-algebra. In particular, every contractible C*-algebra is an inductive limit of projectives, and one may assume that the connecting morphisms are surjective. Interestingly, an example of Dadarlat shows that trivial shape does not pass to full hereditary sub-C*-algebra. It then follows that the same fails for projectivity. To obtain these results, we develop criteria for inductive limit decompositions, and we discuss the relation with different concepts of approximation. As a main application of our findings we show that a C*-algebra is (weakly) projective if and only if it is (weakly) semiprojective and has trivial shape. It follows that a ca{} is projective if and only if it is contractible and semiprojective. This confirms a conjecture of Loring.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: Inductive limits of projective \(C^\ast\)-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2180247)