Inductive limits of projective *-algebras

  • Hannes Thiel

    Universität Münster, Germany
Inductive limits of projective $C$*-algebras cover

A subscription is required to access this article.


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–1462

DOI 10.4171/JNCG/350