We show that a separable *-algebra is an inductive limits of projective *-algebras if and only if it has trivial shape, that is, if it is shape equivalent to the zero *-algebra. In particular, every contractible *-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-*-algebras. 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 *-algebra is (weakly) projective if and only if it is (weakly) semiprojective and has trivial shape. It follows that a *-algebra is projective if and only if it is contractible and semiprojective. This confirms a conjecture of Loring.
Cite this article
Hannes Thiel, Inductive limits of projective *-algebras. J. Noncommut. Geom. 13 (2019), no. 4, pp. 1435–1462DOI 10.4171/JNCG/350