Liminal C*-algebras are type I - Imported Knowlpedia Content

Statement

Every liminal $C^*$ -algebra is a type I $C^*$ -algebra. Indeed, if $\pi:A\to\mathcal B(H_\pi)$ is an irreducible representation, liminality gives

\pi(A)=K(H_\pi),

whereas the type I condition asks only that

K(H_\pi)\subseteq\pi(A).

Equality therefore implies the required containment for every irreducible representation. In the older terminology, every CCR algebra is GCR, or every liminal algebra is postliminal. No separability or unitality hypothesis is needed for this implication. The proof is purely definitional.

Why the converse fails

The containment may be proper. If $H$ is infinite-dimensional, the unitization $K(H)+\mathbb C I_H$ is type I but not liminal: its defining irreducible representation contains $K(H)$ , yet its image also contains the identity. Thus type I is strictly weaker than liminal Dixmier, §4.2.

Position in the hierarchy

The implication places liminal algebras inside the type I class while keeping their stronger kernel rigidity. For a liminal algebra, every irreducible quotient is represented exactly by compact operators. A general type I algebra may instead be assembled from liminal or continuous-trace subquotients through an ordinal ideal series.

References

Jacques Dixmier, C-Algebras, North-Holland Mathematical Library 15, North-Holland, 1977. Publisher record. Relevant: §4.2 on liminal algebras and Chapter 4 on postliminal algebras.
Gert K. Pedersen, C-Algebras and Their Automorphism Groups, 2nd ed., Academic Press, 2018. DOI record. Relevant: Chapter 6 on the CCR and GCR hierarchy.